Skip to content

Mathematics · Ch 3 — Trigonometric Functions

The General Solution

3.1.2

The General Solution

Since a trigonometric equation has infinitely many solutions repeating every period, we want one formula — parametrised by an integer nn — that generates every solution. This is the general solution. For instance, all solutions of sin⁡θ=12\sin\theta=\dfrac12 are …,−7π6,π6,5π6,13π6,…\ldots,-\dfrac{7\pi}{6},\dfrac{\pi}{6},\dfrac{5\pi}{6},\dfrac{13\pi}{6},\ldots, and every one of these is generated by the single expression nπ+(−1)nπ6n\pi+(-1)^n\dfrac{\pi}{6}, n∈Zn\in\mathbb{Z}: this expression is called the general solution of sin⁡θ=12\sin\theta=\dfrac12.

Theorem 3.1 (general solution of sin⁡θ=sin⁡α\sin\theta=\sin\alpha). The general solution of sin⁡θ=sin⁡α\sin\theta=\sin\alpha is θ=nπ+(−1)nα\theta=n\pi+(-1)^n\alpha, n∈Zn\in\mathbb{Z}.

Proof. Since sin⁡θ=sin⁡α\sin\theta=\sin\alpha, α\alpha is one solution. Since sin⁡(π−α)=sin⁡α\sin(\pi-\alpha)=\sin\alpha, π−α\pi-\alpha is a second solution. Using the 2π2\pi-periodicity of sine on each of these: sin⁡θ=sin⁡α=sin⁡(2π+α)=sin⁡(4π+α)=⋯\sin\theta=\sin\alpha=\sin(2\pi+\alpha)=\sin(4\pi+\alpha)=\cdots, and separately sin⁡θ=sin⁡(π−α)=sin⁡(3π−α)=sin⁡(5π−α)=⋯\sin\theta=\sin(\pi-\alpha)=\sin(3\pi-\alpha)=\sin(5\pi-\alpha)=\cdots. So every solution is either of the form (even multiple of π\pi) + α+\,\alpha, or of the form (odd multiple of π\pi) − α-\,\alpha. Listing them in order: θ=…,α, π−α, 2π+α, 3π−α, 4π+α, 5π−α,…\theta=\ldots,\alpha,\ \pi-\alpha,\ 2\pi+\alpha,\ 3\pi-\alpha,\ 4\pi+\alpha,\ 5\pi-\alpha,\ldots — the sign on α\alpha alternates and the coefficient of π\pi increases by 1 each time, which is exactly captured by θ=nπ+(−1)nα\theta=n\pi+(-1)^n\alpha for n∈Zn\in\mathbb{Z} (even nn gives +α+\alpha, odd nn gives −α-\alpha). ■\blacksquare

Theorem 3.2 (general solution of cos⁡θ=cos⁡α\cos\theta=\cos\alpha). The general solution of cos⁡θ=cos⁡α\cos\theta=\cos\alpha is θ=2nπ±α\theta=2n\pi\pm\alpha, n∈Zn\in\mathbb{Z}.

Proof. α\alpha is one solution. Since cos⁡(−α)=cos⁡α\cos(-\alpha)=\cos\alpha, −α-\alpha is a second solution. By periodicity, cos⁡θ=cos⁡α=cos⁡(2π+α)=cos⁡(4π+α)=⋯\cos\theta=\cos\alpha=\cos(2\pi+\alpha)=\cos(4\pi+\alpha)=\cdots and cos⁡θ=cos⁡(−α)=cos⁡(2π−α)=cos⁡(4π−α)=⋯\cos\theta=\cos(-\alpha)=\cos(2\pi-\alpha)=\cos(4\pi-\alpha)=\cdots. So θ=α, 2π+α, 4π+α,…\theta=\alpha,\,2\pi+\alpha,\,4\pi+\alpha,\ldots or θ=−α, 2π−α, 4π−α,…\theta=-\alpha,\,2\pi-\alpha,\,4\pi-\alpha,\ldots, which together are exactly θ=2nπ±α\theta=2n\pi\pm\alpha, n∈Zn\in\mathbb{Z}. ■\blacksquare

Theorem 3.3 (general solution of tan⁡θ=tan⁡α\tan\theta=\tan\alpha). The general solution of tan⁡θ=tan⁡α\tan\theta=\tan\alpha is θ=nπ+α\theta=n\pi+\alpha, n∈Zn\in\mathbb{Z}.

Proof. tan⁡θ=tan⁡α\tan\theta=\tan\alpha iff sin⁡θcos⁡θ=sin⁡αcos⁡α\dfrac{\sin\theta}{\cos\theta}=\dfrac{\sin\alpha}{\cos\alpha} iff sin⁡θcos⁡α=cos⁡θsin⁡α\sin\theta\cos\alpha=\cos\theta\sin\alpha iff sin⁡θcos⁡α−cos⁡θsin⁡α=0\sin\theta\cos\alpha-\cos\theta\sin\alpha=0 iff sin⁡(θ−α)=0=sin⁡0\sin(\theta-\alpha)=0=\sin0. By the general solution of sin⁡θ=sin⁡α\sin\theta=\sin\alpha (Theorem 3.1, with 00 in place of α\alpha), θ−α=nπ+(−1)n⋅0=nπ\theta-\alpha=n\pi+(-1)^n\cdot 0=n\pi, i.e. θ=nπ+α\theta=n\pi+\alpha, n∈Zn\in\mathbb{Z}. ■\blacksquare

Remark (zero-crossing cases). For θ∈R\theta\in\mathbb{R}: (i) sin⁡θ=0\sin\theta=0 iff θ=nπ\theta=n\pi, n∈Zn\in\mathbb{Z}; (ii) cos⁡θ=0\cos\theta=0 iff θ=(2n+1)π2\theta=(2n+1)\dfrac{\pi}{2}, n∈Zn\in\mathbb{Z}; (iii) tan⁡θ=0\tan\theta=0 iff θ=nπ\theta=n\pi, n∈Zn\in\mathbb{Z}.

Theorem 3.4 (general solution of sin⁡2θ=sin⁡2α\sin^2\theta=\sin^2\alpha). The general solution is θ=nπ+α\theta=n\pi+\alpha, n∈Zn\in\mathbb{Z}.

Proof (first method). sin⁡2θ=sin⁡2α  ⟹  sin⁡θ=±sin⁡α  ⟹  sin⁡θ=sin⁡α\sin^2\theta=\sin^2\alpha\implies\sin\theta=\pm\sin\alpha\implies\sin\theta=\sin\alpha or sin⁡θ=sin⁡(−α)\sin\theta=\sin(-\alpha). By Theorem 3.1, θ=nπ+(−1)nα\theta=n\pi+(-1)^n\alpha or θ=nπ+(−1)n(−α)\theta=n\pi+(-1)^n(-\alpha); in either case the set of solutions collapses to θ=nπ+α\theta=n\pi+\alpha, n∈Zn\in\mathbb{Z}.

Proof (second method, via double angle). sin⁡2θ=sin⁡2α  ⟹  1−cos⁡2θ2=1−cos⁡2α2  ⟹  cos⁡2θ=cos⁡2α\sin^2\theta=\sin^2\alpha\implies\dfrac{1-\cos2\theta}{2}=\dfrac{1-\cos2\alpha}{2}\implies\cos2\theta=\cos2\alpha. By Theorem 3.2, 2θ=2nπ+2α2\theta=2n\pi+2\alpha, so θ=nπ+α\theta=n\pi+\alpha, n∈Zn\in\mathbb{Z}.

Theorem 3.5 (general solution of cos⁡2θ=cos⁡2α\cos^2\theta=\cos^2\alpha). The general solution is θ=nπ+α\theta=n\pi+\alpha, n∈Zn\in\mathbb{Z}.

Proof. cos⁡2θ=cos⁡2α  ⟹  1+cos⁡2θ2=1+cos⁡2α2  ⟹  cos⁡2θ=cos⁡2α  ⟹  2θ=2nπ+2α  ⟹  θ=nπ+α\cos^2\theta=\cos^2\alpha\implies\dfrac{1+\cos2\theta}{2}=\dfrac{1+\cos2\alpha}{2}\implies\cos2\theta=\cos2\alpha\implies2\theta=2n\pi+2\alpha\implies\theta=n\pi+\alpha, n∈Zn\in\mathbb{Z}.

Theorem 3.6 (general solution of tan⁡2θ=tan⁡2α\tan^2\theta=\tan^2\alpha). The general solution is θ=nπ+α\theta=n\pi+\alpha, n∈Zn\in\mathbb{Z}.

Proof. tan⁡2θ=tan⁡2α  ⟹  1−tan⁡2θ1+tan⁡2θ=1−tan⁡2α1+tan⁡2α\tan^2\theta=\tan^2\alpha\implies\dfrac{1-\tan^2\theta}{1+\tan^2\theta}=\dfrac{1-\tan^2\alpha}{1+\tan^2\alpha} (componendo-dividendo)   ⟹  cos⁡2θ=cos⁡2α  ⟹  2θ=2nπ+2α  ⟹  θ=nπ+α\implies\cos2\theta=\cos2\alpha\implies2\theta=2n\pi+2\alpha\implies\theta=n\pi+\alpha, n∈Zn\in\mathbb{Z}.

Solved Examples.

Ex.(1) Find the general solution of (i) sin⁡θ=32\sin\theta=\dfrac{\sqrt3}{2} (ii) cos⁡θ=12\cos\theta=\dfrac12 (iii) tan⁡θ=3\tan\theta=\sqrt3.

  1. sin⁡θ=sin⁡π3  ⟹  θ=nπ+(−1)nπ3\sin\theta=\sin\dfrac{\pi}{3}\implies\theta=n\pi+(-1)^n\dfrac{\pi}{3}, n∈Zn\in\mathbb{Z} (Theorem 3.1).
  2. cos⁡θ=cos⁡π4  ⟹  θ=2nπ+π4\cos\theta=\cos\dfrac{\pi}{4}\implies\theta=2n\pi+\dfrac{\pi}{4}, n∈Zn\in\mathbb{Z} (Theorem 3.2, single-sign form since the equation is satisfied exactly at +π/4+\pi/4 here).
  3. tan⁡θ=tan⁡π3  ⟹  θ=nπ+π3\tan\theta=\tan\dfrac{\pi}{3}\implies\theta=n\pi+\dfrac{\pi}{3}, n∈Zn\in\mathbb{Z} (Theorem 3.3). Ex.(2) Find the general solution of (i) sin⁡θ=−32\sin\theta=-\dfrac{\sqrt3}{2} (ii) cos⁡θ=−12\cos\theta=-\dfrac12 (iii) cot⁡θ=−3\cot\theta=-\sqrt3.

(i) Since sin⁡4π3=−32\sin\dfrac{4\pi}{3}=-\dfrac{\sqrt3}{2} (as sin⁡(π+A)=−sin⁡A\sin(\pi+A)=-\sin A), θ=nπ+(−1)n4π3\theta=n\pi+(-1)^n\dfrac{4\pi}{3}, n∈Zn\in\mathbb{Z}.

(ii) Since cos⁡2π3=−12\cos\dfrac{2\pi}{3}=-\dfrac12 (as cos⁡(π−A)=−cos⁡A\cos(\pi-A)=-\cos A), θ=2nπ±2π3\theta=2n\pi\pm\dfrac{2\pi}{3}, n∈Zn\in\mathbb{Z}.

(iii) cot⁡θ=−3  ⟹  tan⁡θ=−13\cot\theta=-\sqrt3\implies\tan\theta=-\dfrac{1}{\sqrt3}; since tan⁡5π6=−13\tan\dfrac{5\pi}{6}=-\dfrac{1}{\sqrt3} (as tan⁡(π−A)=−tan⁡A\tan(\pi-A)=-\tan A), θ=nπ+5π6\theta=n\pi+\dfrac{5\pi}{6}, n∈Zn\in\mathbb{Z}.

Ex.(3) Find the general solution of (i) cosec θ=2\text{cosec}\,\theta=2 (ii) sec⁡θ+2=0\sec\theta+\sqrt2=0.

(i) cosec θ=2  ⟹  sin⁡θ=12=sin⁡π6  ⟹  θ=nπ+(−1)nπ6\text{cosec}\,\theta=2\implies\sin\theta=\dfrac12=\sin\dfrac{\pi}{6}\implies\theta=n\pi+(-1)^n\dfrac{\pi}{6}, n∈Zn\in\mathbb{Z}.

(ii) sec⁡θ=−2  ⟹  cos⁡θ=−12=cos⁡3π4\sec\theta=-\sqrt2\implies\cos\theta=-\dfrac{1}{\sqrt2}=\cos\dfrac{3\pi}{4} (as cos⁡(π−A)=−cos⁡A\cos(\pi-A)=-\cos A)   ⟹  θ=2nπ+3π4\implies\theta=2n\pi+\dfrac{3\pi}{4}, n∈Zn\in\mathbb{Z}.

Ex.(4) Find the general solution of (i) cos⁡2θ=−12\cos2\theta=-\dfrac12 (ii) tan⁡3θ=−1\tan3\theta=-1 (iii) sin⁡4θ=32\sin4\theta=\dfrac{\sqrt3}{2}.

(i) cos⁡2θ=cos⁡3π4\cos2\theta=\cos\dfrac{3\pi}{4} (since cos⁡3π4=−12\cos\dfrac{3\pi}4=-\dfrac1{\sqrt2}... corrected: using cos⁡3π4=−12\cos\dfrac{3\pi}{4}=-\dfrac{1}{\sqrt2} does not equal −12-\frac12; instead use cos⁡2π3=−12\cos\dfrac{2\pi}{3}=-\dfrac12) so cos⁡2θ=cos⁡2π3  ⟹  2θ=2nπ±2π3  ⟹  θ=nπ±π3\cos2\theta=\cos\dfrac{2\pi}{3}\implies2\theta=2n\pi\pm\dfrac{2\pi}{3}\implies\theta=n\pi\pm\dfrac{\pi}{3}, n∈Zn\in\mathbb{Z}.

(ii) tan⁡3θ=tan⁡3π4\tan3\theta=\tan\dfrac{3\pi}{4} (as tan⁡3π4=−1\tan\dfrac{3\pi}4=-1)   ⟹  3θ=nπ+3π4  ⟹  θ=nπ3+π4\implies3\theta=n\pi+\dfrac{3\pi}{4}\implies\theta=\dfrac{n\pi}{3}+\dfrac{\pi}{4}, n∈Zn\in\mathbb{Z}.

(iii) sin⁡4θ=sin⁡π3  ⟹  4θ=nπ+(−1)nπ3  ⟹  θ=nπ4+(−1)nπ12\sin4\theta=\sin\dfrac{\pi}{3}\implies4\theta=n\pi+(-1)^n\dfrac{\pi}{3}\implies\theta=\dfrac{n\pi}{4}+(-1)^n\dfrac{\pi}{12}, n∈Zn\in\mathbb{Z}.

Ex.(5) Find the general solution of (i) 4cos⁡2θ=14\cos^2\theta=1 (ii) 4sin⁡2θ=34\sin^2\theta=3 (iii) tan⁡2θ=1\tan^2\theta=1.

(i) cos⁡2θ=14=cos⁡2π3  ⟹  θ=nπ±π3\cos^2\theta=\dfrac14=\cos^2\dfrac{\pi}{3}\implies\theta=n\pi\pm\dfrac{\pi}{3}, n∈Zn\in\mathbb{Z} (Theorem 3.5).

(ii) sin⁡2θ=34=sin⁡2π3  ⟹  θ=nπ±π3\sin^2\theta=\dfrac34=\sin^2\dfrac{\pi}{3}\implies\theta=n\pi\pm\dfrac{\pi}{3}, n∈Zn\in\mathbb{Z} (Theorem 3.4).

(iii) tan⁡2θ=1=tan⁡2π4  ⟹  θ=nπ+π4\tan^2\theta=1=\tan^2\dfrac{\pi}{4}\implies\theta=n\pi+\dfrac{\pi}{4}, n∈Zn\in\mathbb{Z} (Theorem 3.6).

Ex.(6) Find the general solution of cos⁡3θ=cos⁡2θ\cos3\theta=\cos2\theta. cos⁡3θ−cos⁡2θ=0  ⟹  −2sin⁡5θ2sin⁡θ2=0  ⟹  sin⁡5θ2=0\cos3\theta-\cos2\theta=0\implies-2\sin\dfrac{5\theta}{2}\sin\dfrac{\theta}{2}=0\implies\sin\dfrac{5\theta}{2}=0 or sin⁡θ2=0  ⟹  5θ2=nπ\sin\dfrac{\theta}{2}=0\implies\dfrac{5\theta}{2}=n\pi or θ2=nπ\dfrac{\theta}{2}=n\pi, n∈Z  ⟹  θ=2nπ5n\in\mathbb{Z}\implies\theta=\dfrac{2n\pi}{5} or θ=2nπ\theta=2n\pi. Since 2nπ2n\pi is a subset of 2nπ5\dfrac{2n\pi}{5} (take multiples of 5), the combined required general solution is θ=2nπ5\theta=\dfrac{2n\pi}{5}, n∈Zn\in\mathbb{Z}.

Ex.(7) Find the general solution of cos⁡5θ=sin⁡3θ\cos5\theta=\sin3\theta. cos⁡5θ=cos⁡(π2−3θ)  ⟹  5θ=2nπ±(π2−3θ)\cos5\theta=\cos\left(\dfrac{\pi}{2}-3\theta\right)\implies5\theta=2n\pi\pm\left(\dfrac{\pi}{2}-3\theta\right). Taking the minus sign: 5θ=2nπ−π2+3θ  ⟹  2θ=2nπ−π2  ⟹  θ=nπ−π45\theta=2n\pi-\dfrac{\pi}{2}+3\theta\implies2\theta=2n\pi-\dfrac{\pi}{2}\implies\theta=n\pi-\dfrac{\pi}{4}. Taking the plus sign: 5θ=2nπ+π2−3θ  ⟹  8θ=2nπ+π2  ⟹  θ=nπ4+π165\theta=2n\pi+\dfrac{\pi}{2}-3\theta\implies8\theta=2n\pi+\dfrac{\pi}{2}\implies\theta=\dfrac{n\pi}{4}+\dfrac{\pi}{16}. So θ=nπ−π4\theta=n\pi-\dfrac{\pi}{4} or θ=nπ4+π16\theta=\dfrac{n\pi}{4}+\dfrac{\pi}{16}, n∈Zn\in\mathbb{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\sin\theta = 0 iff θ=nπ\theta = n\pi; cos⁡θ=0\cos\theta = 0 iff θ=(2n+1)π2\theta = (2n+1)\dfrac{\pi}{2}; tan⁡θ=0\tan\theta = 0 iff θ=nπ\theta = n\pi, for n∈Zn \in \mathbb{Z} in every case. These are the base cases every later factorised equation (e.g. Ex.(8 …