定义核心
余弦定理是描述三角形中三条边与其中一个角的余弦值之间关系的数学定理。它不仅是勾股定理的推广，更是解决斜三角形问题的核心钥匙。
公式：c² = a² + b² - 2ab·cosC
什么是余弦定理？
与勾股定理的关系
当角C为90度时，cosC=0，余弦定理瞬间退化为勾股定理（c² = a² + b²）。可以说，勾股定理是余弦定理在直角三角形中的特例。
几何意义
从几何角度看，c² = a² + b² 代表两个正方形面积之和，而 -2ab·cosC 则是为了修正非直角带来的面积差值，这是一种对边角关系的直观修正。
余弦定理的证明几何法
构造直角三角形法（经典几何法）
这是最符合直觉的余弦定理几何证明原理。其核心思想是将斜三角形拆解为两个直角三角形，利用勾股定理建立联系。
证明步骤：
- 作高线： 在任意△ABC中，从顶点A向边BC（或其延长线）作垂线，垂足为D。
- 设定变量： 设∠C为锐角。在Rt△ADC中，AD = b·sinC，CD = b·cosC。
- 表示BD： 若D在BC之间，则BD = a - b·cosC；若D在BC延长线上，则BD = a + b·cosC（此时cosC为负，公式依然成立）。
- 应用勾股定理： 在Rt△ABD中，c² = AD² + BD²。
- 代入化简：
c² = (b·sinC)² + (a - b·cosC)²
c² = b²sin²C + a² - 2ab·cosC + b²cos²C
c² = a² + b²(sin²C + cos²C) - 2ab·cosC
c² = a² + b² - 2ab·cosC
核心逻辑： 通过作高，强行制造直角，利用勾股定理作为桥梁，将斜三角形的问题转化为直角三角形的问题来解决。
向量法几何直观
虽然向量属于代数范畴，但其几何意义极强，是理解余弦定理几何证明原理的现代视角。
证明逻辑：
设向量 , , 。则 。
对等式两边平方（点乘）：
这种证明方法简洁有力，揭示了余弦定理本质上是向量模长运算的几何体现，特别是其中的点积项 正是向量夹角的投影修正。
托勒密定理法（圆内接四边形）
这是一个较为冷门但极其优美的余弦定理几何证明原理。
证明步骤：
1. 构造△ABC的外接圆，直径为AD。
2. 连接BD。因为AD是直径，所以∠ABD = 90°。
3. 在圆内接四边形ABDC中应用托勒密定理：对角线乘积等于两组对边乘积之和，即 。
4. 在Rt△ABD中，BD = AD·cos(∠ADB) = AD·cosB（需注意角度关系，若B为钝角需调整）。
5. 通过边长代换与三角函数关系，最终可推导出余弦定理的形式。这种方法展示了余弦定理与圆的几何性质之间的深层联系。
余弦定理的历史演变
公元前300年 · 欧几里得
在《几何原本》中，欧几里得虽然没有直接使用现代的余弦定理公式，但他讨论了钝角三角形和锐角三角形中边长与投影的关系（命题II.12和II.13），这被视为余弦定理的雏形。
公元9世纪 · 花拉子米
伊斯兰数学家花拉子米（Al-Khwarizmi）给出了求解等腰三角形对角线的明确表述，这实际上是余弦定理在特定几何图形中的应用。
12世纪 · 杰拉德
杰拉德（Gerard of Cremona）翻译的著作中，明确陈述了球面三角形的余弦定理，为平面三角形的推广奠定了基础。
16世纪 · 弗朗西斯·梅西特斯
法国数学家梅西特斯（François Viète）给出了现代形式的余弦定理，并首次系统地将其应用于解三角形问题。
现代 · 向量与复数
随着向量代数的发展，余弦定理的证明变得更加简洁统一，不再局限于纯几何构造，而是成为了线性空间中的基本性质。
实战应用场景
已知两边及夹角 (SAS)
这是最典型的应用。例如在测量中，已知两点A、B到观测点O的距离OA=100m, OB=150m，且∠AOB=60°，求AB的距离。
- AB² = 100² + 150² - 2×100×150×cos60°
- AB² = 10000 + 22500 - 15000
- AB = √7500 ≈ 86.6m
已知三边求角 (SSS)
在已知三角形三边长的情况下，求任意一个内角。这在工程制图和计算机图形学中极为常见。
- cosA = (b² + c² - a²) / 2bc
- 通过反余弦函数求出角度A
航海与航空导航
在地球表面（近似球面），两点间的最短距离计算涉及球面余弦定理。在局部平面导航中，用于计算航线偏差和位移合成。