Summary
This lesson differentiates the elementary functions that the preceding lesson did not reach: sine and cosine, from the trigonometric limits of unit 1; tangent, cotangent, secant and cosecant, with the quotient and reciprocal rules; the natural exponential and the natural logarithm, from their standard limits; and the hyperbolic functions, from the exponential. No proof uses the chain rule or the inverse function rule, which come later: in each case, a sum formula or a law of the exponential or of the logarithm splits the difference quotient into a factor that depends only on the point and another that is an already known limit. With these derivatives and the rules, the lesson computes tangents and angles between transcendental curves, and fulfills what the preceding lesson announced: the function , differentiable at , has a derivative without a limit at .
Learning objectives
- Prove that the derivative of sine is cosine and the derivative of cosine is the negative of sine, and explain why the variable is measured in radians.
- Differentiate tangent, cotangent, secant and cosecant with the rules of the preceding lesson, and specify the domain of each derivative.
- Prove that the natural exponential is its own derivative and that the derivative of is , and obtain from this the derivatives of the hyperbolic functions.
- Combine the elementary derivatives with the rules to find tangents and angles between curves, and recognize that a derivative may have no limit at a point where the function is differentiable.
Sine and cosine
The lesson on differentiation rules differentiated all the functions obtained from the identity and the constants by the four operations: polynomials and rational functions. Sine is not one of them, and its derivative must come from its difference quotient. At that quotient is , and the fundamental trigonometric limit, from the lesson on the squeeze theorem, gives the derivative . For an arbitrary point , the formula for the sine of a sum splits into a part that depends only on and another that depends only on ; the quotients that remain are two limits from the corollary on deduced trigonometric limits, in the same lesson: tends to , and tends to .
Sine and cosine are differentiable on all of , and for every real :
The proof uses the increment form of the derivative, from the lesson on the derivative as a limit, and the sum formulas from the lesson on the sum and difference formulas. The figure follows the tangent line to the graph of sine: its slope at each point is the ordinate of cosine at the same point; at the end, the tangent line to the graph of cosine has as its slope the negative of sine.
Proof
Let be a real number and . By the formula for the sine of a sum, the increment of sine splits into two terms: one with the factor and another with the factor ; the factors and do not depend on .
Divide by . By the corollary on deduced trigonometric limits, the two quotients tend to and to ; by the theorem on the limit of a linear combination, from the algebra of limits, the difference quotient has a limit, and the increment form gives the derivative of sine at .
With the formula for the cosine of a sum, , the same reasoning gives the derivative of cosine.
The proof uses the fact that the variable is measured in radians: the fundamental limit compares the sine with the length of the arc. If the angle were measured in degrees, the sine of degrees would be , and its derivative would carry the factor (proposed problem 1). Radians are, therefore, the unit in which sine has cosine as its derivative, with no factors. The geometric reading of the theorem is that of the figure: sine increases where cosine is positive and has a horizontal tangent where cosine vanishes; the tangent line to sine at the origin is the line , and that is why, near , resembles , as the equivalence from the lesson on equivalent infinitesimals already said.
Loading the content…
Completed
Sign in to save your progress