余弦定理是描述三角形边长与角度的余弦值的关系的数学定理，是欧氏平面几何学的基本定理之一。具体来说，余弦定理表达了三角形中任意一边的平方等于其他两边平方和减去这两边与它们夹角的余弦的积的两倍。
余弦定理的公式可以表示为：
对于三角形ABC，其中a、b、c分别表示∆ABC中A、B、C的对边，余弦定理可以表述为：
```
a² = b² + c² - 2bc·cosA
b² = a² + c² - 2ac·cosB
c² = a² + b² - 2ab·cosC
```
其中，A、B、C是三角形ABC的三个内角。
余弦定理不仅可以用来计算三角形的第三边长，还可以用来计算三角形的面积。通过余弦定理，我们可以将角度信息转化为边长信息，进而解决与三角形有关的问题。
余弦定理是勾股定理在非直角三角形情形下的推广，它适用于所有三角形，包括直角三角形。