? 公元300年左右
欧几里得《几何原本》：欧几里得在第二卷命题12和13中，分别讨论了钝角三角形和锐角三角形中边与边的关系。虽然当时没有现代三角函数符号，但其几何表述与现代余弦定理等价。
三角形余弦定理的证明及深度解析
一、 定理概述：连接几何与代数的桥梁
在平面几何与三角学中，三角形余弦定理（Law of Cosines）是一个描述三角形边长与夹角余弦值之间关系的 fundamental 定理。它不仅是勾股定理的推广，更是解决斜三角形问题的关键工具。许多同学在初学阶段容易将其与正弦定理混淆，但事实上，两者各有侧重。
? 核心公式
对于任意三角形 ABC，设其三条边长分别为 a, b, c，对应的角分别为 A, B, C，则余弦定理的表达式为：
a² = b² + c² - 2bc·cosA
同理可得：
b² = a² + c² - 2ac·cosB
c² = a² + b² - 2ab·cosC
c² = a² + b² - 2ab·cosC
? 几何意义
余弦定理揭示了三角形三边之间的内在约束。当角 A 为 90° 时，cosA = 0，公式退化为 a² = b² + c²，即勾股定理。因此，余弦定理可以看作是勾股定理在非直角三角形中的推广。
其中，项 2bc·cosA 被称为“修正项”，它量化了三角形偏离直角三角形的程度。
二、 三角形余弦定理的证明方法
理解三角形余弦定理的证明是掌握该定理的关键。以下我们将通过三种不同的数学视角——向量法、坐标法和几何法，层层递进地展示其严谨性。
? 向量法证明
向量法利用了向量数量积（点积）的定义，证明过程极为简洁优雅，是高中阶段推荐掌握的证明方式。
证明步骤：
- 设三角形 ABC 的三个顶点为 A, B, C，对应的边向量为 , , 。
- 根据向量减法法则，有 ，即 。
- 对等式两边同时取模的平方（即做数量积）：
|vec{a}|^2 = (vec{b} - vec{c}) cdot (vec{b} - vec{c})
- 展开右边：
|vec{a}|^2 = vec{b}^2 - 2vec{b}cdotvec{c} + vec{c}^2
- 根据向量数量积定义 ，代入上式：
a^2 = b^2 + c^2 - 2bc cos A
证毕。此方法不仅证明了定理，还清晰地展示了向量运算在处理几何问题中的强大威力。
? 坐标法证明
坐标法通过建立平面直角坐标系，将几何问题转化为代数计算，思路清晰，易于理解。
证明步骤：
- 以顶点 A 为原点 (0,0)，边 AC 所在直线为 x 轴建立直角坐标系。
- 则点 A 坐标为 (0,0)，点 C 坐标为 (b, 0)。
- 根据三角函数定义，点 B 的坐标为 (c·cosA, c·sinA)。
- 利用两点间距离公式计算边 a (即 BC 的长度)：
a^2 = |BC|^2 = (c cos A - b)^2 + (c sin A - 0)^2
- 展开并化简：
a^2 = c^2 cos^2 A - 2bc cos A + b^2 + c^2 sin^2 A
利用 ，合并 项：
a^2 = b^2 + c^2 - 2bc cos A
证毕。此方法展示了代数工具在几何证明中的通用性。
? 几何法证明（勾股定理推导）
这是最经典的证明方法，完全依赖于初等几何知识，适合初中及以上学生理解。
证明步骤：
- 如图（想象图），在三角形 ABC 中，过顶点 A 作 BC 边的垂线，垂足为 D。
- 在直角三角形 ABD 中，设 AD = h，BD = x。则 。
- 在直角三角形 ACD 中，CD = a - x（假设 D 在 BC 内部，若为钝角则略有不同，但结果一致）。则 。
- 联立两式消去 h²：
c^2 - x^2 = b^2 - (a-x)^2
- 展开右边：
c^2 - x^2 = b^2 - (a^2 - 2ax + x^2)
c^2 = b^2 - a^2 + 2ax
在直角三角形 ABD 中，。代入上式：
c^2 = b^2 + a^2 - 2ac cos B
证毕。注意：若角 B 为钝角，D 点在 CB 延长线上，x 为负值，推导过程类似，最终公式形式不变。
三、 余弦定理的实际应用场景
掌握三角形余弦定理的证明只是第一步，更重要的是学会如何在实际问题中灵活运用。以下是网友最关心的几个应用场景：
? 导航与定位
在航海和航空中，当已知两个观测点与目标点的距离及两观测点间的夹角时，利用余弦定理可直接计算目标点到观测点的距离，或确定方位角。例如，GPS 定位原理中就隐含了此类三角计算。
?️ 工程测量
在无法直接测量两点间距离的情况下（如隔着河流或山脉），测量员可以通过在岸边选取一点，测量三边数据，利用余弦定理计算不可达距离。
? 计算机图形学
在游戏开发和3D建模中，计算物体间的碰撞检测、光照角度以及向量反射时，余弦定理是底层数学库的核心组成部分。
? 余弦定理与正弦定理对比表
| 特性 | 余弦定理 (Law of Cosines) | 正弦定理 (Law of Sines) |
|---|---|---|
| 公式形式 | a² = b² + c² - 2bc cosA | a/sinA = b/sinB = c/sinC = 2R |
| 适用场景 | 1. 已知两边及夹角，求第三边 2. 已知三边，求任意角 |
1. 已知两角及一边，求其他边 2. 已知两边及其中一边的对角，求另一角 |
| 多解性 | 通常无多解问题（唯一确定三角形） | 已知两边及对角时，可能存在两解、一解或无解 |
| 特殊关系 | 当角为90度时，退化为勾股定理 | 无直接退化形式，但结合面积公式使用广泛 |
四、 历史渊源：从欧几里得到花拉子米
余弦定理的历史可以追溯到古希腊时期，其雏形最早出现在欧几里得的《几何原本》中。
? 公元9世纪
花拉子米与比鲁尼：伊斯兰数学家如花拉子米（Al-Khwarizmi）和比鲁尼（Al-Biruni）对三角学进行了系统化研究，他们将余弦定理推广到球面三角学中，为天文导航奠定了基础。
? 公元13世纪
郭守敬与《授时历》：中国元代天文学家郭守敬在编制《授时历》时，也应用了类似余弦定理的方法进行天文计算，体现了中国古代数学的高超成就。
?️ 公元16世纪
韦达与斯蒂文：随着三角函数符号的标准化，弗朗索瓦·韦达（François Viète）和西蒙·斯蒂文（Simon Stevin）等人将余弦定理以现代代数形式表述，使其成为解析几何的标准工具。
五、 网友们还关心：常见问题深度解答
针对三角形余弦定理的证明及实际应用，我们整理了网民搜索频率最高的问题，并提供详细解答。
Q1: 余弦定理和正弦定理有什么区别？什么时候用哪个？
核心区别：正弦定理处理的是“边对角”的对应关系，适合已知“角角边”或“边边角”的情况；余弦定理处理的是“三边一角”的关系，适合已知“边角边”或“边边边”的情况。
选择策略：
1. 若已知两边及其夹角（SAS），优先用余弦定理求第三边，再用正弦定理求其他角。
2. 若已知三边（SSS），必须用余弦定理求角。
3. 若已知两角及一边（AAS/ASA），用正弦定理。
4. 若已知两边及其中一边的对角（SSA），用正弦定理，但需注意多解情况。
Q2: 余弦定理可以用于钝角三角形吗？cosA为负值怎么算？
完全可以。余弦定理适用于任意三角形，包括钝角三角形。
当角 A 为钝角（90° < A < 180°）时，cosA 为负值（例如 cos 120° = -0.5）。
代入公式 a² = b² + c² - 2bc cosA，由于 cosA < 0，则 -2bc cosA > 0。
这意味着 a² = b² + c² + (一个正数)，即 a² > b² + c²。这符合钝角三角形中“钝角所对的边最长”的几何性质。计算时直接代入负值即可，公式依然成立。
Q3: 如何快速记忆余弦定理的公式？
推荐两种记忆法：
1. 联想勾股定理：勾股定理是 a² + b² = c²。余弦定理是其推广，公式为 c² = a² + b² - 2ab cosC。记忆口诀：“平方和，减去二边乘夹角余弦”。
2. 向量点积：记得 ，则 。向量点积公式 直接导出余弦定理。
Q4: 已知三角形三边，如何判断它是锐角、直角还是钝角三角形？
设最长边为 c，对角为 C。利用余弦定理变形公式：
cosC = (a² + b² - c²) / 2ab
由于分母 2ab > 0，cosC 的符号取决于分子 a² + b² - c²：
1. 若 a² + b² > c²，则 cosC > 0，C 为锐角，三角形为锐角三角形。
2. 若 a² + b² = c²，则 cosC = 0，C 为直角，三角形为直角三角形。
3. 若 a² + b² < c²，则 cosC < 0，C 为钝角，三角形为钝角三角形。
Q5: 余弦定理在物理中有何应用？
在物理学中，余弦定理广泛应用于矢量合成。例如，力的合成、速度的合成、位移的合成等。当两个矢量不共线时，它们的合矢量大小可以通过构建三角形，利用余弦定理计算。例如，两个力 F1 和 F2 夹角为 θ，合力 F 的大小满足 F² = F1² + F2² + 2F1F2cosθ（注意这里角度定义可能因平行四边形法则或三角形法则略有不同，需根据具体矢量方向调整符号，本质都是余弦定理的应用）。
六、 总结
通过对三角形余弦定理的证明及应用的深入探讨，我们可以看到，这不仅仅是一个数学公式，更是连接几何直观与代数精确性的桥梁。无论是向量法的简洁、坐标法的直观，还是几何法的传统，都从不同角度揭示了其内在逻辑。在实际学习和应用中，建议同学们熟练掌握其多种证明方法，并根据具体问题灵活选择正弦定理或余弦定理，以提高解题效率。