欧几里得的余弦定理（也称为欧氏定理）指出，在任意一个三角形中，其三条边的平方和等于第三条边的平方乘以2： a2 + b2 = c2 × 2 其中，a、b、c分别代表三角形的三条边的长度。
欧氏定理的推导过程：
（1）首先，画出一个三角形ABC，其中AB为斜边，∠CAB=α。
（2）把C点移动到A点，得到AB和BC两条线段，它们之间有一个角α=∠CAB。
（3）从A点引出一条垂线CD，它与AB连接点A共同构成四边形ABCD。
（4）因为∠ACD=90°，∠ABC=90°，因此四边形ABCD是平行四边形。
（5）两个平行四边形的两个对角线之间的关系是：它们的乘积等于两个相邻边的乘积，即： AB × CD = AC × BD
（6）由平行四边形的两个对角线之间的关系可知： AB² = AC × BD
（7）由步骤（2）可知：AB=AC+BC，因此： AB² = (AC+BC)²
（8）将（7）式中的(AC+BC)²展开： AB² = AC² + 2AC × BC + BC²
（9）由步骤（6）可知：AB² = AC × BD，因此： AC × BD = AC² + 2AC × BC + BC²
（10）令BD=2，则有： AC × 2 = AC² + 2AC × BC + BC²
（11）将（10）式中的2移到右边： AC × 2 - 2AC × BC - AC² = BC²
（12）将（11）式中的AC²和2AC × BC合并： AC² + 2AC × BC = BC²
（13）将（12）式中的2AC × BC移到左边： 2AC × BC = BC² - AC²
（14）将（13）式中的BC²和AC²合并： 2AC × BC = BC² - AC²
（15）将（14）式中的2AC × BC移到右边： BC² - AC² = 2AC × BC
（16）将（15）式中的BC²和AC²合并： BC² = AC² + 2AC × BC
（17）综上所述，得出欧氏定理： a2 + b2 = c2 × 2。
