Proofs

The cosine rule

For any triangle, with the side aa opposite the angle AA:

a2=b2+c2−2bccos⁡Aa^2 = b^2 + c^2 - 2bc\cos A

It looks like Pythagoras' theorem with a correction on the end, and that is exactly what it is.

Before you start

You need Pythagoras' theorem and the cosine ratio, cos⁡θ=adjacenthypotenuse\cos\theta = \dfrac{\text{adjacent}}{\text{hypotenuse}} in a right-angled triangle.

Predict first

Before reading on, predict: if A=90∘A = 90^\circ, what does cos⁡A\cos A equal, and what does the rule become? Work that out first — the answer says why this is Pythagoras with something added rather than a separate rule to memorise.

The proof

Take a triangle with corners AA, BB and CC, and sides aa, bb, cc opposite them. Suppose AA is acute for now; the last section deals with an obtuse AA.

Drop a perpendicular from CC to the side ABAB, meeting it at DD. Call the height hh, and call the length ADAD the distance xx.

That splits the triangle into two right-angled triangles, and the proof is Pythagoras applied to each of them.

In the left triangle, ACDACD:

So the cosine ratio gives

cos⁡A=xbsox=bcos⁡A\cos A = \frac{x}{b} \qquad\text{so}\qquad x = b\cos A

and Pythagoras gives

h2=b2−x2h^2 = b^2 - x^2

In the right triangle, BCDBCD:

Pythagoras gives

a2=h2+(c−x)2a^2 = h^2 + (c - x)^2

Substitute. Replace h2h^2 with b2−x2b^2 - x^2 and expand the bracket:

a2=(b2−x2)+(c2−2cx+x2)a^2 = (b^2 - x^2) + (c^2 - 2cx + x^2)

The x2x^2 terms cancel:

a2=b2+c2−2cxa^2 = b^2 + c^2 - 2cx

And x=bcos⁡Ax = b\cos A, so

a2=b2+c2−2bccos⁡Aa^2 = b^2 + c^2 - 2bc\cos A

which is the cosine rule.

Why it becomes Pythagoras when the angle is right

When A=90∘A = 90^\circ, the cosine of a right angle is 00. The correction term −2bccos⁡A-2bc\cos A is therefore zero, and what is left is

a2=b2+c2a^2 = b^2 + c^2

So Pythagoras' theorem is the case of the cosine rule where the angle happens to be a right angle. Nothing new was needed for it; it falls out.

The obtuse case, and why it works

If AA is obtuse the perpendicular from CC lands outside the side ABAB, so the picture is different: the foot DD sits beyond BB rather than between AA and BB.

The algebra still works, with two changes. The length DBDB becomes x−cx - c rather than c−xc - x, and the angle you measure inside the right-angled triangle at AA is 180∘−A180^\circ - A, whose cosine is −cos⁡A-\cos A. Both changes flip a sign, and they flip it in the same place, so the final statement is unchanged.

That is worth checking rather than assuming. A proof that quietly only covered acute angles would not be a proof of the cosine rule, and the sign that looks like a detail is the whole reason the rule is stated with a minus.

Check your understanding

  1. Use the rule with A=90∘A = 90^\circ to show it becomes Pythagoras' theorem.
  2. In a triangle, b=7b = 7, c=9c = 9 and A=60∘A = 60^\circ. Find aa.
  3. The rule is often rearranged to cos⁡A=b2+c2−a22bc\cos A = \dfrac{b^2 + c^2 - a^2}{2bc}. What is that version for?
Answers
  1. cos⁡90∘=0\cos 90^\circ = 0, so −2bccos⁡A=0-2bc\cos A = 0 and a2=b2+c2a^2 = b^2 + c^2.
  2. a2=49+81−2(7)(9)(0.5)=130−63=67a^2 = 49 + 81 - 2(7)(9)(0.5) = 130 - 63 = 67, so a≈8.19a \approx 8.19.
  3. Finding an angle when all three sides are known. The original form gives a side from two sides and the angle between them; this form solves for the angle instead.

A common error

Watch the angle you use. The rule needs the angle between the two sides you know — the one opposite the side you are finding. Reaching for an angle that is not between them is the most common way to get a wrong answer, and the rule gives no warning: it will happily compute a number for the wrong triangle.

Settings

Colour scheme

Applies to every book you read here.

Reading theme

Applies to every book you read here.