High School Mathematics · Grades 10–12
24Trigonometric Functions
The functions and turn the geometry of the circle into analysis. Defined by winding the real line around the unit circle, they are the archetype of periodic functions, and their derivatives make them solutions of the equation of oscillations .
24.1 The unit circle
Definition 24.1 (Cosine and sine)
Let be the circle of radius 1 centered at the origin of an orthonormal coordinate system. To each real , associate the point obtained by winding a length along from the point , counterclockwise if and clockwise otherwise. Then and are the coordinates of :
Since the circle has circumference , the point is unchanged when increases by ; and since lies on the unit circle:
Proposition 24.2 (Fundamental identities)
For all and :
Proof. The first identity is the equation of the unit circle; the others express the symmetries of the circle: is the reflection of in the -axis, in the -axis, and in the line . ∎
The values to know by heart:
| [6pt] | |||||
| [6pt] |
Proposition 24.3 (Addition formulas)
For all :
In particular and .
Proof. The vectors and are unit vectors making an angle ; their scalar product equals both (coordinates) and (geometry), which is the third formula. Replacing by gives the first; the sine formulas follow using . The duplication formulas are the case combined with . ∎
24.2 Analytic study
Lemma 24.4 (Fundamental limit)
Proof. For , compare three areas in the unit circle: the triangle , the circular sector , and the right triangle with base and height :
The first inequality gives ; the second gives . As , (continuity), and the squeeze theorem yields ; parity extends this to . For the second limit,
∎
Theorem 24.5 (Derivatives of sine and cosine)
The functions and are differentiable on , with
More generally, and .
Proof. By the addition formulas,
using Lemma 24.4. The computation for is identical, and the general form follows from the chain rule. ∎
Proposition 24.6 (Variations)
On , decreases from to . On , increases from to . Both functions are -periodic and have ranges ; is even, is odd.
Proof. On , since the point has positive ordinate there; similarly on . Periodicity and parity come from Proposition 24.2. ∎
Method 24.7 (Solving and )
For , find one particular solution (from the table of values or a calculator). Then all solutions are:
For inequalities, locate the solution arcs on the unit circle and read off the intervals within one period.
Example 24.8
Solve in : a particular solution is , so the solutions are and . In all of : , .
24.3 Exercises
Exercise 24.1 ★
Compute , , and using the identities of Proposition 24.2.
Solution
Solution of Exercise 24.1.
.
.
.
.
Exercise 24.2 ★
Differentiate , and .
Solution
Solution of Exercise 24.2.
(chain rule).
(chain and product rules).
Quotient rule:
Exercise 24.3 ★
Solve in , then in :
Solution
Solution of Exercise 24.3.
(a) A particular solution of is . General solutions: or . In : .
(b) gives , so . In : .
Exercise 24.4 ★★
Using the addition formulas, compute the exact value of and . (Hint: .)
Solution
Solution of Exercise 24.4.
With , :
Exercise 24.5 ★★
Solve in the inequality . (Hint: factor the quadratic in .)
Solution
Solution of Exercise 24.5.
Set : iff or .
gives . : on the unit circle, the arc below the horizontal line , which in is . Hence
Exercise 24.6 ★★
Compute the limits
Solution
Solution of Exercise 24.6.
(composition with ).
Using :
Substituting : .
Exercise 24.7 ★★
Study the function on : variations and extrema. Show that is increasing on although vanishes at infinitely many points.
Solution
Solution of Exercise 24.7.
for all , with equality exactly when , i.e. . On , is increasing from to (the zero of at is isolated, so the increase is even strict); minimum at , maximum at . On , everywhere with only isolated zeros, so is (strictly) increasing by Theorem 22.7, although vanishes at every .
Exercise 24.8 ★★★
Let with .
Exercise 24.9 ★★★
Show that and both satisfy the differential equation . Conversely, let be a solution of with and ; show that . (Hint: consider and the “energy” .)
Solution
Solution of Exercise 24.9.
and : both solve .
Let . Then (linearity of differentiation), and . Set . Then
so is constant equal to . A sum of two squares vanishing identically forces , hence .
24.4 Problem: The pendulum’s secret
Problem 24.1
Weekend problem — one geometric limit powers the derivatives of sine and cosine, and from them all of oscillation: springs, pendulums, beats and the meter that almost was
Every clock that ever ticked, every string that ever sounded, obeys the same mathematics: a restoring force proportional to displacement, hence the equation , hence cosines. At the base of it all sits one innocent-looking limit, — promised in grade 9, used by Theorem 24.5, and proved here with a picture. This problem climbs from that limit to the swing of a one-meter pendulum, and explains why the meter is, by a whisker, not defined by it.
Part I — The fundamental limit.
- Warm up numerically: compute for and (radians!).
- The sandwich, on the unit circle with : express by elementary geometry the areas of (i) the triangle with vertices , and the circle point ; (ii) the circular sector ; (iii) the right triangle where .
- From the area sandwich deduce , then , and conclude by the squeeze theorem that (parity handles ).
- Deduce (multiply by the conjugate).
- Explain why this limit is the engine of Theorem 24.5 (what is ?), and why it also settles an old debt: in what sense are radians the only angle unit for which holds without a constant?
Part II — Harmonic motion.
- Verify by the chain rule that satisfies .
- A mass on a spring obeys , with and . Admitting (from Exercise 24.9) that all solutions are , determine and .
- Rewrite the solution as (Exercise 24.8): give the amplitude , the period, and the phase (three decimals).
- At what time does the mass first pass through the equilibrium position ?
- The pendulum: a bob on a string of length obeys exactly — unsolvable by elementary functions. For small swings, replace by (Part I justifies it!) and deduce the period . Compute for m (): Galileo’s famous discovery — what does the formula not depend on?
- The seconds pendulum: what length gives s exactly? The French Academy of 1791 hesitated between this length and the ten-millionth of the quarter-meridian for defining the meter — by how many millimeters do the two candidates differ?
Part III — Addition formulas at work.
- Show with the addition formulas (Proposition 24.3) that and : circular differentiation is a quarter-turn — check consistency with Theorem 24.5.
- Derive the product-to-sum identity and the linearization (the integration chapter will thank you).
- Beats: derive , and apply it to two tuning forks at and Hz: what tone does the ear hear, and how many throbs per second? (This is how orchestras tune.)
- Derive the triple-angle identity (write ). Setting , what cubic equation must satisfy? (That this cubic cannot be solved with square roots alone is precisely why the trisection of the angle defeated ruler and compass for two millennia — the full story is told in the university volumes.)
- An alternating current reads . Rewrite it as : peak current and phase?
Part IV — The oscillating world.
- Periods: what is the (smallest) period of (use question 13)? Of ?
- A real pendulum damps: . Describe the motion, compute the envelope’s value at (an old friend appears, Problem 23.1), and name the chapter where equations with such solutions are solved.
- Why do sines and cosines rule every vibration? Give the physics-to-mathematics dictionary in two sentences (restoring force proportional to displacement which equation which solutions), and say what Exercise 24.9 contributes to the claim.
- Finale: the chapter’s arc in four steps — one geometric limit, two derivatives, one differential equation, all of oscillation. And the honest asterisk: for large swings the pendulum’s true period involves an elliptic integral, computed at lightning speed by …Gauss’s arithmetic–geometric mean, the dessert of Problem 20.1. The series’ threads tie themselves.
Solution
Solution of Problem 24.1.
1. and : creeping to .
2. Triangle : base , height : area . Sector : fraction of the unit disk: area . Triangle : base , height : area .
3. The triangle sits inside the sector inside the big triangle: , i.e. . From : ; and from , multiplying by : . As , : squeezed, ; and is even, so the two-sided limit is .
4. .
5. : the whole differentiation of sine and cosine flows from this one limit. Measured in degrees, the limit would be , and every derivative would drag that constant: radians are exactly the unit that makes the calculus of oscillation clean.
6. , .
7. . ; : : .
8. ; period ; phase : .
9. first when : s.
10. With : : harmonic with , period . For : s. The period does not depend on the amplitude (for small swings) — Galileo’s isochronism, the fact that makes pendulum clocks possible.
11. m: the seconds pendulum is about mm short of the meridian meter. The Academy chose the meridian (gravity varies from place to place, betraying the pendulum); had been a whisker larger, our meter would tick.
12. ; . So differentiating sine gives sine shifted a quarter turn (), and again (), and again, and home in four steps: differentiation rotates the circle.
13. Adding the two expansions of : . With : , i.e. .
14. With and its mirror, expanding and adding: . For and Hz: a tone at Hz whose loudness is modulated by — the loudness peaks times per second (the envelope’s absolute value): four beats a second, vanishing as the forks agree.
15. . At : , so satisfies — a cubic with no square-root solution: constructing , i.e. trisecting , is beyond ruler and compass.
16. ; : : : peak amperes, phase lag .
17. : period . has period , has : the sum repeats after the smallest common multiple, .
18. An oscillation of period inside the shrinking envelope : each swing about lower. At the envelope is — the constant of Problem 23.1 yet again. Equations with such damped solutions () are solved in the differential equations chapter.
19. A force pulling back proportionally to the displacement gives ; and Exercise 24.9 shows the solutions of that equation are exactly the combinations of and — existence by exhibition, uniqueness by the exercise: vibration has no choice but to be sinusoidal.
20. One limit (, by sandwiched areas), two derivatives (, ), one equation (), a world of clocks, strings, currents and tides. Asterisk: for wide swings, — the arithmetic–geometric mean of Problem 20.1 computes the elliptic integral in a handful of iterations: Gauss’s diary entry and Galileo’s pendulum, one formula apart.