Because every trigonometric function is periodic (Section 5), an equation
such as sinθ=sinα is never satisfied by a single value of θ alone -- once
one solution α is known, so is every coterminal angle, and (for sine) so is every angle
whose terminal side is the mirror image of α's across the y-axis. The general
solution is the formula that captures every one of these values at once, using an arbitrary
integer n.
Theorem 1. sinθ=sinα if and only if θ=nπ+(−1)nα for some
integer n.
Proof. sinθ−sinα=0. By the Section 8 sum-to-product formula,
sinθ−sinα=2cos(2θ+α)sin(2θ−α)=0,
so either cos(2θ+α)=0 or sin(2θ−α)=0.
Case 1: sin(2θ−α)=0⇒2θ−α=mπ⇒θ=2mπ+α, for any integer m -- these are exactly the values
θ=nπ+(−1)nα with n=2m even, since (−1)2m=1.
Case 2: cos(2θ+α)=0⇒2θ+α=(2m+1)2π⇒θ=(2m+1)π−α, for any integer m -- these are
exactly the values θ=nπ+(−1)nα with n=2m+1 odd, since (−1)2m+1=−1 gives
θ=(2m+1)π−α.
Together, every solution in both cases is captured by the single formula
θ=nπ+(−1)nα, n∈Z. ■
Theorem 2. cosθ=cosα if and only if θ=2nπ±α for some integer
n.
Proof. cosθ−cosα=0. By the Section 8 formula,
cosθ−cosα=−2sin(2θ+α)sin(2θ−α)=0,
so either sin(2θ+α)=0 or sin(2θ−α)=0.
Case 1: sin(2θ−α)=0⇒θ=2nπ+α.
Case 2: sin(2θ+α)=0⇒θ=2nπ−α.
Together, θ=2nπ±α, n∈Z. ■
Theorem 3. tanθ=tanα if and only if θ=nπ+α for some integer n.
Proof. tanθ=tanα⇔cosθsinθ=cosαsinα⇔sinθcosα−cosθsinα=0⇔sin(θ−α)=0 (Section 6, difference formula), which holds exactly
when θ−α=nπ, i.e. θ=nπ+α, n∈Z. ■
Method for a general trigonometric equation. A compound equation is first reduced, using
the identities of Sections 4, 6-9, to one of these three basic forms sinθ=sinα
(or cosθ=cosα or tanθ=tanα) -- or a product of several such
equalities set to zero -- and only then is the matching theorem applied. The reduction step …