关于三角形的任意一边的平方等于其他两边的平方和减去这两边与它们夹角的余弦的积的两倍的定理。即a^2＝b^2+c^2-2bc cos a，b^2＝c^2+a^2-2cacosb，c^2＝a^2+b^2-2abcosc。