从基础定义到复杂几何证明，全方位解析三角形边角关系。本教案专为高中师生及数学爱好者设计，提供深度案例与解题技巧。
查看经典实例在任意三角形 △ABC 中，角 A、B、C 的对边分别为 a、b、c。余弦定理描述了三角形任意一边的平方等于其他两边平方的和减去这两边与它们夹角的余弦的积的两倍。它是勾股定理在一般三角形中的推广，也是解决三角形求解问题（SSS, SAS）的关键工具。
此外，余弦定理还可以用于求角：
在学习正弦定理之前，学生往往只能处理直角三角形或已知两角一边的情况。然而，在实际工程和物理问题中，我们经常遇到已知两边及其夹角（SAS），或者已知三边（SSS）的情况。此时，正弦定理无法直接使用，而余弦定理则是唯一的代数解决方案。
本部分提供三个不同难度的实例，涵盖基本计算、实际应用及综合几何证明。每个实例均包含题目、解题思路及详细步骤。
题目：在 △ABC 中，已知 a=5, b=7, C=60°，求 c 的长度。
思路：直接使用余弦定理公式 c² = a² + b² - 2ab·cosC。
步骤：
1. c² = 5² + 7² - 2×5×7×cos60°
2. c² = 25 + 49 - 70×0.5
3. c² = 74 - 35 = 39
4. c = √39
答案：√39
题目：在 △ABC 中，a=3, b=4, c=6，求最大角。
思路：大边对大角，故角 C 最大。使用变形公式 cosC = (a²+b²-c²)/2ab。
步骤：
1. cosC = (3² + 4² - 6²) / (2×3×4)
2. cosC = (9 + 16 - 36) / 24
3. cosC = -11 / 24
4. 由于 cosC < 0，角 C 为钝角。
答案：arccos(-11/24)
题目：A、B 两点被山隔开，从 C 点测得 CA=80m, CB=50m, ∠ACB=45°，求 AB 距离。
思路：将实际问题转化为三角形模型，使用 SAS 模式求解。
步骤：
1. AB² = 80² + 50² - 2×80×50×cos45°
2. AB² = 6400 + 2500 - 8000×(√2/2)
3. AB² = 8900 - 4000√2 ≈ 8900 - 5656 = 3244
4. AB ≈ 57m
答案：约 57 米
余弦定理并非由一人一时发明，而是经历了漫长的演变过程。
在《几何原本》中，欧几里得提出了与余弦定理等价的形式，用于解决钝角三角形的边长关系，但当时尚未使用现代的三角函数符号。
波斯数学家花拉子米给出了余弦定理的几何证明，并将其应用于天文计算中。
阿尔·比鲁尼利用余弦定理计算地球周长，展示了该定理在大地测量学中的巨大威力。
随着三角函数符号的标准化，余弦定理被写成了我们现在熟悉的代数形式 c² = a² + b² - 2ab·cosC。
当然可以。当三角形为直角三角形且角 C 为 90° 时，cos(90°) = 0，公式 c² = a² + b² - 2ab·cosC 自动退化为勾股定理 c² = a² + b²。因此，勾股定理是余弦定理的特例。
通过计算最大边的平方与另外两边平方和的关系来判断：
记忆口诀：“平方和，减两倍，积乘角，余弦倍”。或者联想为：第三边的平方等于另外两边的平方和，减去这两边乘积的两倍再乘以夹角的余弦值。注意是“减去”，不要记成“加上”。
教学总结：本节课我们深入学习了余弦定理的公式推导、几何意义及其在解三角形中的应用。重点掌握了 SAS 和 SSS 两种模式下的解题技巧。难点在于理解向量法证明以及在实际测量问题中的建模能力。
| 题号 | 题目类型 | 难度 | 考察点 |
|---|---|---|---|
| 1 | 基础计算 | ⭐ | 直接代入公式求边长 |
| 2 | 角度求解 | ⭐⭐ | 利用变形公式求角，判断三角形形状 |
| 3 | 实际应用 | ⭐⭐⭐ | 测量不可达两点间距离 |
| 4 | 综合证明 | ⭐⭐⭐⭐ | 结合正弦定理证明三角恒等式 |