在平面几何中，余弦定理（Law of Cosines）是描述三角形中三边长度与一个角的余弦值关系的数学定理。它是勾股定理的推广，适用于任意三角形。通过余弦定理，我们可以解决已知两边及其夹角求第三边，或者已知三边求任意角的问题。在高中数学必修五中，余弦定理与正弦定理并列为解三角形的两大核心工具。
对于广大学生和数学爱好者而言，理解余弦定理证明大全不仅是为了应对考试，更是为了深入掌握向量代数、解析几何以及三角函数之间的内在联系。本页面将提供详尽的余弦定理证明方法、公式变式、应用场景及常见误区解析。
在△ABC中，角A、B、C所对的边分别为a、b、c，则余弦定理的公式表达如下：
除了基本形式，余弦定理还可以变形为求角的余弦值，这在已知三边求角时非常有用：
这些变形公式是余弦定理证明大全中不可或缺的一部分，它们揭示了三角形边角之间的代数关系。通过观察分子部分，我们可以快速判断三角形的形状：若 b² + c² - a² > 0，则角A为锐角；若等于0，则为直角；若小于0，则为钝角。
为了全面理解余弦定理，我们提供了三种经典的证明方法：几何法、向量法和坐标法。每种方法都有其独特的逻辑美感，建议读者逐一研读。
这是最直观的证明方法，适用于初中及高中基础阶段。
利用向量的数量积（点积）性质，这是高中数学中最为简洁优美的证明方法。
建立平面直角坐标系，利用两点间距离公式进行代数推导。
余弦定理的应用极其广泛，主要解决两类基本问题：已知两边及夹角求第三边（SAS）；已知三边求角（SSS）。以下通过具体案例进行解析。
题目：在△ABC中，已知a=5, b=7, C=60°，求c。
解析：直接使用余弦定理公式 c² = a² + b² - 2ab·cosC。
c² = 25 + 49 - 2×5×7×cos60° = 74 - 35 = 39。
故 c = √39。
题目：在△ABC中，a=3, b=4, c=6，求最大角。
解析：大边对大角，c最大，故角C最大。使用变形公式 cosC = (a² + b² - c²) / 2ab。
cosC = (9 + 16 - 36) / 24 = -11/24。
故 C = arccos(-11/24) ≈ 117.3°。
题目：若 a² + b² < c²，判断△ABC形状。
解析：由余弦定理 c² = a² + b² - 2ab·cosC 可知，若 a² + b² < c²，则 -2ab·cosC < 0，即 cosC > 0？不对，推导如下：c² - (a²+b²) = -2ab·cosC。若 c² > a²+b²，则 -2ab·cosC > 0，因ab>0，故cosC < 0，C为钝角。三角形为钝角三角形。
在航海、测绘和土木工程中，余弦定理常用于计算不可直接测量的距离。例如，测量河两岸两点A、B之间的距离，若可在岸边选取一点C，测得AC=b, BC=a, ∠ACB=C，则AB距离可通过余弦定理直接计算得出。
许多学生在解题时容易混淆余弦定理和正弦定理的使用场景。以下表格详细对比了两者：
| 比较项目 | 余弦定理 | 正弦定理 |
|---|---|---|
| 公式形式 | a² = b² + c² - 2bc·cosA | a/sinA = b/sinB = c/sinC = 2R |
| 适用条件 | 已知两边及夹角（SAS） 已知三边（SSS） |
已知两角及一边（AAS/ASA） 已知两边及对角（SSA） |
| 主要功能 | 求第三边、求角、判断三角形形状 | 求其他角、求其他边、求外接圆半径 |
| 多解性 | 通常无多解问题（唯一确定） | SSA情形下可能存在两解、一解或无解 |
| 与勾股定理关系 | 当C=90°时，退化为勾股定理 | 不直接退化为勾股定理，但R=c/2 |
余弦定理主要处理已知两边及其夹角求第三边，或已知三边求角的情况，它推广了勾股定理。正弦定理主要处理已知两角及一边或两边及对角求其他边角的情况，涉及外接圆半径。余弦定理适用于SAS和SSS情形，正弦定理适用于ASA、AAS和SSA情形。
可以。余弦定理适用于任意三角形。当角A为钝角时，cosA为负值，公式 a² = b² + c² - 2bc cosA 依然成立，此时 a² > b² + c²，符合钝角三角形对边最长的性质。
不需要。余弦定理对锐角、直角、钝角三角形均适用。在直角三角形中，cos90°=0，公式退化为勾股定理 a² = b² + c²；在锐角三角形中，cosA>0，a² < b² + c²；在钝角三角形中，cosA<0，a² > b² + c²。
可以记忆口诀：“平方和减积，余弦倍乘积”。即：一边的平方等于另外两边的平方和，减去这两边乘积的两倍再乘以夹角的余弦。或者联想向量模长公式 |a-b|² = |a|² + |b|² - 2|a||b|cosθ。
在物理中，余弦定理常用于力的合成与分解。例如，两个力F1和F2夹角为θ，合力F的大小可以通过 F² = F1² + F2² - 2F1F2cos(180°-θ) 计算（注意向量夹角与三角形内角的区别，通常合力公式为 F² = F1² + F2² + 2F1F2cosθ，这里θ为两力夹角，若构成三角形则为补角关系）。