關于三角形的任意一邊的平方等于其他兩邊的平方和減去這兩邊與它們夾角的余弦的積的兩倍的定理。即a^2＝b^2+c^2-2bc cos a，b^2＝c^2+a^2-2cacosb，c^2＝a^2+b^2-2abcosc。