Calculus I · Textbook draft · 20 minute reading

Composition and Trigonometric Derivatives

Justify the chain rule without dividing by a possibly zero increment, then derive sine and cosine derivatives.

Before you begin

  • Product and quotient rules; the fundamental trigonometric limits in radians.

Learning objectives

  • Differentiate nested functions using the chain rule.
  • Derive sine and cosine derivatives from angle-addition formulas.
  • Track the units and radian convention in oscillatory models.

If a quantity depends on temperature and temperature depends on time, its time rate should reflect both changes. The chain rule makes that statement exact. If gg is differentiable at xx and ff at g(x)g(x), then

ddxf(g(x))=f′(g(x))g′(x).\frac d{dx}f(g(x))=f'(g(x))g'(x).

The outer derivative is evaluated at the actual inner value. Writing f′(x)g′(x)f'(x)g'(x) usually differentiates a different expression.

A justification that handles zero inner changes

Differentiability gives f(u+k)−f(u)=f′(u)k+kη(k)f(u+k)-f(u)=f'(u)k+k\eta(k), where η(k)→0\eta(k)\to0 as k→0k\to0 and we may set η(0)=0\eta(0)=0. Put u=g(x)u=g(x) and k=g(x+h)−g(x)k=g(x+h)-g(x). Divide by hh, not by kk:

f(g(x+h))−f(g(x))h=[f′(g(x))+η(k)]g(x+h)−g(x)h.\frac{f(g(x+h))-f(g(x))}h =[f'(g(x))+\eta(k)]\frac{g(x+h)-g(x)}h.

Continuity of gg gives k→0k\to0, and the second quotient tends to g′(x)g'(x). The product has the claimed limit. This avoids the common gap in a proof that divides by g(x+h)−g(x)g(x+h)-g(x) even though that difference can be zero for arbitrarily small nonzero hh.

For F(x)=(3x2+1)4F(x)=(3x^2+1)^4, the outer function is u4u^4 and the inner is 3x2+13x^2+1. Hence F′=4(3x2+1)3(6x)F'=4(3x^2+1)^3(6x). For 1+x2\sqrt{1+x^2}, the result is x/1+x2x/\sqrt{1+x^2}. Its denominator is always positive, so the derivative exists for all real xx.

Sine from first principles

The angle-addition identity gives

sin⁡(x+h)−sin⁡xh=sin⁡xcos⁡h−1h+cos⁡xsin⁡hh.\frac{\sin(x+h)-\sin x}h =\sin x\frac{\cos h-1}h+\cos x\frac{\sin h}h.

The two trigonometric limits previously established are 00 and 11. Therefore (sin⁡x)′=cos⁡x(\sin x)'=\cos x. Applying the cosine angle-addition identity similarly yields (cos⁡x)′=−sin⁡x(\cos x)'=-\sin x. These formulas assume radians. They were not used to prove the limits on which their derivation relies.

The quotient rule now gives

(tan⁡x)′=cos⁡2x+sin⁡2xcos⁡2x=sec⁡2x,(\tan x)'=\frac{\cos^2x+\sin^2x}{\cos^2x}=\sec^2x,

where cos⁡x≠0\cos x\ne0. Reciprocals and quotients also give (cot⁡x)′=−csc⁡2x(\cot x)'=-\csc^2x, (sec⁡x)′=sec⁡xtan⁡x(\sec x)'=\sec x\tan x, and (csc⁡x)′=−csc⁡xcot⁡x(\csc x)'=-\csc x\cot x on their domains. Stating a derivative formula does not remove the poles of the original function.

A time-dependent oscillation

For a modeled displacement s(t)=2sin⁡(3t+π/4)s(t)=2\sin(3t+\pi/4) metres, where tt is in seconds and the phase is in radians, the velocity is v(t)=6cos⁡(3t+π/4)v(t)=6\cos(3t+\pi/4) metres per second. Acceleration is a(t)=−18sin⁡(3t+π/4)a(t)=-18\sin(3t+\pi/4) metres per second squared. The factor 33 has units radians per second, with radians dimensionless in the derivative convention. Forgetting the inner derivative loses the frequency factor in every rate.

If an input θ\theta is explicitly measured numerically in degrees, the function is sin⁡(πθ/180)\sin(\pi\theta/180) in radian notation. Its derivative with respect to the degree-valued input is (π/180)cos⁡(πθ/180)(\pi/180)\cos(\pi\theta/180). The familiar cosine-only rule is not unit-independent.

Nested operations

For H(x)=sin⁡((x2+1)3)H(x)=\sin((x^2+1)^3), apply the chain rule at each level:

H′(x)=cos⁡((x2+1)3) 3(x2+1)2 2x.H'(x)=\cos((x^2+1)^3)\,3(x^2+1)^2\,2x.

For J(x)=x2sin⁡(3x)J(x)=x^2\sin(3x), multiplication is outside the composition, so first use the product rule: J′=2xsin⁡(3x)+3x2cos⁡(3x)J'=2x\sin(3x)+3x^2\cos(3x). A derivative can require several rules, each corresponding to a different layer of the expression.

Exercises

  1. Differentiate (1−2x)7(1-2x)^7.
  2. Differentiate cos⁡(x2)\cos(x^2) and sin⁡2x\sin^2x. Explain the different compositions.
  3. Find the derivative of tan⁡(4x)\tan(4x) and state where it exists.
  4. Differentiate xcos⁡xx\cos x twice.
  5. A displacement is 5cos⁡(2t)5\cos(2t) metres. Find velocity and acceleration at t=π/4t=\pi/4 seconds.
  6. Explain why a chain-rule proof must not assume every inner increment is nonzero.
Worked solutions
  1. −14(1−2x)6-14(1-2x)^6.
  2. −2xsin⁡(x2)-2x\sin(x^2) and 2sin⁡xcos⁡x2\sin x\cos x. The first applies cosine to a square; the second squares a sine.
  3. 4sec⁡2(4x)4\sec^2(4x) wherever cos⁡(4x)≠0\cos(4x)\ne0.
  4. First derivative cos⁡x−xsin⁡x\cos x-x\sin x; second −2sin⁡x−xcos⁡x-2\sin x-x\cos x.
  5. v=−10sin⁡(2t)v=-10\sin(2t) and a=−20cos⁡(2t)a=-20\cos(2t), giving −10-10 metres per second and zero acceleration at the stated time.
  6. An inner function may be constant locally or return to its base value at many nearby inputs. The remainder formulation does not divide by that increment.