Skip to content

Mathematics · Ch 3 — Trigonometry

Multiple angle identities and submultiple angle identities

3.5.2

Multiple angle identities and submultiple angle identities

Multiple angles of AA are 2A,3A,4A,…2A, 3A, 4A,\ldots -- the angle scaled up by a whole number -- while sub-multiple angles are A2,A3,…\dfrac{A}{2},\dfrac{A}{3},\ldots -- the angle scaled down. This section turns the compound-angle formulas of the previous section into identities that express sin⁡2A\sin2A, cos⁡3A\cos3A, tan⁡θ2\tan\dfrac{\theta}{2}, and so on, purely through the ratios of the single angle AA (or θ\theta) itself.

Note

The motivation is not purely algebraic. A rotating coil near a magnet generates a sinusoidal voltage -- the working principle of every electricity generator, discovered by Michael Faraday in 1831 -- and combining or "doubling" such periodic signals is exactly where multiple-angle identities show up in real electrical engineering.

Double-Angle Identities

Putting β=α\beta=\alpha into the sum formulas of the previous section collapses them into formulas for 2α2\alpha:

Identity 3.7. From sin⁡(A+A)=sin⁡Acos⁡A+cos⁡Asin⁡A\sin(A+A)=\sin A\cos A+\cos A\sin A:

sin⁡2A=2sin⁡Acos⁡A.\sin2A=2\sin A\cos A.

Identity 3.8. From cos⁡(A+A)=cos⁡Acos⁡A−sin⁡Asin⁡A\cos(A+A)=\cos A\cos A-\sin A\sin A:

cos⁡2A=cos⁡2A−sin⁡2A.\cos2A=\cos^2A-\sin^2A.

Substituting the Pythagorean identity sin⁡2A=1−cos⁡2A\sin^2A=1-\cos^2A or cos⁡2A=1−sin⁡2A\cos^2A=1-\sin^2A gives two more equivalent all-one-ratio forms, all three worth memorising:

cos⁡2A=cos⁡2A−sin⁡2A=2cos⁡2A−1=1−2sin⁡2A.\cos2A=\cos^2A-\sin^2A=2\cos^2A-1=1-2\sin^2A.

Identity 3.9. From tan⁡(A+A)=tan⁡A+tan⁡A1−tan⁡Atan⁡A\tan(A+A)=\dfrac{\tan A+\tan A}{1-\tan A\tan A}:

tan⁡2A=2tan⁡A1−tan⁡2A.\tan2A=\frac{2\tan A}{1-\tan^2A}.

Identities 3.10 & 3.11 (tan-only forms of sine/cosine). Dividing sin⁡2A=2sin⁡Acos⁡A\sin2A=2\sin A\cos A top and bottom by cos⁡2A+sin⁡2A=1\cos^2A+\sin^2A=1, then by cos⁡2A\cos^2A, rewrites sin⁡2A\sin2A purely in terms of tan⁡A\tan A; the same trick on cos⁡2A=cos⁡2A−sin⁡2A\cos2A=\cos^2A-\sin^2A gives cos⁡2A\cos2A in terms of tan⁡A\tan A:

sin⁡2A=2tan⁡A1+tan⁡2A,cos⁡2A=1−tan⁡2A1+tan⁡2A.\sin2A=\frac{2\tan A}{1+\tan^2A}, \qquad \cos2A=\frac{1-\tan^2A}{1+\tan^2A}.

These are handy when AA's tangent, not its sine or cosine, is what is given.

Note

y=sin⁡2xy=\sin2x and y=2sin⁡xy=2\sin x are not the same curve -- 2sin⁡x2\sin x has amplitude 22 (values from −2-2 to 22) while sin⁡2x\sin2x keeps amplitude 11 but oscillates twice as fast. Doubling the angle and doubling the value are unrelated operations.

Worked illustration (projectile range). A projectile launched at speed uu and angle α\alpha over level ground travels a horizontal range R=u2sin⁡2αgR=\dfrac{u^2\sin2\alpha}{g} before landing -- this single formula is why the range is greatest exactly at α=45∘\alpha=45^\circ, where sin⁡2α=sin⁡90∘=1\sin2\alpha=\sin90^\circ=1 is as large as it can get. For a football kicked at u=80u=80 ft/s with g=32g=32 ft/s2^2: R=802sin⁡2α32=200sin⁡2αR=\dfrac{80^2\sin2\alpha}{32}=200\sin2\alpha, so the maximum possible distance is 200200 ft, reached by kicking at 45∘45^\circ. The same identity, written as sin⁡Acos⁡A=12sin⁡2A\sin A\cos A=\tfrac12\sin2A, shows this product never leaves [−12,12]\left[-\tfrac12,\tfrac12\right], with the top value 12\tfrac12 achieved exactly at A=π4A=\tfrac{\pi}{4}.

Power-Reducing (Reduction) Identities

Solving the all-cosine double-angle form for the squared ratio runs the double-angle identity backwards: instead of writing cos⁡2A\cos2A in terms of cos⁡2A\cos^2A, it writes cos⁡2A\cos^2A (and sin⁡2A\sin^2A, tan⁡2A\tan^2A) in terms of cos⁡2A\cos2A -- trading a squared single angle for an un-squared double angle:

sin⁡2A=1−cos⁡2A2,cos⁡2A=1+cos⁡2A2,tan⁡2A=1−cos⁡2A1+cos⁡2A.\sin^2A=\frac{1-\cos2A}{2}, \qquad \cos^2A=\frac{1+\cos2A}{2}, \qquad \tan^2A=\frac{1-\cos2A}{1+\cos2A}.

These are the standard route to integrating or simplifying even powers of sine/cosine. Applying the trick twice in a row expresses fourth powers purely in terms of cos⁡2x\cos2x and cos⁡4x\cos4x:

cos⁡4x=18cos⁡4x+12cos⁡2x+38,sin⁡4x=18cos⁡4x−12cos⁡2x+38.\cos^4x=\frac18\cos4x+\frac12\cos2x+\frac38, \qquad \sin^4x=\frac18\cos4x-\frac12\cos2x+\frac38.

Triple-Angle Identities

Writing 3A=2A+A3A=2A+A and expanding with the sum formula plus the double-angle identities above builds the triple-angle family.

Identity 3.12. sin⁡3A=sin⁡(2A+A)=sin⁡2Acos⁡A+cos⁡2Asin⁡A=2sin⁡Acos⁡2A+(1−2sin⁡2A)sin⁡A\sin3A=\sin(2A+A)=\sin2A\cos A+\cos2A\sin A=2\sin A\cos^2A+(1-2\sin^2A)\sin A. Replacing cos⁡2A\cos^2A by 1−sin⁡2A1-\sin^2A and collecting terms in sin⁡A\sin A:

sin⁡3A=3sin⁡A−4sin⁡3A.\sin3A=3\sin A-4\sin^3A.

Identity 3.13. cos⁡3A=cos⁡(2A+A)=cos⁡2Acos⁡A−sin⁡2Asin⁡A=(2cos⁡2A−1)cos⁡A−2cos⁡Asin⁡2A\cos3A=\cos(2A+A)=\cos2A\cos A-\sin2A\sin A=(2\cos^2A-1)\cos A-2\cos A\sin^2A. Replacing sin⁡2A\sin^2A by 1−cos⁡2A1-\cos^2A:

cos⁡3A=4cos⁡3A−3cos⁡A.\cos3A=4\cos^3A-3\cos A.

Identity 3.14. tan⁡3A=tan⁡(2A+A)=tan⁡2A+tan⁡A1−tan⁡2Atan⁡A\tan3A=\tan(2A+A)=\dfrac{\tan2A+\tan A}{1-\tan2A\tan A}; substituting tan⁡2A=2tan⁡A1−tan⁡2A\tan2A=\dfrac{2\tan A}{1-\tan^2A} and clearing the compound fraction:

tan⁡3A=3tan⁡A−tan⁡3A1−3tan⁡2A.\tan3A=\frac{3\tan A-\tan^3A}{1-3\tan^2A}.

The same "one-step-bigger" idea keeps going: composing the triple- and double-angle identities reaches sin⁡4A\sin4A (e.g. sin⁡4A=4sin⁡Acos⁡3A−4cos⁡Asin⁡3A\sin4A=4\sin A\cos^3A-4\cos A\sin^3A, obtained by factoring 4sin⁡Acos⁡A(cos⁡2A−sin⁡2A)=2(2sin⁡Acos⁡A)cos⁡2A=2sin⁡2Acos⁡2A=sin⁡4A4\sin A\cos A(\cos^2A-\sin^2A)=2(2\sin A\cos A)\cos2A=2\sin2A\cos2A=\sin4A), and repeating the double-angle sine identity as many times as one likes turns sin⁡x\sin x into 210sin⁡(x210)2^{10}\sin\left(\dfrac{x}{2^{10}}\right) times a chain of 1010 cosines of successively halved angles -- a pattern that extends to any number of repetitions.

Half-Angle (Sub-multiple) Identities

Every double-angle identity turns into a half-angle identity through the single substitution 2A=θ2A=\theta, i.e. A=θ2A=\dfrac\theta2 -- the angle on the right of each formula becomes half of the angle on the left:

sin⁡θ=2sin⁡θ2cos⁡θ2,cos⁡θ=cos⁡2θ2−sin⁡2θ2=2cos⁡2θ2−1=1−2sin⁡2θ2,\sin\theta=2\sin\frac\theta2\cos\frac\theta2, \qquad \cos\theta=\cos^2\frac\theta2-\sin^2\frac\theta2=2\cos^2\frac\theta2-1=1-2\sin^2\frac\theta2,

tan⁡θ=2tan⁡θ21−tan⁡2θ2,sin⁡θ=2tan⁡θ21+tan⁡2θ2,cos⁡θ=1−tan⁡2θ21+tan⁡2θ2.\tan\theta=\frac{2\tan\frac\theta2}{1-\tan^2\frac\theta2}, \qquad \sin\theta=\frac{2\tan\frac\theta2}{1+\tan^2\frac\theta2}, \qquad \cos\theta=\frac{1-\tan^2\frac\theta2}{1+\tan^2\frac\theta2}.

Solving the "1−2sin⁡21-2\sin^2" and "2cos⁡2−12\cos^2-1" forms for the half-angle ratio itself gives the two most-used working formulas -- each carrying a ±\pm sign fixed by which quadrant θ/2\theta/2 actually lies in:

sin⁡θ2=±1−cos⁡θ2,cos⁡θ2=±1+cos⁡θ2.\sin\frac\theta2=\pm\sqrt{\frac{1-\cos\theta}{2}}, \qquad \cos\frac\theta2=\pm\sqrt{\frac{1+\cos\theta}{2}}.

Tip

Half-angle identities are the standard route to an exact value for an angle that is exactly half of a familiar one -- sin⁡15∘=sin⁡30∘2\sin15^\circ=\sin\tfrac{30^\circ}2, or sin⁡2212∘=sin⁡45∘2\sin22\tfrac12^\circ=\sin\tfrac{45^\circ}2 -- and, read in reverse, they let a squared ratio in an expression be swapped for a non-squared ratio of the half-angle.

Worked illustration (sin⁡2212∘\sin22\tfrac12^\circ). Take θ=45∘\theta=45^\circ in sin⁡θ2=1−cos⁡θ2\sin\dfrac\theta2=\sqrt{\dfrac{1-\cos\theta}{2}} (positive root, since 2212∘22\tfrac12^\circ is in the first quadrant): with cos⁡45∘=12\cos45^\circ=\dfrac1{\sqrt2},

sin⁡2212∘=1−122=2−24=2−22.\sin22\tfrac12^\circ=\sqrt{\frac{1-\frac1{\sqrt2}}{2}}=\sqrt{\frac{2-\sqrt2}{4}}=\frac{\sqrt{2-\sqrt2}}{2}.

Worked illustration (finding sin⁡2θ\sin2\theta from sin⁡θ\sin\theta). If sin⁡θ=1213\sin\theta=\dfrac{12}{13} with θ\theta in the first quadrant, a 5-12-135\text{-}12\text{-}13 right triangle gives cos⁡θ=513\cos\theta=\dfrac{5}{13} (or use cos⁡θ=1−sin⁡2θ\cos\theta=\sqrt{1-\sin^2\theta} directly), so sin⁡2θ=2sin⁡θcos⁡θ=2⋅1213⋅513=120169\sin2\theta=2\sin\theta\cos\theta=2\cdot\dfrac{12}{13}\cdot\dfrac{5}{13}=\dfrac{120}{169}.

Worked illustration (cos⁡2x=sin⁡x\cos2x=\sin x). Writing cos⁡2x=1−2sin⁡2x\cos2x=1-2\sin^2x turns cos⁡2x=sin⁡x\cos2x=\sin x into the quadratic 2sin⁡2x+sin⁡x−1=02\sin^2x+\sin x-1=0, whose roots are sin⁡x=12\sin x=\tfrac12 or sin⁡x=−1\sin x=-1. Over −π≤x≤π-\pi\le x\le\pi, sin⁡x=12\sin x=\tfrac12 gives x=π6,5π6x=\tfrac\pi6,\tfrac{5\pi}6 and sin⁡x=−1\sin x=-1 gives x=−π2x=-\tfrac\pi2, so the full solution set is x=−π2,π6,5π6x=-\tfrac\pi2,\tfrac\pi6,\tfrac{5\pi}6.

Worked illustration -- the golden-ratio exact values (sin⁡18∘\sin18^\circ and friends). Let θ=18∘\theta=18^\circ, so 5θ=90∘5\theta=90^\circ, i.e. 2θ=90∘−3θ2\theta=90^\circ-3\theta. Then sin⁡2θ=sin⁡(90∘−3θ)=cos⁡3θ\sin2\theta=\sin(90^\circ-3\theta)=\cos3\theta, i.e. 2sin⁡θcos⁡θ=4cos⁡3θ−3cos⁡θ2\sin\theta\cos\theta=4\cos^3\theta-3\cos\theta. Since cos⁡18∘≠0\cos18^\circ\ne0, dividing through by cos⁡θ\cos\theta gives 2sin⁡θ=4cos⁡2θ−3=4(1−sin⁡2θ)−3=1−4sin⁡2θ2\sin\theta=4\cos^2\theta-3=4(1-\sin^2\theta)-3=1-4\sin^2\theta, a quadratic in sin⁡θ\sin\theta:

4sin⁡2θ+2sin⁡θ−1=0 ⟹ sin⁡θ=−2±4+168=−1±54.4\sin^2\theta+2\sin\theta-1=0 \ \Longrightarrow\ \sin\theta=\frac{-2\pm\sqrt{4+16}}{8}=\frac{-1\pm\sqrt5}{4}.

Since 18∘18^\circ is in the first quadrant, sin⁡18∘>0\sin18^\circ>0, so the ++ root applies:

sin⁡18∘=5−14.\sin18^\circ=\frac{\sqrt5-1}{4}. …