余弦定理，是描述三角形中三邊長度與壹個角的余弦值關系的數學定理，余弦定理是揭示三角形邊角關系的重要定理，直接運用它可解決壹類已知三角形兩邊及夾角求第三邊或者是已知三個邊求角的問題，若對余弦定理加以變形並適當移於其它知識，則使用起來更為方便、靈活。
余弦定理證明方法如圖所示：
如圖，在銳角△ABC中，作AD⊥BC於D，則CD＝bcosC，AD＝bsinC，在△ABD中，由勾股定理，得AB2＝BD2＋AD2，即
AB2＝(a-bcosC)2＋(bsinC)2
＝a2-2abcosC＋b2cos2C＋b2sinC2
＝a2-2abcosC＋b2，即c2＝a2＋b2-2abcosC。