Skip to content

Mathematics · Ch 3 — Trigonometry - II

Trigonometric Functions of Sum and Difference of Angles

3.1

Trigonometric Functions of Sum and Difference of Angles

Compound angles

A compound angle is the sum or difference of two (or more) angles, such as A+BA+B or A−BA-B. This section

proves how the six trigonometric ratios of a compound angle relate to the ratios of the two original angles.

Theorem 1: cos⁡(A−B)=cos⁡Acos⁡B+sin⁡Asin⁡B\cos(A-B)=\cos A\cos B+\sin A\sin B

Proof (unit circle method). Draw a unit circle centred at the origin OO. Mark point PP on the circle so

that OPOP makes angle AA with the positive xx-axis, and point QQ so that OQOQ makes angle BB. Since the

circle has radius 11, the coordinates are P≡(cos⁡A,sin⁡A)P\equiv(\cos A,\sin A) and Q≡(cos⁡B,sin⁡B)Q\equiv(\cos B,\sin B).

Using the distance formula in the original coordinate system:

[d(PQ)]2=(cos⁡A−cos⁡B)2+(sin⁡A−sin⁡B)2[d(PQ)]^2=(\cos A-\cos B)^2+(\sin A-\sin B)^2

Expanding: =cos⁡2A−2cos⁡Acos⁡B+cos⁡2B+sin⁡2A−2sin⁡Asin⁡B+sin⁡2B=2−2(cos⁡Acos⁡B+sin⁡Asin⁡B)=\cos^2A-2\cos A\cos B+\cos^2B+\sin^2A-2\sin A\sin B+\sin^2B=2-2(\cos A\cos B+\sin A\sin B)

(using sin⁡2+cos⁡2=1\sin^2+\cos^2=1 twice). Call this result (1).

Now imagine rotating the axis so OQOQ becomes the new positive xx-axis. In this new system, ∠QOP=A−B\angle QOP=A-B,

so P≡(cos⁡(A−B),sin⁡(A−B))P\equiv(\cos(A-B),\sin(A-B)) and Q≡(1,0)Q\equiv(1,0). The distance PQPQ is unchanged by a rotation, so:

[d(PQ)]2=[cos⁡(A−B)−1]2+[sin⁡(A−B)−0]2=2−2cos⁡(A−B)[d(PQ)]^2=[\cos(A-B)-1]^2+[\sin(A-B)-0]^2=2-2\cos(A-B)

Call this (2).

Equating (1) and (2): 2−2cos⁡(A−B)=2−2(cos⁡Acos⁡B+sin⁡Asin⁡B)2-2\cos(A-B)=2-2(\cos A\cos B+\sin A\sin B), which gives

cos⁡(A−B)=cos⁡Acos⁡B+sin⁡Asin⁡B\cos(A-B)=\cos A\cos B+\sin A\sin B

Theorem 2: cos⁡(A+B)=cos⁡Acos⁡B−sin⁡Asin⁡B\cos(A+B)=\cos A\cos B-\sin A\sin B

Proof. Put x=A, y=−Bx=A,\ y=-B into Theorem 1's formula cos⁡(x−y)=cos⁡xcos⁡y+sin⁡xsin⁡y\cos(x-y)=\cos x\cos y+\sin x\sin y:

cos⁡(A+B)=cos⁡Acos⁡(−B)+sin⁡Asin⁡(−B)\cos(A+B)=\cos A\cos(-B)+\sin A\sin(-B)

Since cos⁡(−θ)=cos⁡θ\cos(-\theta)=\cos\theta and sin⁡(−θ)=−sin⁡θ\sin(-\theta)=-\sin\theta: cos⁡(A+B)=cos⁡Acos⁡B−sin⁡Asin⁡B\cos(A+B)=\cos A\cos B-\sin A\sin B.

Results at B=π/2B=\pi/2 (a first glimpse of allied angles)

Putting x=π/2,y=θx=\pi/2,y=\theta into cos⁡(x−y)=cos⁡xcos⁡y+sin⁡xsin⁡y\cos(x-y)=\cos x\cos y+\sin x\sin y gives cos⁡(π/2−θ)=0⋅cos⁡θ+1⋅sin⁡θ=sin⁡θ\cos(\pi/2-\theta)=0\cdot\cos\theta+ 1\cdot\sin\theta=\sin\theta. Similarly: cos⁡(π/2+θ)=−sin⁡θ\cos(\pi/2+\theta)=-\sin\theta, sin⁡(π/2−θ)=cos⁡θ\sin(\pi/2-\theta)=\cos\theta,

sin⁡(π/2+θ)=cos⁡θ\sin(\pi/2+\theta)=\cos\theta, tan⁡(π/2−θ)=cot⁡θ\tan(\pi/2-\theta)=\cot\theta, tan⁡(π/2+θ)=−cot⁡θ\tan(\pi/2+\theta)=-\cot\theta. These become

the seed of the full allied-angle table in section 3.2.

Theorem 3: sin⁡(A−B)=sin⁡Acos⁡B−cos⁡Asin⁡B\sin(A-B)=\sin A\cos B-\cos A\sin B

Proof. Using cos⁡(π/2−θ)=sin⁡θ\cos(\pi/2-\theta)=\sin\theta with θ=A−B\theta=A-B: sin⁡(A−B)=cos⁡[π/2−(A−B)]=cos⁡[(π/2−A)+B]\sin(A-B)=\cos[\pi/2-(A-B)]=\cos[(\pi/2-A)+B].

Expand with the cosine-sum formula: =cos⁡(π/2−A)cos⁡B−sin⁡(π/2−A)sin⁡B=sin⁡Acos⁡B−cos⁡Asin⁡B=\cos(\pi/2-A)\cos B-\sin(\pi/2-A)\sin B=\sin A\cos B-\cos A\sin B.

Theorem 4: sin⁡(A+B)=sin⁡Acos⁡B+cos⁡Asin⁡B\sin(A+B)=\sin A\cos B+\cos A\sin B

Proved the same way, replacing BB by −B-B in Theorem 3.

Theorem 5: tan⁡(A+B)=tan⁡A+tan⁡B1−tan⁡Atan⁡B\tan(A+B)=\dfrac{\tan A+\tan B}{1-\tan A\tan B}

Proof. tan⁡(A+B)=sin⁡(A+B)cos⁡(A+B)=sin⁡Acos⁡B+cos⁡Asin⁡Bcos⁡Acos⁡B−sin⁡Asin⁡B\tan(A+B)=\dfrac{\sin(A+B)}{\cos(A+B)}=\dfrac{\sin A\cos B+\cos A\sin B}{\cos A\cos B-\sin A\sin B}.

Divide numerator and denominator by cos⁡Acos⁡B\cos A\cos B:

tan⁡(A+B)=sin⁡Acos⁡A+sin⁡Bcos⁡B1−sin⁡Acos⁡A⋅sin⁡Bcos⁡B=tan⁡A+tan⁡B1−tan⁡Atan⁡B\tan(A+B)=\dfrac{\dfrac{\sin A}{\cos A}+\dfrac{\sin B}{\cos B}}{1-\dfrac{\sin A}{\cos A}\cdot\dfrac{\sin B}{\cos B}}=\dfrac{\tan A+\tan B}{1-\tan A\tan B}

Theorem 6: tan⁡(A−B)=tan⁡A−tan⁡B1+tan⁡Atan⁡B\tan(A-B)=\dfrac{\tan A-\tan B}{1+\tan A\tan B}

Proved the same way with cos⁡(A−B),sin⁡(A−B)\cos(A-B),\sin(A-B) (an Activity in the textbook — same divide-by-cos⁡Acos⁡B\cos A\cos B

technique as Theorem 5, with BB replaced by −B-B).

Results (cotangent versions, provided none of A,B,A±BA,B,A\pm B is a multiple of π\pi):

cot⁡(A+B)=cot⁡Acot⁡B−1cot⁡B+cot⁡A,cot⁡(A−B)=cot⁡Acot⁡B+1cot⁡B−cot⁡A\cot(A+B)=\dfrac{\cot A\cot B-1}{\cot B+\cot A},\qquad \cot(A-B)=\dfrac{\cot A\cot B+1}{\cot B-\cot A}

(taking reciprocals of Theorems 5 and 6).

Solved Examples

Ex.1 — Find cos⁡15°\cos15°. Write 15°=45°−30°15°=45°-30°. By Theorem 1: cos⁡15°=cos⁡45°cos⁡30°+sin⁡45°sin⁡30°=12⋅32+12⋅12=3+122\cos15°=\cos45°\cos30°+\sin45°\sin30° =\dfrac{1}{\sqrt2}\cdot\dfrac{\sqrt3}{2}+\dfrac{1}{\sqrt2}\cdot\dfrac12=\dfrac{\sqrt3+1}{2\sqrt2}.

Ex.2 — Find tan⁡(13π/12)\tan(13\pi/12). Write 13π12=π+π12\dfrac{13\pi}{12}=\pi+\dfrac{\pi}{12}; since tan⁡(π+θ)=tan⁡θ\tan(\pi+\theta)=\tan\theta,

this is tan⁡π12\tan\dfrac{\pi}{12}. Write π12=π4−π6\dfrac{\pi}{12}=\dfrac{\pi}{4}-\dfrac{\pi}{6} and apply Theorem 6:

tan⁡π12=tan⁡π4−tan⁡π61+tan⁡π4tan⁡π6=1−131+13=2−3\tan\dfrac{\pi}{12}=\dfrac{\tan\frac{\pi}{4}-\tan\frac{\pi}{6}}{1+\tan\frac{\pi}{4}\tan\frac{\pi}{6}} =\dfrac{1-\frac{1}{\sqrt3}}{1+\frac{1}{\sqrt3}}=2-\sqrt3.

Ex.3 — Show sin⁡(x+y)sin⁡(x−y)=tan⁡x+tan⁡ytan⁡x−tan⁡y\dfrac{\sin(x+y)}{\sin(x-y)}=\dfrac{\tan x+\tan y}{\tan x-\tan y}. Expand numerator and denominator

with Theorems 3–4, then divide every term by cos⁡xcos⁡y\cos x\cos y to convert to tangents; both sides match.

Ex.4 — Show tan⁡3xtan⁡2xtan⁡x=tan⁡3x−tan⁡2x−tan⁡x\tan3x\tan2x\tan x=\tan3x-\tan2x-\tan x. Write tan⁡3x=tan⁡(2x+x)\tan3x=\tan(2x+x) via Theorem 5, cross-multiply

tan⁡3x(1−tan⁡2xtan⁡x)=tan⁡2x+tan⁡x\tan3x(1-\tan2x\tan x)=\tan2x+\tan x, and rearrange to tan⁡3x−tan⁡2x−tan⁡x=tan⁡3xtan⁡2xtan⁡x\tan3x-\tan2x-\tan x=\tan3x\tan2x\tan x.

Ex.5 — Show cos⁡(x+π/4)+cos⁡(x−π/4)=2cos⁡x\cos(x+\pi/4)+\cos(x-\pi/4)=\sqrt2\cos x. Expand each cosine with cos⁡(π/4)=sin⁡(π/4)=1/2\cos(\pi/4)=\sin(\pi/4) =1/\sqrt2: each gives 12cos⁡x∓12sin⁡x\frac{1}{\sqrt2}\cos x\mp\frac{1}{\sqrt2}\sin x; the two sin⁡x\sin x terms cancel, leaving

22cos⁡x=2cos⁡x\frac{2}{\sqrt2}\cos x=\sqrt2\cos x.

Ex.6 — If tan⁡A−tan⁡B=x\tan A-\tan B=x and cot⁡B−cot⁡A=y\cot B-\cot A=y, show cot⁡(A−B)=11x+1y\cot(A-B)=\dfrac{1}{\frac1x+\frac1y}. From

cot⁡B−cot⁡A=y\cot B-\cot A=y: tan⁡A−tan⁡Btan⁡Atan⁡B=y⇒xtan⁡Atan⁡B=y⇒tan⁡Atan⁡B=xy\dfrac{\tan A-\tan B}{\tan A\tan B}=y\Rightarrow\dfrac{x}{\tan A\tan B}=y\Rightarrow\tan A\tan B =\dfrac xy. Then cot⁡(A−B)=1+tan⁡Atan⁡Btan⁡A−tan⁡B=1+x/yx=x+yxy=1x+1y=11x+1y\cot(A-B)=\dfrac{1+\tan A\tan B}{\tan A-\tan B}=\dfrac{1+x/y}{x}=\dfrac{x+y}{xy}=\dfrac1x+\dfrac1y =\dfrac{1}{\frac1x+\frac1y} (written as a single reciprocal-sum).

Ex.7 — If tan⁡α=1x+1\tan\alpha=\dfrac{1}{x+1}, tan⁡β=12x+1\tan\beta=\dfrac{1}{2x+1}, tan⁡γ=x+1x2+x+1\tan\gamma=\dfrac{x+1}{x^2+x+1}, show α+β=γ\alpha+\beta=\gamma. Compute tan⁡(α+β)\tan(\alpha+\beta) using Theorem 5; after clearing denominators the fraction

simplifies (via a common-denominator combination and cancellation) to x+1x2+x+1\dfrac{x+1}{x^2+x+1}, which is exactly

tan⁡γ\tan\gamma.

Ex.8 — If sin⁡A+sin⁡B=x\sin A+\sin B=x, cos⁡A+cos⁡B=y\cos A+\cos B=y, show sin⁡(A+B)=2xyx2+y2\sin(A+B)=\dfrac{2xy}{x^2+y^2}. Compute x2+y2=2+2cos⁡(A−B)x^2+y^2=2+2\cos(A-B)

and y2−x2=cos⁡(A+B)(x2+y2)y^2-x^2=\cos(A+B)(x^2+y^2) (both by expanding the squares and using Theorems 1–2), so

cos⁡(A+B)=y2−x2x2+y2\cos(A+B)=\dfrac{y^2-x^2}{x^2+y^2}. Then sin⁡(A+B)=1−cos⁡2(A+B)\sin(A+B)=\sqrt{1-\cos^2(A+B)} simplifies, after combining over a

common denominator and factoring, to 2xyx2+y2\dfrac{2xy}{x^2+y^2}.

Figure 3.1Fig. 3.1 — unit circle construction

What this figure shows. A unit circle centred at the origin OO, with two points PP and QQ marked on it: PP where the radius OPOP makes angle AA with the positive xx-axis, and QQ where OQOQ makes angle BB. The figure is used to compute the chord length PQPQ in two different coordinate systems (once with the original xx-axis, once after rotating the axis to line up with OQOQ) to derive cos⁡(A−B)\cos(A-B).

3.1: Fig. 3.1 — unit circle construction.

Misc Ex.1Find the value of cos 15°

Worked out. Sets up the standard technique: split 15°15° into 45°−30°45°-30° and expand with the cosine-difference formula, then simplify the surd. Once expanded, the exact values of cos⁡45∘\cos 45^\circ, sin⁡45∘\sin 45^\circ, cos⁡30∘\cos 30^\circ and sin⁡30∘\sin 30^\circ are substituted in and the surd expression is simplified to its final closed form.

Ex.1: Find the value of cos 15°.

Misc Ex.2Find the value of tan(13π/12)

Worked out. Reduces the tangent-sum formula twice: first writes 13π/1213\pi/12 as π+π/12\pi+\pi/12 to get a plain tan⁡(π/12)\tan(\pi/12), then writes π/12\pi/12 as π/4−π/6\pi/4-\pi/6 and expands again to reach the surd value.

Ex.2: Find the value of tan(13π/12).

Misc Ex.3Show that sin(x+y)/sin(x-y) = (tan x+tan y)/(tan x-tan y)

Worked out. Divides both the numerator and denominator (each already expanded by the sine sum/difference formulas) by cos⁡xcos⁡y\cos x\cos y to convert everything into tangents.

Ex.3: Show that sin(x+y)/sin(x-y) = (tan x+tan y)/(tan x-tan y).

Misc Ex.4Show that tan3x tan2x tanx = tan3x - tan2x - tanx

Worked out. Writes tan⁡3x=tan⁡(2x+x)\tan3x=\tan(2x+x) via the tangent-sum formula, cross-multiplies, and rearranges the resulting equation into the required product-equals-difference form.

Ex.4: Show that tan3x tan2x tanx = tan3x - tan2x - tanx.

Misc Ex.5Show that cos(x+π/4)+cos(x-π/4) = √2 cos x

Worked out. Expands each cosine term using the compound-angle formula with cos⁡(π/4)=sin⁡(π/4)=1/2\cos(\pi/4)=\sin(\pi/4)=1/\sqrt2 and adds; the sin⁡x\sin x terms cancel, leaving a cos⁡x\cos x term scaled by 2\sqrt2.

Ex.5: Show that cos(x+π/4)+cos(x-π/4) = √2 cos x.

Misc Ex.6If tanA - tanB = x and cotB - cotA = y, show cot(A-B) = 1/(1/x+1/y)

Worked out. Converts the cot⁡B−cot⁡A=y\cot B-\cot A=y condition into tan⁡Atan⁡B=x/y\tan A\tan B=x/y, then substitutes into the compound-angle formula for cot⁡(A−B)=1+tan⁡Atan⁡Btan⁡A−tan⁡B\cot(A-B)=\dfrac{1+\tan A\tan B}{\tan A-\tan B}.

Ex.6: If tanA - tanB = x and cotB - cotA = y, show cot(A-B) = 1/(1/x+1/y).

Misc Ex.7If tanα=1/(x+1), tanβ=1/(2x+1), tanγ=1/(x²+x+1), show α+β=γ

Worked out. Adds α\alpha and β\beta using the tangent-sum formula, simplifies the resulting fraction algebraically, and shows it equals tan⁡γ\tan\gamma.

Ex.7: If tanα=1/(x+1), tanβ=1/(2x+1), tanγ=1/(x²+x+1), show α+β=γ.

Misc Ex.8If sinA+sinB=x, cosA+cosB=y, show sin(A+B) = 2xy/(x²+y²)

Worked out. Computes x2+y2x^2+y^2 and y2−x2y^2-x^2 separately in terms of cos⁡(A−B)\cos(A-B) and cos⁡(A+B)\cos(A+B), isolates cos⁡(A+B)\cos(A+B), and then uses sin⁡(A+B)=1−cos⁡2(A+B)\sin(A+B)=\sqrt{1-\cos^2(A+B)} to reach the stated surd-free form.

Ex.8: If sinA+sinB=x, cosA+cosB=y, show sin(A+B) = 2xy/(x²+y²).