Differential Calculus
Derivatives of Trigonometric Functions
The six trigonometric functions are the first genuinely new derivatives you meet after powers and polynomials, and they are the engine behind every model that oscillates: springs, circuits, waves, rotating machinery. This topic builds from the limit definition and two special limits, gets from the identical computation, and then produces the remaining four derivatives by pure algebra using the quotient rule. Everything below assumes angles are measured in radians — the final section explains why that is a mathematical requirement, not a stylistic convention.
Identities you will actually use
- Angle addition: and .
- Pythagorean: . Dividing by gives ; dividing by gives .
- Definitions: , , , .
Edge case worth naming: is not valid everywhere. At the right side is undefined ( is undefined there) while . Always define as .
The two fundamental limits
Theorem. With in radians,
Squeeze Theorem (the tool the first proof uses). If for every in some punctured interval around , and , then . No continuity of is assumed, and nothing is assumed about the value (which need not exist).
Proof of the first (squeeze). On the unit circle, for , compare three areas: the inscribed triangle, the circular sector, and the right triangle with height :
The middle term is the sector area with — this formula is only true when is in radians, which is exactly where radians enter. Dividing by and inverting gives . Both and are even, so the same two-sided bound holds for . As the outer bounds and both tend to , so the Squeeze Theorem forces the limit to be .
Proof of the second (conjugate).
The same algebra with underneath gives the frequently used .
Do not prove these with l'Hopital's Rule. L'Hopital's Rule requires (i) the quotient to be an indeterminate form, or , at the point in question, (ii) and differentiable on a punctured interval around that point with there, and (iii) to exist (or be ); only then may you conclude . All three hypotheses do hold for , so the rule is not false here — the objection is logical, not analytic. To check (ii) you must already know is differentiable, and to evaluate you must already know the value — which is exactly the fact that is being invoked to prove. That is circular. Once the derivative is established independently by the squeeze argument above, l'Hopital is perfectly legitimate on other trigonometric limits.
Deriving from the definition
Note that and are constants with respect to , which is why they can be pulled out of the -limits. The identical computation with gives
The six derivatives
| Valid for | Sign pattern | ||
|---|---|---|---|
| all real | |||
| all real | |||
Here is any integer. Two structural facts make this table easy to remember: every co-function (, , ) carries the minus sign, and each co-row is obtained from its partner row by replacing every function with its co-function and flipping the sign. Each function is differentiable at every point of its domain, and nowhere else — is not "differentiable with derivative " at ; it is not defined there at all.
The other four via the quotient rule
Three rules combine with the table above, and each carries hypotheses.
Product Rule. If and are differentiable at , then .
Quotient Rule. If and are differentiable at and , then . (Order matters: comes first.) The hypothesis is not decoration — it is what carves out the domain column above.
Chain Rule. If is differentiable at and the outer function is differentiable at , then , and likewise for the other five rows: , and so on.
Each line is valid precisely where the denominator is nonzero, which is why the domain column above looks the way it does.
Worked example 1 (quotient rule, then simplify)
Differentiate .
Independent check. The half-angle identity gives and , so the answer should be . It matches. Numerically at : the answer predicts , and a centred difference quotient gives .
Worked example 2 (product rule with three factors)
Differentiate . Group as and apply the product rule twice:
Independent check. Since , we have , so . Using and this is the same expression. At both give .
Higher derivatives cycle with period 4
Each arrow below is one differentiation:
So depends only on the remainder of on division by , and compactly . A consequence used constantly in differential equations: and both satisfy .
Why radians are required
Write for the sine of an angle of degrees. Since degrees equals radians, , and the difference quotient gives
The clean formula is false in degrees; you pick up a factor of every time you differentiate. The root cause is the sector-area (equivalently arc-length) comparison used to prove : arc length equals only in radians. Radians are the unique angle unit in which the fundamental limit equals .
Common mistakes
| Wrong | Right | Why |
|---|---|---|
| The table applies to of the variable itself; anything else needs the chain rule. | ||
| The derivative of a product is not the product of derivatives. | ||
| The minus sign lives on the three co-functions. | ||
| is not a co-function; only gets the minus. | ||
| for every | only for | has vertical asymptotes there. |
| Reversing the order negates every answer. | ||
| Using l'Hopital on to justify | Squeeze Theorem | Circular: l'Hopital needs the derivative you are proving. |
| with in degrees | (radian cosine) | Radians only; in degrees a factor appears at every differentiation. |
| Writing as | reads as , a different function. |
Key terms
- radian measure
- difference quotient
- angle addition formula
- Squeeze Theorem
- fundamental trigonometric limit
- product rule
- quotient rule
- Pythagorean identity
- secant, cosecant, cotangent
- domain restriction
- tangent line
- higher-order derivative
- period-4 derivative cycle
- circular reasoning (l'Hopital)
Practice Problems
Differentiate , and then evaluate .
Show hint
Differentiate term by term; the sum and constant-multiple rules let you handle each piece separately. Watch the sign that appears when you differentiate .
Show answer
Differentiate term by term using the sum rule and the constant multiple rule.
The subtraction of combined with produces : two minus signs cancel.
Now evaluate at , where and :
Answer: and .
Differentiate and find .
Show hint
This is a product of two functions of , so a single derivative rule from the table is not enough on its own.
Show answer
Use the product rule: if and are differentiable at , then . Here and are both differentiable for every real , so the rule applies everywhere, with and .
Evaluate at , where and :
Check. A centred difference quotient with step gives , consistent with (a centred difference carries an error of order , here about ).
Answer: and .
Starting from , use the quotient rule to prove that . State exactly where the formula is valid.
Show hint
Apply the quotient rule with numerator the constant function , then split the resulting single fraction into a product of two familiar reciprocal ratios.
Show answer
Write and , so and . The quotient rule requires differentiable and ; here that means .
The splitting step in the fourth line is the whole trick: write as and attach one factor to the and the other to the .
Validity. The formula holds exactly where , i.e. for with any integer. At the function is undefined (it has a vertical asymptote), so there is no derivative to speak of.
Check. At the formula gives , and a numerical difference quotient for at gives .
Answer: for all .
Evaluate
without expanding numerically. Then confirm your value a second way using the angle-addition formula and the two fundamental limits.
Show hint
Compare the expression letter by letter with the limit definition of the derivative at a point. What function, and at what point?
Show answer
Method 1: recognise the difference quotient. The definition of the derivative at is
Matching the given expression, and . Since ,
Method 2: expand directly. Using with :
Now apply and :
Both routes agree.
Answer: .
Find the equation of the tangent line to at .
Show hint
A tangent line needs two ingredients: a point on the curve and the slope there. Get the point first.
Show answer
Step 1: the point. , so the point of tangency is .
Step 2: the slope. , valid here because . With and ,
Step 3: point-slope form.
Numerically .
Check. A numerical derivative of at gives , matching . Also, at the curve gives while the line gives — close, as a tangent line should be.
Answer: .
Let on .
(a) Find every where the tangent line is horizontal, and give the corresponding points.
(b) Find every where the tangent line has slope .
Show hint
Both parts are equations in . For part (b), a single-sine or single-cosine rewrite of avoids the extraneous roots that squaring introduces.
Show answer
First, .
(a) Horizontal tangents: .
Since would force (impossible, as ), we may divide by :
The corresponding points are
because and .
(b) Slope : . Rewrite the left side as a single cosine. Since
the equation becomes
For the argument ranges over , and cosine equals there at and . (The next solution, , corresponds to , which is outside the interval.) Hence
Verify directly: at , ; at , . Both work.
Remark. Squaring gives , i.e. , whose solutions in are . The extra two, and , give , not — squaring introduced extraneous roots, so they must be checked and discarded.
Answer: (a) and , at the points and . (b) and .
Differentiate and simplify as far as possible. State the domain of the result.
Show hint
Apply the quotient rule, then expand the numerator; two perfect squares appear and the cross terms cancel.
Show answer
Set and , so
Note and , which is what makes the algebra collapse.
The sign flip in the second term comes from . Now expand both squares:
Their sum is exactly , so
Domain. We need , i.e. , i.e. for integers . Note everywhere it exists, so is increasing on each interval of its domain.
Check. (divide numerator and denominator by and use the tangent subtraction formula), so . At this is , and as well.
Answer: for .
Let .
(a) Show that .
(b) Find , with justification.
Show hint
Differentiate a few times and watch for repetition. How many differentiations return you to where you started?
Show answer
(a) Differentiating twice:
Therefore
for all real . (The same holds for , and hence for any .)
(b) Continue the list:
The fourth derivative returns the original function, so the sequence of derivatives is periodic with period : depends only on the remainder when is divided by .
Divide: , since and . The remainder is , so
Check with the closed formula. . With : , and since is odd, . Same answer.
Answer: (a) . (b) .
A student writes "" while working in degrees. Explain precisely why this is false, and compute the correct derivative of the degree-sine function from the limit definition. Evaluate it at degrees.
Show hint
Give the degree-sine its own name and rewrite it in terms of the radian sine before you differentiate anything. Then use a substitution inside the difference quotient.
Show answer
Why it fails. Every derivative formula in the table is proved from , and that limit is only true when is a radian measure. The proof compares a triangle, a sector, and a triangle on the unit circle, and the sector area (equivalently arc length ) is valid only in radians. In degrees the corresponding limit is not , so the derivative picks up a constant factor.
The correct derivative. Let
where the sine on the right is the ordinary radian sine. From the definition:
Substitute and , so that and exactly when :
using the (radian) result in the third line.
Since , the student's formula is off by that factor at every point — and by a factor of after differentiations.
At degrees: , so
Check. Numerically, .
Answer: , and . This is why calculus is always done in radians.
Differentiate and simplify your answer to a single fraction with no products of trigonometric functions in it.
Show hint
You will need the product rule to differentiate the numerator before you can use the quotient rule. After expanding, look for a common factor of .
Show answer
Let and . First differentiate with the product rule:
Now the quotient rule (valid where ):
Expand the numerator carefully:
Cancel one factor of :
Check. Using the half-angle identity , we have , so by the product rule . At that is , and our formula gives . A numerical difference quotient at gives , matching .
Answer: for .
Let .
(a) State the domain of .
(b) Differentiate two ways: by simplifying first, and by applying the quotient rule directly. Confirm the two answers agree.
(c) Is the same function as ? Justify.
Show hint
Put over the common denominator and see what the Pythagorean identity does to the numerator.
Show answer
(a) Domain. We need (for to exist) and (for the outer denominator). So the domain is all with for every integer .
(b) Method 1: simplify first.
Therefore there.
Method 2: quotient rule directly. With and :
The two methods agree: . Numerically at , both give .
(c) No — the functions are equal only on the domain of . The formulas agree wherever both are defined, but is defined at (where ) while is not, because its denominator vanishes there. So is the restriction of to the set where and ; it has removable discontinuities at . Consequently holds only for , whereas holds on the larger set .
Answer: domain ; on that domain; equals only there, not at .
Let on an interval where it is defined.
(a) Show that satisfies the differential equation .
(b) Using only that equation (and differentiation), express and as polynomials in .
(c) Verify your expression for by differentiating three times directly.
Show hint
For (a) start from and recall which Pythagorean identity links and . For (b), differentiate the equation itself and substitute each time.
Show answer
Throughout, assume so that and all its derivatives exist.
(a) We know . Dividing by gives . Hence
(b) Differentiate with respect to , treating as a function of (product rule on , or the power rule with the chain rule):
Differentiate again:
(c) Direct verification. Differentiate three times using the table and the product rule:
Now substitute with :
which is exactly the polynomial from part (b). Numerically at : the direct formula gives and .
Answer: (a) . (b) and . (c) Verified.
