Since a trigonometric equation has infinitely many solutions repeating every period, we want one formula — parametrised by an integer n — that generates every solution. This is the general solution. For instance, all solutions of sinθ=21 are …,−67π,6π,65π,613π,…, and every one of these is generated by the single expression nπ+(−1)n6π, n∈Z: this expression is called the general solution of sinθ=21.
Theorem 3.1 (general solution of sinθ=sinα). The general solution of sinθ=sinα is θ=nπ+(−1)nα, n∈Z.
Proof. Since sinθ=sinα, α is one solution. Since sin(π−α)=sinα, π−α is a second solution. Using the 2π-periodicity of sine on each of these: sinθ=sinα=sin(2π+α)=sin(4π+α)=⋯, and separately sinθ=sin(π−α)=sin(3π−α)=sin(5π−α)=⋯. So every solution is either of the form (even multiple of π) +α, or of the form (odd multiple of π) −α. Listing them in order: θ=…,α,π−α,2π+α,3π−α,4π+α,5π−α,… — the sign on α alternates and the coefficient of π increases by 1 each time, which is exactly captured by θ=nπ+(−1)nα for n∈Z (even n gives +α, odd n gives −α). ■
Theorem 3.2 (general solution of cosθ=cosα). The general solution of cosθ=cosα is θ=2nπ±α, n∈Z.
Proof.α is one solution. Since cos(−α)=cosα, −α is a second solution. By periodicity, cosθ=cosα=cos(2π+α)=cos(4π+α)=⋯ and cosθ=cos(−α)=cos(2π−α)=cos(4π−α)=⋯. So θ=α,2π+α,4π+α,… or θ=−α,2π−α,4π−α,…, which together are exactly θ=2nπ±α, n∈Z. ■
Theorem 3.3 (general solution of tanθ=tanα). The general solution of tanθ=tanα is θ=nπ+α, n∈Z.
Proof.tanθ=tanα iff cosθsinθ=cosαsinα iff sinθcosα=cosθsinα iff sinθcosα−cosθsinα=0 iff sin(θ−α)=0=sin0. By the general solution of sinθ=sinα (Theorem 3.1, with 0 in place of α), θ−α=nπ+(−1)n⋅0=nπ, i.e. θ=nπ+α, n∈Z. ■
Remark (zero-crossing cases). For θ∈R: (i) sinθ=0 iff θ=nπ, n∈Z; (ii) cosθ=0 iff θ=(2n+1)2π, n∈Z; (iii) tanθ=0 iff θ=nπ, n∈Z.
Theorem 3.4 (general solution of sin2θ=sin2α). The general solution is θ=nπ+α, n∈Z.
Proof (first method).sin2θ=sin2α⟹sinθ=±sinα⟹sinθ=sinα or sinθ=sin(−α). By Theorem 3.1, θ=nπ+(−1)nα or θ=nπ+(−1)n(−α); in either case the set of solutions collapses to θ=nπ+α, n∈Z.
Proof (second method, via double angle).sin2θ=sin2α⟹21−cos2θ=21−cos2α⟹cos2θ=cos2α. By Theorem 3.2, 2θ=2nπ+2α, so θ=nπ+α, n∈Z.
Theorem 3.5 (general solution of cos2θ=cos2α). The general solution is θ=nπ+α, n∈Z.
Ex.(1) Find the general solution of (i) sinθ=23 (ii) cosθ=21 (iii) tanθ=3.
sinθ=sin3π⟹θ=nπ+(−1)n3π, n∈Z (Theorem 3.1).
cosθ=cos4π⟹θ=2nπ+4π, n∈Z (Theorem 3.2, single-sign form since the equation is satisfied exactly at +π/4 here).
tanθ=tan3π⟹θ=nπ+3π, n∈Z (Theorem 3.3).
Ex.(2) Find the general solution of (i) sinθ=−23 (ii) cosθ=−21 (iii) cotθ=−3.
(i) Since sin34π=−23 (as sin(π+A)=−sinA), θ=nπ+(−1)n34π, n∈Z.
(ii) Since cos32π=−21 (as cos(π−A)=−cosA), θ=2nπ±32π, n∈Z.
(iii) cotθ=−3⟹tanθ=−31; since tan65π=−31 (as tan(π−A)=−tanA), θ=nπ+65π, n∈Z.
Ex.(3) Find the general solution of (i) cosecθ=2 (ii) secθ+2=0.
(i) cosecθ=2⟹sinθ=21=sin6π⟹θ=nπ+(−1)n6π, n∈Z.
(ii) secθ=−2⟹cosθ=−21=cos43π (as cos(π−A)=−cosA) ⟹θ=2nπ+43π, n∈Z.
Ex.(4) Find the general solution of (i) cos2θ=−21 (ii) tan3θ=−1 (iii) sin4θ=23.
(i) cos2θ=cos43π (since cos43π=−21... corrected: using cos43π=−21 does not equal −21; instead use cos32π=−21) so cos2θ=cos32π⟹2θ=2nπ±32π⟹θ=nπ±3π, n∈Z.
(ii) tan3θ=tan43π (as tan43π=−1) ⟹3θ=nπ+43π⟹θ=3nπ+4π, n∈Z.
Ex.(6) Find the general solution of cos3θ=cos2θ. cos3θ−cos2θ=0⟹−2sin25θsin2θ=0⟹sin25θ=0 or sin2θ=0⟹25θ=nπ or 2θ=nπ, n∈Z⟹θ=52nπ or θ=2nπ. Since 2nπ is a subset of 52nπ (take multiples of 5), the combined required general solution is θ=52nπ, n∈Z.
Ex.(7) Find the general solution of cos5θ=sin3θ. cos5θ=cos(2π−3θ)⟹5θ=2nπ±(2π−3θ). Taking the minus sign: 5θ=2nπ−2π+3θ⟹2θ=2nπ−2π⟹θ=nπ−4π. Taking the plus sign: 5θ=2nπ+2π−3θ⟹8θ=2nπ+2π⟹θ=4nπ+16π. So θ=nπ−4π or θ=4nπ+16π, n∈Z. …
Misc 1Remark on zero-solutions
Worked out. A short boxed remark, printed right after Theorem 3.3, that records the three simplest zero-crossing general solutions used constantly later in the chapter: sinθ=0 iff θ=nπ; cosθ=0 iff θ=(2n+1)2π; tanθ=0 iff θ=nπ, for n∈Z in every case. These are the base cases every later factorised equation (e.g. Ex.(8 …