Theorem. If x=f(t) and y=g(t) are differentiable functions of t, then y is a differentiable function of x, and dxdy=dx/dtdy/dt,where dtdx=0.
Proof. Let t change by a small δt=0, producing corresponding changes δx and δy in x and y (with δx=0 since dtdx=0). The incrementary ratio can be split exactly as δxδy=δx/δtδy/δt. As δt→0, both δx→0 and δy→0 (by continuity), and the right side tends to dx/dtdy/dt, which exists and is finite because x and y are both differentiable in t. Since the right side has a finite limit, the left side δx→0limδxδy=dxdy exists too, proving y is differentiable in x, with dxdy=dx/dtdy/dt.
Worked Example 1 — find dxdy:
x=at4,y=2at2: dtdy=4at, dtdx=4at3, so dxdy=t21.
x=t−t,y=t+t: dtdy=1+2t1=2t2t+1, dtdx=1−2t1=2t2t−1, so dxdy=2t−12t+1.
x=cos(logt),y=log(cost): dtdy=−tant, dtdx=−tsin(logt), so dxdy=sin(logt)ttant.
x=a(θ+sinθ),y=a(1−cosθ): dθdy=asinθ, dθdx=a(1+cosθ), so dxdy=1+cosθsinθ=tan2θ (using the half-angle identity).
x=1−t2,y=sin−1t: dtdy=1−t21, dtdx=−1−t2t, so dxdy=−t1.
Worked Example 2 — evaluate dxdy at the given parameter value:
(i) x=sec2θ,y=tan3θ, at θ=3π: dxdy=2sec2θtanθ3tan2θsec2θ=23tanθ, so at θ=3π, dxdy=233.
(ii) x=t+t1,y=t21, at t=21: dxdy=1−1/t2−2/t3=−t(t2−1)2, so at t=21, dxdy=316.
(iii) x=3cost−2cos3t,y=3sint−2sin3t, at t=6π: differentiating each using the identity 3sint−4sin3t=sin3t-type simplification gives dtdy=3costcos2t and dtdx=3sintcos2t, so dxdy=−cott; at t=6π, dxdy=−cot6π=−3.
Worked Example 3. If x2+y2=t+t1 and x4+y4=t2+t21, show x3ydxdy=−1. Squaring the first relation: (x2+y2)2=t2+2+t21=(x4+y4)+2, so 2x2y2=2, i.e. x2y2=1. Differentiating this implicitly: 2x2ydxdy+2xy2=0, so dxdy=−xy⋅x2y21=−x3y1 (using x2y2=1), i.e. x3ydxdy=−1. …