余弦定理：三角形任何一边的平方等于其他两边平方的和减去这两边与他们夹角的余弦之积的两倍。

或：在中，为的对边，有，，。

证明：如图，

。同理可得，。