Notebook

Picture proofs of trigonometric derivatives


Trigonometry is inherently geometric, yet, students are often taught to memorize the derivatives of various trigonometric functions through formulas and tables. Let’s put the geometry back into trigonometry with some simple visual proofs.

The derivatives of sine and cosine

Sine and cosine are the coordinates of a point on the unit circle, x=cosθx = \cos\theta and y=sinθy = \sin\theta. To find their derivative, we study how those coordinates change as the point slides around the circle by a small angle δθ\delta\theta.

Moving the point along the unit circle, we can create a small triangle to find the changes in xx and yy.

The legs of the small similar triangle are precisely the change in the coordinates of the point on the unit circle. As δθ\delta\theta vanishes, the length of the hypotenuse of the small triangle approaches the arc length δθ\delta\theta. Therefore,

δy=cosθδθ,δx=sinθδθ,\delta y = \cos\theta \, \delta\theta, \qquad \delta x = -\sin\theta \, \delta\theta,

the minus sign is included because counterclockwise motion carries the point to the left. Dividing by δθ\delta\theta yields the derivatives,

ddθsinθ=cosθ,ddθcosθ=sinθ.\frac{d}{d\theta}\sin\theta = \cos\theta, \qquad \frac{d}{d\theta}\cos\theta = -\sin\theta.

The derivative of tangent and secant

The tangent is given by the vertical leg of the triangle drawn below — we just extended the hypotenuse of the triangle determined by θ\theta past the unit circle. We denote the length of this leg by t=tanθt = \tan\theta. Since the base of the triangle has length 11, that leg stands on the line tangent to the circle, which is where the function gets its name from.

Extending the radius line of the unit circle, we can create a larger triangle whose vertical leg is exactly the tangent function.

Nudging the angle by δθ\delta\theta extends the vertical leg by an amount δt\delta t. This allows us to create a small triangle that is almost similar to the large triangle, the only difference being the angle α=θ+δθ\alpha = \theta + \delta\theta. In the limit, αθ\alpha \to \theta, so we can read from the small triangle

cosθ=δθδt    δtδθ=2\cos\theta = \frac{\ell\,\delta\theta}{\delta t} \implies \frac{\delta t}{\delta \theta} = \ell^2

Where we have used the fact that 1/cosθ=1/\cos\theta = \ell (reading from the large triangle). Therefore, the derivative of tangent is,

ddθtanθ=1+tan2θ=sec2θ. \frac{d}{d\theta} \tan\theta = 1 + \tan^2\theta = \sec^2\theta.

Looking at the small triangle, we can read off δδθ=tanθ\frac{\delta \ell}{\delta \theta} = \ell\tan\theta, which implies the derivative of secant,

ddθsecθ=secθtanθ\frac{d}{d \theta} \sec\theta = \sec\theta\tan\theta

The derivatives of cotangent and cosecant

Taking our triangle construction from above and resting its hypotenuse on the xx-axis lets us extend one of its legs until it collides with the yy-axis. A few lines of trig shows us that the yy-intercept is ~=cscθ\tilde{\ell} = \csc\theta and that the segment from the point on the unit circle point to the intercept has length t~=cotθ\tilde{t} = \cot\theta. This is where the prefixes “co” come from: the contact point splits the line into tt and t~\tilde{t}, and its two intercepts sit at distances \ell and ~\tilde{\ell} from the origin.

Resting the hypotenuse of the triangle we built above on the xx-axis reveals the symmetry between the tangent and cotangent as well as the secant and cosecant. It is a mirror symmetry. Since mirrors reverse the sense of rotation, the co-functions carry a minus sign.

Nudging the angle drops the intercept by δ~\delta\tilde{\ell} and swings the line by a distance of t~δθ\tilde{t}\,\delta\theta. The magnified triangle carries the angle θ\theta between the yy-axis and the line. Taking the sine of this angle yields,

ddθcscθ=δ~δθ=t~sinθ=cscθcotθ\frac{d}{d\theta}\csc\theta = \frac{\delta \tilde{\ell}}{\delta \theta} = - \frac{\tilde{t}}{\sin \theta} = - \csc\theta\cot\theta

with the sign because the intercept falls as θ\theta grows.

The cotangent leg t~\tilde{t} loses length at both ends. At the intercept it gives up δ~cosθ\delta\tilde{\ell}\cos\theta from the small triangle, and at the contact point with the unit circle it gives up δθ\delta\theta. Together δt~=δ~cosθδθ\delta \tilde{t} = \delta \tilde{\ell} \cos\theta - \delta\theta, so

ddθcotθ=δt~δθ=1+δ~δθcosθ=(1+cot2θ)=csc2θ\begin{align*} \frac{d}{d\theta}\cot\theta = \frac{\delta \tilde{t}}{\delta \theta} &= -1 + \frac{\delta \tilde{\ell}}{\delta\theta}\cos\theta \\ &= - (1 + \cot^2\theta) \\ &= -\csc^2\theta \end{align*}

The two ends are exactly the two terms of 1+cot2θ=csc2θ1 + \cot^2\theta = \csc^2\theta.