1、对于任意三角形，任何一边的平方等于其他两边平方的和减去这两边与它们夹角的余弦的积的两倍。
2、余弦定理的历史可追溯至西元三世纪前欧几里得的几何原本，在书中将三角形分为钝角和锐角来解释，这同时对应现代数学中余弦值的正负。