定理定义
余弦定理描述了三角形中任何一边的平方等于其他两边平方的和减去这两边与它们夹角的余弦的积的两倍。它推广了勾股定理，适用于任意三角形，而不仅仅是直角三角形。
探索三角形边长与角度之间的深刻联系，掌握解决非直角三角形问题的核心工具。本页面提供详尽的图解分析、多种证明方法及实际应用场景。
这是连接代数与几何的桥梁，是高中数学必修课程中的核心定理之一。
余弦定理描述了三角形中任何一边的平方等于其他两边平方的和减去这两边与它们夹角的余弦的积的两倍。它推广了勾股定理，适用于任意三角形，而不仅仅是直角三角形。
对于三角形ABC，设角A、B、C所对的边分别为a、b、c，则有：
用于求解角度：
在任意三角形ABC中，作边AB上的高CD。设CD=h，AD=x，则DB=c-x（假设C在AB之间）或x-c（假设D在AB延长线上）。通过勾股定理在两个小直角三角形中建立关系，即可推导出余弦定理。这种几何构造直观地展示了“修正项”-2bc·cosA的来源：它实际上是边b在边c方向上的投影对勾股定理的修正。
理解证明过程有助于深入掌握定理的本质。以下是三种常用的证明方法：
这是最经典的证明方法，适用于所有类型的三角形（锐角、直角、钝角）。
向量法是证明余弦定理最简洁的方法之一，体现了代数与几何的统一。
设向量，，则。
对两边平方：
展开得：
即 a² = b² + c² - 2bc·cosA。证毕。
建立平面直角坐标系，将几何问题转化为代数计算。
1. 以A为原点，AB所在直线为x轴建立坐标系。
2. 则点A(0,0)，点B(c,0)，点C(b·cosA, b·sinA)。
3. 利用两点间距离公式计算BC的长度：
4. 平方并化简：
余弦定理主要解决两类基本的三角形问题：
示例：在△ABC中，已知a=5, b=7, C=120°，求c。
解：
c² = a² + b² - 2ab·cosC
c² = 25 + 49 - 2×5×7×cos120°
c² = 74 - 70×(-0.5) = 74 + 35 = 109
c = √109 ≈ 10.44
示例：在△ABC中，a=3, b=4, c=5，判断三角形形状。
解：
cosC = (a² + b² - c²) / 2ab = (9 + 16 - 25) / 24 = 0
因为cosC = 0，所以C = 90°。
这是一个直角三角形。
欧几里得在《几何原本》中提出了与余弦定理相关的命题（命题II.12和II.13），虽然当时还没有三角函数的概念，但已经用几何面积法描述了钝角和锐角三角形中边长的关系。
波斯数学家阿尔·比鲁尼（Al-Biruni）和阿尔·卡西（Al-Kashi）对三角学进行了深入研究，阿尔·卡西在15世纪明确给出了球面三角形的余弦定理。
法国数学家韦达（François Viète）引入了三角函数的符号表示，使得余弦定理的表达形式更加简洁和代数化。随后，笛卡尔的解析几何为余弦定理提供了坐标法的证明基础。
随着向量代数和线性代数的发展，余弦定理被推广到更高维空间（如内积空间中的范数性质），成为现代数学中不可或缺的基本工具。
勾股定理是余弦定理的特例。当三角形为直角三角形时，角C=90°，cosC=0，此时余弦定理 a² + b² - 2ab·cosC 简化为 a² + b² = c²（假设C为直角，c为斜边）。因此，勾股定理可以看作余弦定理在直角情况下的退化形式。
可以，但不如正弦定理直接。利用余弦定理可以先求出某个角的余弦值，再通过sin²A + cos²A = 1求出正弦值，最后代入面积公式 S = 1/2bc·sinA。如果已知三边，直接使用海伦公式更方便。
这是“边边角”（SSA）情况的不确定性。利用余弦定理列出一元二次方程，根据判别式Δ判断解的个数。几何上，这取决于已知角的对边与另一边的高的大小关系。若对边小于高，无解；等于高，一解（直角）；大于高且小于邻边，两解；大于等于邻边，一解。
向量法证明余弦定理时，利用了向量模长的平方等于向量与自身的点积：。通过构造三角形两边的向量差，展开点积运算，自然导出余弦定理。这也体现了向量点积的几何意义：投影。
利用余弦定理的变形公式判断最大角的余弦值符号：
余弦定理作为三角学中的核心定理，不仅连接了三角形的边与角，还沟通了代数与几何。通过图解、向量、坐标等多种证明方法，我们深入理解了其本质。掌握余弦定理，不仅能解决各类三角形计算问题，还能为后续学习向量、微积分等高等数学内容打下坚实基础。建议学习者在实践中多运用图解辅助理解，并通过大量练习熟悉不同情境下的应用技巧。