余弦定理

$\triangle$ABCの3つの角の大きさを $A,B,C$，それらの角の対辺の長さをそれぞれ $a,b,c$ とすると

$$a^2 = b^2 + c^2 -2bc\cos A$$ (2.22)

$$b^2 = c^2 + a^2 -2ca\cos B$$ (2.23)

$$c^2 = a^2 + b^2 -2ab\cos C$$ (2.24)

が成り立つ．これを余弦定理という．