Pure 5.6 - Compound and double angles, half-angles and R-form

Pure 5.6 - Compound and double angles, half-angles and R-form

Use and understand compound-angle formulae, derive double-angle and half-angle results, and combine sine and cosine into one shifted wave. You will use geometry to justify the formulae and solve equations on a stated interval.

Compound Angle Meaning

Can 4cos⁡θ+3sin⁡θ4\cos\theta+3\sin\theta ever reach 77? Each term has its own maximum, but they do not reach those maxima together. At θ=0∘\theta=0^\circ, the sum is 44; at 90∘90^\circ, it is 33. We will find its actual maximum by turning the two terms into one wave.

First, we need to understand functions of a sum of angles. For example, sin⁡(30∘+60∘)=1\sin(30^\circ+60^\circ)=1, whereas sin⁡30∘+sin⁡60∘=(1+3)/2\sin30^\circ+\sin60^\circ=(1+\sqrt3)/2. Sine does not distribute over addition.

You already know

sin⁡30∘=12\sin30^\circ=\frac12, cos⁡30∘=32\cos30^\circ=\frac{\sqrt3}{2} and sin⁡45∘=cos⁡45∘=22\sin45^\circ=\cos45^\circ=\frac{\sqrt2}{2}. Also tan⁡x=sin⁡x/cos⁡x\tan x=\sin x/\cos x where cos⁡x≠0\cos x\ne0.

The whole input to the function matters: sin⁡(x+30∘)\sin(x+30^\circ) is the sine of one angle.

Compound angle

A compound angle is a sum or difference of angles, such as A+BA+B or x−30∘x-30^\circ. In general, sin⁡(A+B)≠sin⁡A+sin⁡B\sin(A+B)\ne\sin A+\sin B.

The correct expansion mixes the sine and cosine of both angles.

Compound-angle formulae

For all real angles AA and BB, measured in the same unit,

sin⁡(A±B)=sin⁡Acos⁡B±cos⁡Asin⁡Bcos⁡(A±B)=cos⁡Acos⁡B∓sin⁡Asin⁡B\begin{aligned} \sin(A\pm B)&=\sin A\cos B\pm\cos A\sin B\\ \cos(A\pm B)&=\cos A\cos B\mp\sin A\sin B \end{aligned}

Also,

tan⁡(A±B)=tan⁡A±tan⁡B1∓tan⁡Atan⁡B\tan(A\pm B)=\frac{\tan A\pm\tan B}{1\mp\tan A\tan B}

where tan⁡A\tan A, tan⁡B\tan B and tan⁡(A±B)\tan(A\pm B) exist, so the displayed denominator is non-zero.

In the formula booklet.

Use known exact angles to build a less familiar angle. The sine formula keeps the sign of the angle operation; the cosine formula reverses it.

Worked example 1: an exact sum

Question. Find the exact value of sin⁡75∘\sin75^\circ.

Plan. Split 75∘75^\circ into 45∘+30∘45^\circ+30^\circ, then use the sine addition formula.

sin⁡75∘=sin⁡45∘cos⁡30∘+cos⁡45∘sin⁡30∘expand the sum=2232+2212use exact values=6+24collect over 4\begin{aligned} \sin75^\circ&=\sin45^\circ\cos30^\circ+\cos45^\circ\sin30^\circ && \text{expand the sum}\\ &=\frac{\sqrt2}{2}\frac{\sqrt3}{2}+\frac{\sqrt2}{2}\frac12 && \text{use exact values}\\ &=\frac{\sqrt6+\sqrt2}{4} && \text{collect over }4 \end{aligned}

Why this split? Both component angles have exact values you know.

Answer. sin⁡75∘=(6+2)/4\sin75^\circ=(\sqrt6+\sqrt2)/4.

Check. The value is about 0.9660.966, between sin⁡60∘\sin60^\circ and 11, as expected.

Change only addition to subtraction in the input. The second term changes sign too.

Worked example 2: an exact difference

Question. Find the exact value of sin⁡15∘\sin15^\circ.

Plan. Write 15∘=45∘−30∘15^\circ=45^\circ-30^\circ and keep the subtraction sign.

sin⁡15∘=sin⁡45∘cos⁡30∘−cos⁡45∘sin⁡30∘expand the difference=64−24substitute exact values=6−24combine\begin{aligned} \sin15^\circ&=\sin45^\circ\cos30^\circ-\cos45^\circ\sin30^\circ && \text{expand the difference}\\ &=\frac{\sqrt6}{4}-\frac{\sqrt2}{4} && \text{substitute exact values}\\ &=\frac{\sqrt6-\sqrt2}{4} && \text{combine} \end{aligned}

Why keep the formula visible? It prevents an accidental plus sign inherited from the previous example.

Answer. sin⁡15∘=(6−2)/4\sin15^\circ=(\sqrt6-\sqrt2)/4.

Check. This is about 0.2590.259, positive and below sin⁡30∘=12\sin30^\circ=\frac12.

The tangent formula works the same way: tan⁡75∘=(1+1/3)/(1−1/3)=(3+1)/(3−1)=2+3\tan75^\circ=(1+1/\sqrt3)/(1-1/\sqrt3)=(\sqrt3+1)/(\sqrt3-1)=2+\sqrt3. Rationalising the denominator gives the exact result.

Watch out

Wrong: cos⁡(A+B)=cos⁡Acos⁡B+sin⁡Asin⁡B\cos(A+B)=\cos A\cos B+\sin A\sin B. The plus sign inside cosine produces a minus sign between the products. Right: cos⁡(A+B)=cos⁡Acos⁡B−sin⁡Asin⁡B\cos(A+B)=\cos A\cos B-\sin A\sin B.

Try another difference of known angles, this time using 135∘135^\circ.

Deriving the compound-angle formulae

The six formulae come from one geometrical comparison: calculate the same chord in two ways. Take points P=(cos⁡A,sin⁡A)P=(\cos A, \sin A) and Q=(cos⁡B,sin⁡B)Q=(\cos B, \sin B) on a unit circle.

[DIAGRAM: asset_slug: p1_5_6_understand_and_use_double_angle_formulae__diagram_01; asset_name: One chord measured by an angle and by coordinates; caption: Two calculations of the same squared chord produce the cosine difference formula; description: Unit circle with non-special angles A and B, chord PQ, radii of length 1 and the angular difference marked. A separate coordinate panel labels P and Q and compares the cosine-rule and coordinate-distance expressions for PQ squared.]
Two calculations of the same squared chord produce the cosine difference formula

The cosine rule in triangle OPQOPQ gives

PQ2=12+12−2cos⁡(A−B)=2−2cos⁡(A−B).PQ^2=1^2+1^2-2\cos(A-B)=2-2\cos(A-B).

For arbitrary directed angles, the smaller angle between the radii has the same cosine as A−BA-B: reflection changes the sign, and full turns change neither point. The coincident-point and diameter cases follow directly too.

Coordinate distance gives a second expression:

PQ2=(cos⁡A−cos⁡B)2+(sin⁡A−sin⁡B)2=2−2(cos⁡Acos⁡B+sin⁡Asin⁡B)use sin⁡2u+cos⁡2u=1\begin{aligned} PQ^2&=(\cos A-\cos B)^2+(\sin A-\sin B)^2\\ &=2-2(\cos A\cos B+\sin A\sin B) && \text{use }\sin^2u+\cos^2u=1 \end{aligned}

Equating these expressions and cancelling 22 proves

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

From cosine difference to all six formulae

Cosine is even and sine is odd. Replace BB by −B-B:

cos⁡(A+B)=cos⁡Acos⁡(−B)+sin⁡Asin⁡(−B)=cos⁡Acos⁡B−sin⁡Asin⁡B\begin{aligned} \cos(A+B)&=\cos A\cos(-B)+\sin A\sin(-B)\\ &=\cos A\cos B-\sin A\sin B \end{aligned}

For sine addition, use complementary angles; the following working uses radians:

sin⁡(A+B)=cos⁡(π2−A−B)=cos⁡((π2−A)−B)=cos⁡(π2−A)cos⁡B+sin⁡(π2−A)sin⁡B=sin⁡Acos⁡B+cos⁡Asin⁡B\begin{aligned} \sin(A+B)&=\cos\left(\frac\pi2-A-B\right)\\ &=\cos\left(\left(\frac\pi2-A\right)-B\right)\\ &=\cos\left(\frac\pi2-A\right)\cos B+\sin\left(\frac\pi2-A\right)\sin B\\ &=\sin A\cos B+\cos A\sin B \end{aligned}

Here cos⁡(π2−A)=sin⁡A\cos(\frac\pi2-A)=\sin A and sin⁡(π2−A)=cos⁡A\sin(\frac\pi2-A)=\cos A. Replacing BB by −B-B now gives sin⁡(A−B)=sin⁡Acos⁡B−cos⁡Asin⁡B\sin(A-B)=\sin A\cos B-\cos A\sin B. In degrees, replace π/2\pi/2 by 90∘90^\circ.

Finally, divide the sine formula by the cosine formula:

tan⁡(A+B)=sin⁡Acos⁡B+cos⁡Asin⁡Bcos⁡Acos⁡B−sin⁡Asin⁡B=tan⁡A+tan⁡B1−tan⁡Atan⁡Bdivide by cos⁡Acos⁡B\begin{aligned} \tan(A+B)&=\frac{\sin A\cos B+\cos A\sin B}{\cos A\cos B-\sin A\sin B}\\ &=\frac{\tan A+\tan B}{1-\tan A\tan B} && \text{divide by }\cos A\cos B \end{aligned}

This last step requires cos⁡Acos⁡B≠0\cos A\cos B\ne0, as well as a non-zero original denominator. Replacing BB by −B-B gives the tangent subtraction formula, since tan⁡(−B)=−tan⁡B\tan(-B)=-\tan B. Geometry has justified cosine difference; parity, complements and the quotient have justified every other case. The formulae are supplied, but understanding this derivation is still part of your work.

For example, expanding both terms proves the useful identity

sin⁡(x+30∘)−sin⁡(x−30∘)=2cos⁡xsin⁡30∘=cos⁡x\begin{aligned} \sin(x+30^\circ)-\sin(x-30^\circ) &=2\cos x\sin30^\circ\\ &=\cos x \end{aligned}

The sin⁡xcos⁡30∘\sin x\cos30^\circ terms cancel; this is an identity for every real xx, not an equation selecting some angles.

Key idea

One chord proves cosine difference; parity gives cosine sum, complements give sine, and sine divided by cosine gives tangent with its additional restrictions.

Check the exact step that needs a restriction.

Double Angle Formulae

A double angle is the special compound angle A+AA+A. At A=30∘A=30^\circ, for instance, 2sin⁡30∘cos⁡30∘=3/2=sin⁡60∘2\sin30^\circ\cos30^\circ=\sqrt3/2=\sin60^\circ. Setting B=AB=A proves the general sine result.

Similarly, cos⁡(A+A)=cos⁡2A−sin⁡2A\cos(A+A)=\cos^2A-\sin^2A. Substituting sin⁡2A=1−cos⁡2A\sin^2A=1-\cos^2A, or the corresponding cosine expression, produces two more forms. These alternatives are useful choices, not extra facts from nowhere.

Double-angle formulae

For all real AA,

sin⁡2A=2sin⁡Acos⁡Acos⁡2A=cos⁡2A−sin⁡2A=2cos⁡2A−1=1−2sin⁡2A\begin{aligned} \sin2A&=2\sin A\cos A\\ \cos2A&=\cos^2A-\sin^2A=2\cos^2A-1=1-2\sin^2A \end{aligned}

Putting B=AB=A in tangent addition also gives

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

where tan⁡A\tan A exists and 1−tan⁡2A≠01-\tan^2A\ne0. These follow from supplied compound-angle formulae but are not separately printed.

Not in the formula booklet: learn it.

Look at the neighbouring terms before choosing a cosine form. A numerator 1−cos⁡2θ1-\cos2\theta points towards sine squared.

Worked example 3: choose a sine-square form

Question. Prove 1−cos⁡2θsin⁡2θ≡tan⁡θ\frac{1-\cos2\theta}{\sin2\theta}\equiv\tan\theta on the common domain.

Plan. Replace the numerator by 2sin⁡2θ2\sin^2\theta and the denominator by 2sin⁡θcos⁡θ2\sin\theta\cos\theta.

1−cos⁡2θsin⁡2θ=2sin⁡2θ2sin⁡θcos⁡θuse double angles=sin⁡θcos⁡θcancel non-zero factors=tan⁡θuse the quotient identity\begin{aligned} \frac{1-\cos2\theta}{\sin2\theta} &=\frac{2\sin^2\theta}{2\sin\theta\cos\theta} && \text{use double angles}\\ &=\frac{\sin\theta}{\cos\theta} && \text{cancel non-zero factors}\\ &=\tan\theta && \text{use the quotient identity} \end{aligned}

Why this form? It immediately supplies a factor of the denominator. The original denominator requires sin⁡θcos⁡θ≠0\sin\theta\cos\theta\ne0.

Answer. The identity holds wherever both original expressions are defined.

Check. At θ=30∘\theta=30^\circ, both sides equal 1/31/\sqrt3. This checks the algebra, rather than replacing the proof.

Change only the numerator's minus sign to a plus. Now cosine squared is the useful form.

Worked example 4: choose a cosine-square form

Question. Prove 1+cos⁡2θsin⁡2θ≡cot⁡θ\frac{1+\cos2\theta}{\sin2\theta}\equiv\cot\theta on the common domain.

Plan. Use 1+cos⁡2θ=2cos⁡2θ1+\cos2\theta=2\cos^2\theta, then cancel factors.

1+cos⁡2θsin⁡2θ=2cos⁡2θ2sin⁡θcos⁡θuse the matching forms=cos⁡θsin⁡θsin⁡θcos⁡θ≠0=cot⁡θrecognise the quotient\begin{aligned} \frac{1+\cos2\theta}{\sin2\theta} &=\frac{2\cos^2\theta}{2\sin\theta\cos\theta} && \text{use the matching forms}\\ &=\frac{\cos\theta}{\sin\theta} && \sin\theta\cos\theta\ne0\\ &=\cot\theta && \text{recognise the quotient} \end{aligned}

Why change the form? Using 1−2sin⁡2θ1-2\sin^2\theta here would hide the factor we need.

Answer. The identity is proved on the common domain.

Check. At θ=30∘\theta=30^\circ, both sides equal 3\sqrt3.

At A=π/2A=\pi/2, tan⁡2A=0\tan2A=0 exists but tan⁡A\tan A does not; the rational tangent formula cannot be used at that input.

Watch out

Wrong: sin⁡2A=2sin⁡A\sin2A=2\sin A. Right: sin⁡2A=2sin⁡Acos⁡A\sin2A=2\sin A\cos A. Doubling an angle changes the function's input, not just its output.

Now choose forms that expose a common factor rather than a fraction.

Solving With Double Angles

An equation with cos⁡2x\cos2x and cos⁡x\cos x becomes a quadratic in cosine. Use 2cos⁡2x−12\cos^2x-1; if the other term is sine, use 1−2sin⁡2x1-2\sin^2x instead.

You already know

Solve each factor of a quadratic separately. A value of cos⁡x\cos x is not yet an angle, and a value outside [−1,1][-1, 1] gives no real angle.

The first example retains a boundary solution, so the endpoint symbols matter.

Worked example 5: a quadratic in cosine

Question. Solve 2cos⁡2x−cos⁡x=12\cos2x-\cos x=1 for 0∘≤x<360∘0^\circ\le x<360^\circ, giving inexact angles to 11 decimal place.

Plan. Replace cos⁡2x\cos2x, factorise in c=cos⁡xc=\cos x, then find every angle.

2(2c2−1)−c=1use cosine double angle4c2−c−3=0collect terms(4c+3)(c−1)=0factorisec=−34orc=1set each factor to zero\begin{aligned} 2(2c^2-1)-c&=1 && \text{use cosine double angle}\\ 4c^2-c-3&=0 && \text{collect terms}\\ (4c+3)(c-1)&=0 && \text{factorise}\\ c&=-\frac34\quad\text{or}\quad c=1 && \text{set each factor to zero} \end{aligned}

Why solve both branches? Cancelling c−1c-1 would lose x=0∘x=0^\circ. For c=−3/4c=-3/4, cosine's two angles are cos⁡−1(−3/4)\cos^{-1}(-3/4) and 360∘−cos⁡−1(−3/4)360^\circ-\cos^{-1}(-3/4).

Answer. x=0∘, 138.6∘, 221.4∘x=0^\circ, \ 138.6^\circ, \ 221.4^\circ. The endpoint 360∘360^\circ is excluded.

Check. At c=1c=1, the original left side is 2(1)−1=12(1)-1=1. At c=−3/4c=-3/4, it is 2(1/8)+3/4=12(1/8)+3/4=1.

Change only the sign of the single-angle term. The quadratic roots and their quadrants change.

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account