余弦定理的核心定义
在任意三角形 △ABC 中，角 A、B、C 的对边分别记为 a、b、c。余弦定理揭示了三角形任意一边的平方等于其他两边平方的和减去这两边与它们夹角的余弦的积的两倍。这一公式是解决三角形问题最有力的工具之一，特别是在已知两边及夹角，或已知三边求角度的情况下。
c² = a² + b² - 2ab cos C
其中 C 为边 a 和边 b 的夹角
同理，对于其他两边，余弦定理也有以下对称形式：
b² = a² + c² - 2ac cos B
1.1 余弦定理的推论
由上述公式变形，我们可以得到余弦定理的推论，主要用于已知三边求角度：
cos A = (b² + c² - a²) / 2bc
cos B = (a² + c² - b²) / 2ac
余弦定理的证明方法
理解证明过程有助于深入记忆公式。以下是两种最常用的证明方法：
几何法证明思路
如图，在 △ABC 中，过点 C 作 CD ⊥ AB 于 D。设 CD = h，AD = x，则 DB = c - x。
在 Rt△ADC 中：
x = b cos A
h = b sin A
在 Rt△BDC 中：
a² = h² + (c - x)²
a² = (b sin A)² + (c - b cos A)²
a² = b² sin²A + c² - 2bc cos A + b² cos²A
a² = b²(sin²A + cos²A) + c² - 2bc cos A
a² = b² + c² - 2bc cos A
证毕。此方法直观地展示了余弦项的几何意义，即投影带来的长度修正。
向量法证明思路
设向量 →AB = c，→AC = b，→BC = a。则 a = b - c（向量减法）。
对等式两边平方：
a² = (b - c) · (b - c)
a² = b·b - 2b·c + c·c
a² = |b|² + |c|² - 2|b||c|cos A
即：
a² = b² + c² - 2bc cos A
向量法简洁优美，体现了代数与几何的统一，是高中数学重点掌握的证明方法。
余弦定理的典型应用场景
余弦定理在数学解题及实际生活中有着广泛的应用，主要解决以下两类基本问题：
① 已知两边及夹角，求第三边
这是余弦定理最直接的应用。例如，已知三角形两边长分别为 3 和 4，夹角为 60°，求第三边。
解：c² = 3² + 4² - 2×3×4×cos60° = 9 + 16 - 12 = 13，故 c = √13。
② 已知三边，求任意角
当三角形三边已知时，可利用余弦定理的推论求出三个内角。这有助于判断三角形的形状（锐角、直角或钝角）。
例如，若 a² + b² < c²，则 cos C < 0，角 C 为钝角。
③ 解斜三角形
在测量学中，无法直接测量距离时，常通过构建三角形，利用余弦定理计算两点间的距离。
如测量河两岸两点的距离，或在航海中计算船位。
④ 向量与物理应用
在物理学中，力的合成与分解常涉及向量夹角。余弦定理可用于计算合力的大小。
如两个力 F1, F2 夹角为 θ，合力 F 的大小满足 F² = F1² + F2² + 2F1F2cosθ（注意符号差异，因向量加法 vs 减法）。
3.1 经典例题解析
| 题目类型 | 已知条件 | 求解目标 | 关键步骤 |
|---|---|---|---|
| 基础求边 | a=5, b=7, C=60° | 求 c | c²=25+49-70×0.5=54, c=3√6 |
| 基础求角 | a=3, b=4, c=5 | 求 C | cosC=(9+16-25)/40=0, C=90° |
| 形状判断 | a=2, b=3, c=4 | 判断三角形形状 | cosC=(4+9-16)/12<0, 钝角三角形 |
| 综合应用 | 面积 S=√3, a=2, b=3 | 求 c | 先由 S=1/2ab sinC 求 sinC, 再求 cosC, 最后用余弦定理求 c |
余弦定理的历史渊源
欧几里得《几何原本》
虽然欧几里得没有直接提出现代形式的余弦定理，但他在《几何原本》第二卷中的命题12和13中，描述了钝角三角形和锐角三角形中边与高的关系，这实际上是余弦定理的几何雏形。
阿波罗尼奥斯
古希腊数学家阿波罗尼奥斯在《圆锥曲线论》中进一步探讨了三角形边与高的关系，为余弦定理的发展奠定了基础。
花拉子米与比鲁尼
阿拉伯数学家花拉子米（Al-Khwarizmi）和天文学家比鲁尼（Al-Biruni）在三角学的发展中做出了重要贡献。比鲁尼提出了测量地球周长的方法，其中就用到了类似余弦定理的原理。
现代形式的确立
随着三角学作为独立学科的发展，弗朗索瓦·韦达（François Viète）和勒让德（Adrien-Marie Legendre）等数学家将余弦定理整理为现代代数形式，使其成为解三角形的核心工具。
常见问题解答 (FAQ)
勾股定理是余弦定理在夹角为90度时的特殊情况。当C=90°时，cos(C)=0，余弦定理公式 c² = a² + b² - 2ab cos(C) 简化为 c² = a² + b²，即勾股定理。因此，余弦定理可以看作是勾股定理在一般三角形中的推广。
余弦定理常用于证明三角形中的边角关系，如判断三角形的形状（锐角、直角或钝角三角形），以及推导正弦定理等其他几何定理。它也是连接几何与代数的重要桥梁。
余弦定理的推论（如 cosA = (b² + c² - a²) / 2bc）常用于已知三边求角度的场景，广泛应用于测量学、导航、物理学中的向量分解等领域。例如，在建筑设计中计算角度偏差，或在天文学中计算星体位置。
常见错误包括：1. 混淆夹角，误将非夹角代入公式；2. 计算 cos 值时，角度制与弧度制切换错误；3. 在已知两边及一边对角时，误用余弦定理导致多解或漏解（此时应优先用正弦定理或讨论判别式）；4. 忘记开平方求边长。