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:
a 2 = b 2 + c 2 − 2 b c cos α \boxed{a^2 = b^2 + c^2 - 2bc\cos\alpha} a 2 = b 2 + c 2 − 2 b c cos α
where a a a is the side opposite angle α \alpha α , and b b b , c c c are the other two sides.
Note: When α = 90 ° \alpha = 90° α = 90° , cos α = 0 \cos\alpha = 0 cos α = 0 and the formula reduces to the Pythagorean theorem a 2 = b 2 + c 2 a^2 = b^2 + c^2 a 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 a 2 = b 2 + c 2 − 2 b c cos α a^2 = b^2 + c^2 - 2bc\cos\alpha a 2 = b 2 + c 2 − 2 b c cos α responds. Notice how the correction term changes sign as α \alpha α crosses 90 ° 90° 90° :
Determining Triangle Type
⚡ Theorem — Corollary (Theorem 3.2)
Let a a a , b b b , c c c be the sides of a triangle where a a a is the longest side. Then:
If a 2 < b 2 + c 2 a^2 < b^2 + c^2 a 2 < b 2 + c 2 , the triangle is acute .
If a 2 > b 2 + c 2 a^2 > b^2 + c^2 a 2 > b 2 + c 2 , the triangle is obtuse .
If a 2 = b 2 + c 2 a^2 = b^2 + c^2 a 2 = b 2 + c 2 , the triangle is right-angled .
✎ Example — Finding a Side
In triangle A B C ABC A B C : A B = 14 AB = 14 A B = 14 cm, B C = 13 BC = 13 B C = 13 cm, A C = 15 AC = 15 A C = 15 cm. A point D D D on A C AC A C satisfies C D : A D = 1 : 2 CD : AD = 1 : 2 C D : A D = 1 : 2 . Find B D BD B D .
Solution. First find cos C \cos C cos C using the Law of Cosines from triangle A B C ABC A B C :
A B 2 = A C 2 + B C 2 − 2 ⋅ A C ⋅ B C ⋅ cos C AB^2 = AC^2 + BC^2 - 2 \cdot AC \cdot BC \cdot \cos C A B 2 = A C 2 + B C 2 − 2 ⋅ A C ⋅ B C ⋅ cos C
cos C = A C 2 + B C 2 − A B 2 2 ⋅ A C ⋅ B C = 225 + 169 − 196 2 ⋅ 15 ⋅ 13 = 198 390 = 33 65 \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} cos C = 2 ⋅ A C ⋅ B C A C 2 + B C 2 − A B 2 = 2 ⋅ 15 ⋅ 13 225 + 169 − 196 = 390 198 = 65 33
Since C D : A D = 1 : 2 CD : AD = 1:2 C D : A D = 1 : 2 , we have C D = 1 3 A C = 5 CD = \tfrac{1}{3}AC = 5 C D = 3 1 A C = 5 cm. From triangle B C D BCD B C D :
B D 2 = B C 2 + C D 2 − 2 ⋅ B C ⋅ C D ⋅ cos C = 169 + 25 − 2 ⋅ 13 ⋅ 5 ⋅ 33 65 = 128 BD^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 B D 2 = B C 2 + C D 2 − 2 ⋅ B C ⋅ C D ⋅ cos C = 169 + 25 − 2 ⋅ 13 ⋅ 5 ⋅ 65 33 = 128
B D = 8 2 cm ◀ BD = 8\sqrt{2} \text{ cm} \qquad \blacktriangleleft B D = 8 2 cm ◀
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:
d 1 2 + d 2 2 = 2 ( a 2 + b 2 ) d_1^2 + d_2^2 = 2(a^2 + b^2) d 1 2 + d 2 2 = 2 ( a 2 + b 2 )
As a consequence of the Law of Cosines, the lengths of the medians of a triangle with sides a a a , b b b , c c c can be expressed as:
m a 2 = 2 b 2 + 2 c 2 − a 2 4 , m b 2 = 2 c 2 + 2 a 2 − b 2 4 , m c 2 = 2 a 2 + 2 b 2 − c 2 4 m_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} m a 2 = 4 2 b 2 + 2 c 2 − a 2 , m b 2 = 4 2 c 2 + 2 a 2 − b 2 , m c 2 = 4 2 a 2 + 2 b 2 − c 2
✎ Example — Checking Triangle Type
The sides of a triangle are 18 \sqrt{18} 18 cm, 5 5 5 cm, and 7 7 7 cm. Determine the triangle type.
Solution. The longest side is 7 7 7 cm. Check: 7 2 = 49 7^2 = 49 7 2 = 49 vs ( 18 ) 2 + 5 2 = 18 + 25 = 43 (\sqrt{18})^2 + 5^2 = 18 + 25 = 43 ( 18 ) 2 + 5 2 = 18 + 25 = 43 .
Since 49 > 43 49 > 43 49 > 43 , the triangle is obtuse . ◀ \blacktriangleleft ◀