余弦定理是一种用于计算三角形的边长或角度的公式。它是三角学中的重要定理之一，常用于解决三角形的各种问题。以下是余弦定理的公式：
对于任意三角形ABC，设$a,b,c$为三边长，$\\angle A,\\angle B,\\angle C$为三个内角，则有：
$$c^2=a^2+b^2-2ab\\cos{\\angle C}$$
其中，$\\cos{\\angle C}$为$\\angle C$的余弦值。
除了上述形式的余弦定理公式，还有两种常见的变形形式，分别是：
$$\\cos{\\angle C}=\\frac{a^2+b^2-c^2}{2ab}$$
$$a^2=b^2+c^2-2bc\\cos{\\angle A}$$
这两种变形形式的公式都可以由原始的余弦定理公式推导出来。其中，靠前个公式可以用来计算三角形中任意一个角的余弦值，第二个公式则可以用来计算三角形中任意一个边的平方。
需要注意的是，以上三个公式都只适用于非直角三角形。对于直角三角形，可以使用勾股定理来计算其边长。同时，在计算过程中，需要注意单位的一致性，以及角度的度数制或弧度制的使用。
综上所述，余弦定理是解决三角形问题的重要工具，熟练掌握其公式及变形形式，有助于解决各种实际问题。