Loading [MathJax]/jax/output/HTML-CSS/jax.js

Proof of Derivative of cos x

The definition of the derivative is used to prove the formula for the derivative of cos(x) . The derivative of a cosine composite function is also presented including examples with their solutions.

Proof of the Derivative of cos x Using the Definition

The definition of the derivative f of a function f is given by
f(x)=limh0f(x+h)f(x)h
Let f(x)=cos(x) and write the derivative of cos(x) as a limit
f(x)=limh0cos(x+h)cos(x)h
Use the formula cos(x+h)=cos(x)cos(h)sin(x)sin(h) to rewrite the derivative of cos(x) as
f(x)=limh0cos(x)cos(h)sin(x)sin(h)cos(x)h
Rewrite f(x) as follows
f(x)=limh0cos(x)(cos(h)1)sin(x)sin(h))h
Use the theorem on limits that states: the limit of a difference of two functions is equal to the difference of the limits, to rewrite f(x) as follows
f(x)=limh0cos(x)(cos(h)1)hlimh0sin(x)sin(h)h
Rewrite the above as
f(x)=cos(x)limh0(cos(h)1)hsin(x)limh0sin(h)h

We now use the well known results on the limits of trigonometric functions
limh0sin(h)h=1 , prooved in the use of squeezing theorem to find limits of mathematical functions.
limh0cos(h)1h=0 , prooved in calculate limits of trigonometric functions
to simplify f(x) to
f(x)=sin(x)(0)sin(x)(1)=sin(x)
conclusion
ddxcosx=sinx

Graph of cos x and its Derivative

The graphs of cos(x) and its derivative are shown below. Note that at any maximum or minimum of cos(x) corresponds a zero of the derivative. For any interval over which cos(x) is increasing the derivative is positive and for any interval over which cos(x) is decreasing, the derivative is negative.

Graph of cos x and its derivative

Derivative of the Composite Function cos(u(x))

We now consider the composite function cos of another function u(x). Use the chain rule of differentiation to write

ddxcos(u(x))=(dducosu)(ddxu)

Simplify

=sinuddxu

Conclusion

ddxcos(u(x))=sinuddxu

Example 1
Find the derivative of the composite cos functions

  1. f(x)=cos(2x+2)
  2. g(x)=cos(tan(x))
  3. h(x)=cos(x2x2+1)

Solution to Example 1


  1. Let u(x)=2x+2 and therefore ddxu=ddx(2x+2)=2 and apply the rule for the composite cos function given above

    ddxf(x)=ddxcos(u)=sinuddxu=sin(2x+2)×2

    =2sin(2x+2)


  2. Let u(x)=tanx and therefore ddxu=ddxtanx=sec2x and apply the above rule of differentiation for the composite cos function

    ddxg(x)=ddxcos(u)=sinuddxu=sin(tanx)×(sec2x)

    =sec2xsin(tanx)


  3. Let u(x)=(x2x2+1) and therefore ddxu=2x(x2+1)2 and apply the rule of differentiation for the composite cos function obtained above

    ddxh(x)=ddxcos(u)=sinuddxu=sin(2x(x2+1)2)×(2x(x2+1)2)

    =2x(x2+1)2cos(x2x2+1)


More References and links

derivative
definition of the derivative
use of squeezing theorem to find limits of mathematical functions.
calculate limits of trigonometric functions
Chain Rule of Differentiation in Calculus.