ironfern @ docs ~/geometry/grade-9/triangles/law-of-cosines $

Law of Cosines

From the first congruence criterion for triangles, two sides and the included angle uniquely determine a triangle. The Law of Cosines tells us how to find the third side.

Theorem — Law of Cosines (Theorem 3.1)

The square of any side of a triangle equals the sum of the squares of the other two sides minus twice their product times the cosine of the included angle:

a2=b2+c22bccosα\boxed{a^2 = b^2 + c^2 - 2bc\cos\alpha}

where aa is the side opposite angle α\alpha, and bb, cc are the other two sides.

Note: When α=90°\alpha = 90°, cosα=0\cos\alpha = 0 and the formula reduces to the Pythagorean theorem a2=b2+c2a^2 = b^2 + c^2. This shows the Pythagorean theorem is a special case of the Law of Cosines.

Adjust the sides and angle to see how the formula a2=b2+c22bccosαa^2 = b^2 + c^2 - 2bc\cos\alpha responds. Notice how the correction term changes sign as α\alpha crosses 90°90°:

b = 3.0
c = 4.0
α = 60.0°
a² = b²+c²-12.00 = 13.000a = 3.606α = 60°β = 46.1°γ = 73.9°▲ acute

Determining Triangle Type

Theorem — Corollary (Theorem 3.2)

Let aa, bb, cc be the sides of a triangle where aa is the longest side. Then:

  • If a2<b2+c2a^2 < b^2 + c^2, the triangle is acute.
  • If a2>b2+c2a^2 > b^2 + c^2, the triangle is obtuse.
  • If a2=b2+c2a^2 = b^2 + c^2, the triangle is right-angled.
Example — Finding a Side

In triangle ABCABC: AB=14AB = 14 cm, BC=13BC = 13 cm, AC=15AC = 15 cm. A point DD on ACAC satisfies CD:AD=1:2CD : AD = 1 : 2. Find BDBD.

Solution. First find cosC\cos C using the Law of Cosines from triangle ABCABC:

AB2=AC2+BC22ACBCcosCAB^2 = AC^2 + BC^2 - 2 \cdot AC \cdot BC \cdot \cos C

cosC=AC2+BC2AB22ACBC=225+16919621513=198390=3365\cos C = \frac{AC^2 + BC^2 - AB^2}{2 \cdot AC \cdot BC} = \frac{225 + 169 - 196}{2 \cdot 15 \cdot 13} = \frac{198}{390} = \frac{33}{65}

Since CD:AD=1:2CD : AD = 1:2, we have CD=13AC=5CD = \tfrac{1}{3}AC = 5 cm. From triangle BCDBCD:

BD2=BC2+CD22BCCDcosC=169+2521353365=128BD^2 = BC^2 + CD^2 - 2 \cdot BC \cdot CD \cdot \cos C = 169 + 25 - 2 \cdot 13 \cdot 5 \cdot \frac{33}{65} = 128

BD=82 cmBD = 8\sqrt{2} \text{ cm} \qquad \blacktriangleleft

Parallelogram Diagonal Theorem

Theorem — Theorem 3.3

The sum of the squares of the diagonals of a parallelogram equals the sum of the squares of all four sides:

d12+d22=2(a2+b2)d_1^2 + d_2^2 = 2(a^2 + b^2)

Median Formulas

As a consequence of the Law of Cosines, the lengths of the medians of a triangle with sides aa, bb, cc can be expressed as:

ma2=2b2+2c2a24,mb2=2c2+2a2b24,mc2=2a2+2b2c24m_a^2 = \frac{2b^2 + 2c^2 - a^2}{4}, \quad m_b^2 = \frac{2c^2 + 2a^2 - b^2}{4}, \quad m_c^2 = \frac{2a^2 + 2b^2 - c^2}{4}

Example — Checking Triangle Type

The sides of a triangle are 18\sqrt{18} cm, 55 cm, and 77 cm. Determine the triangle type.

Solution. The longest side is 77 cm. Check: 72=497^2 = 49 vs (18)2+52=18+25=43(\sqrt{18})^2 + 5^2 = 18 + 25 = 43.

Since 49>4349 > 43, the triangle is obtuse. \blacktriangleleft