The ebook Elementary Calculus is based on material originally written by H.J. Keisler. For more information please read the copyright pages.


Theorem 2: Differentiability of Cosine and Sine

THEOREM 2

The functions x = cos θ and y = sin θ are differentiable for all θ, and

d(sin θ) = cos θ dθ, d(cos θ) = - sin θ dθ.

07_trigonometric_functions-55.gif

Figure 7.2.2

Discussion Intuitively, the small triangle in Figure 7.2.2 is infinitely close to a right triangle with angle θ and hypotenuse Δθ, whence

07_trigonometric_functions-56.gif

Notice that Δx is negative while Δy is positive when θ is in the first quadrant. The proof of Theorem 2 uses a lemma.

LEMMA

(i)

07_trigonometric_functions-57.gif.

(ii)

07_trigonometric_functions-58.gif

PROOF

(i) We show that for any nonzero infinitesimal Δθ,

07_trigonometric_functions-59.gif

When Δθ is positive we draw the figure shown in Figure 7.2.3. We have

Area of triangle QOR < area of sector QOR < area of triangle QOS,

½ sin Δθ < ½Δθ < ½ tan Δθ.

Then

07_trigonometric_functions-60.gif,

cos Δθ < 07_trigonometric_functions-61.gif < 1.

Since cos θ is continuous, cos Δθ ≈ 1, whence 07_trigonometric_functions-62.gif ≈ 1. The case Δθ < 0 is similar.

07_trigonometric_functions-63.gif

Figure 7.2.3

(ii) We compute the standard part of (cos Δθ - 1)/Δθ.

07_trigonometric_functions-64.gif

 

PROOF OF THEOREM 2

Let Δθ be a nonzero infinitesimal. Then

07_trigonometric_functions-65.gif

Here is a second proof that the derivative of the sine is the cosine. It uses the formula for the length of a curve in Section 6.3.

ALTERNATE PROOF OF THEOREM 2 (Optional)

Let

0 < θ < π/2

and

x = cos θ, y = sin θ.

Then (x, y) is a point on the unit circle as shown in Figure 7.2.4.

07_trigonometric_functions-66.gif

Figure 7.2.4

Take y as the independent variable. Then

07_trigonometric_functions-67.gif

θ is the length of the arc from 0 to y, so

07_trigonometric_functions-68.gif

By the Second Fundamental Theorem of Calculus,

07_trigonometric_functions-69.gif

Then by the Chain Rule.

07_trigonometric_functions-70.gif

and

07_trigonometric_functions-71.gif

Substituting cos θ for x and sin θ for y,

07_trigonometric_functions-72.gif

We can now find the derivatives of all the trigonometric functions by using the Quotient Rule

07_trigonometric_functions-73.gif


Last Update: 2010-11-25