I've come up with a 'simple enough' proof for the parametric derivative. Begin by consider a curve parameterized in the way :$<x(t), y(t) >$, then I will rewrite derivative operator with $x$ :
$$ \frac{dy(\theta)}{dx} = \frac{d \theta}{dx} \frac{d y}{d \theta}$$
The above equality holds by the chain rule, derivative of inner function times derivative of outer function, now I will remove the $y$:
$$ \frac{d}{dx} = \frac{d \theta}{dx} \frac{d}{ d \theta} \tag{1}$$
Now, the above can be thought of as an operator which eats a function and maps to another function, for example if we multiply both side on right by $y$ , then it gives the $ \frac{dy}{dx}$ with the parametric derivative of $y$.
And, I will introduce one more identity:
$$ \theta( x( \theta) ) = \theta \tag{2}$$
The above can be thought of in the following way: The function $x(\theta)$ maps from $ \theta \to x$ , the function $ \theta(x)$ maps from $ x \to \theta$, simply the inverse mapping and hence above equality holds true for at least a small interval of where we can say that $ \theta $ and $x$ are bijective functions of each other. Taking the derivate of $(2)$ with $ \theta$,:
$$ \frac{ d \theta}{dx} \frac{dx}{d \theta} = 1$$
Or,
$$ \frac{d\theta}{dx} = \frac{1}{ \frac{ d x}{d \theta}} \tag{2}$$
Hence, we can rewrite (1) as:
$$ \frac{d}{dx} = \frac{ \frac{d }{d \theta} }{\frac{dx}{d \theta}} \tag{3}$$
Now, multiply $y$ on right side of (3):
$$ \frac{dy}{dx} = \frac{ \frac{dy }{d \theta} }{\frac{dx}{d \theta}} \tag{4}$$
This is the first parameteric derivative. Now, use (3) on equation (4):
$$ \frac{d^2 y}{dx^2} = \frac{1}{ \frac{dx}{d \theta}} \left[ \frac{ \frac{d^2 y}{d \theta^2} \frac{dx}{d \theta} - \frac{dy}{d \theta} \frac{dx}{ d \theta}}{ ( \frac{dx}{d \theta})^2} \right]= \left[ \frac{ \frac{d^2 y}{d \theta^2} \frac{dx}{d \theta} - \frac{dy}{d \theta} \frac{dx}{ d \theta}}{ ( \frac{dx}{d \theta})^3} \right]$$
Which is what we sought to prove.
\mathrm
instead of\text
for setting the d's upright. – t.b. Jul 06 '11 at 02:35$\newcommand{\d}{\mathrm{d}}$
$\newcommand{\d}{\mathrm{d}}$ at the beginning of a post. Then writing$\frac{\d}{\d t}$
gives $\frac{\d}{\d t}$. This would already pay if you had only three differential quotients – t.b. Jul 06 '11 at 02:51\d
for the differential. That command is already used by a number of packages. The command\dif
should be okay, though (that's what I use). – Xander Henderson Feb 11 '21 at 23:47