范文

叙述并证明余弦定理，3种证明方法和2个典型应用例题详解

望魁教育 2026-08-17

余弦定理的通俗解读：从“斜边平方”到“夹角余弦”

嘿，哥们儿，咱们今天来唠唠余弦定理这事儿。你想想，初中时候学的勾股定理 a²+b²=c²，那是在啥情况下成立的？——直角三角形！可现实世界哪有这么听话，很多情况都是斜的，比如你开车拐弯、工程测量、甚至游戏里计算角色朝向，都离不开斜三角形。余弦定理就是解决这类问题的万能钥匙，它把直角三角形的边长关系推广到了任意三角形，堪称几何界的“瑞士军刀”。别看公式看着吓人 c²=a²+b²-2ab cosC，其实拆解开特别直观，就像给勾股定理加了个“修正项”。

余弦定理的核心公式与直观理解

先给公式正脸看看：

c² = a² + b² – 2ab cosC

这里 a、b 是两条邻边，c 是对边，C 是夹角。咱们用大白话拆解一下：

基础项：a²+b²就是最朴素的勾股定理形式，代表两股的平方和
修正项：-2ab cosC 这个负号很关键，它说明当角C变大时（接近180°），余弦值变小，最终导致c²会减小。想象下，边构成一条直线时，c=0，但a+b肯定比c大啊！
极端情况：当C=90°时，cos90°=0，公式就退化成c²=a²+b²，这不就是勾股定理嘛！

我以前画图解释这个，发现一个绝妙的比喻：cosC就像“拥挤系数”——角越大，两边越挤在一起，这条对边c就越短，所以要减掉一部分。

三种经典证明方法：各有侧重，但本质相通

方法一：坐标法（物理系最爱）

想象在笛卡尔坐标系里，把点A放在原点(0,0)，点B放在(1,0)（长度单位为1）。那么点C的坐标就是(cosC,sinC)，因为三角函数本来就是这样定义的。现在用距离公式算AC和BC：

AC² = (cosC-0)² + (sinC-0)² = 1

BC² = (cosC-1)² + (sinC-0)² = 1 – 2cosC + 1 = 2 – 2cosC

把BC²代入c²的表达式，立马就得到c²=1+1-2cosC=2-2cosC，这不就是c²=a²+b²-2ab cosC嘛！

方法二：旋转法（几何狗的绝活）

这个方法特别巧妙，适合证明三角恒等式。假设有任意三角形ABC，延长BC到D，使得BD=BA=a。然后观察∆ABD和∆ACD：

在∆ABD中，AD² = AB² + BD² – 2×AB×BD×cos∠ADB

在∆ACD中，AD² = AC² + CD² – 2×AC×CD×cos∠ADC

注意∠ADB和∠ADC是同一个外角，所以AD²相等！把两个等式相减，马上消掉AD²，得到：

AB² + BD² – AC² – CD² = 2×AB×BD×cos∠ADB – 2×AC×CD×cos∠ADC

但BD=BA=a，CD=BC=b，而且∠ADB=180°-C，所以cos∠ADB=-cosC！代入后整理就得到标准形式了。

方法三：向量法（工科生的最爱）

设向量AB=a，向量AC=b，那么向量BC=b-a。根据向量点积：

BC·BC = (b-a)·(b-a) = b·b – 2b·a + a·a

因为向量长度平方就是模长平方，所以b·b=b²，a·a=a²，而向量点积b·a=|b||a|cosA=ab cosA。但∠A和∠C是互补的，所以cosA=-cosC！

所以BC² = a² + b² – 2ab cosC，这不就出来了？向量法特别厉害的地方在于，它把边长和角度统一到同一个计算框架里，特别适合计算机图形学等领域。

唯一性信息对比：三种方法的适用场景

我帮大家整理了对比表格，看看哪种方法最顺手：

方法	优点	缺点	适用场景
坐标法	直观，适合初学者	需要建立坐标系，有点繁琐	物理题，坐标几何题
旋转法	几何美感强，能推导更多恒等式	需要较强的几何想象力	奥数题，几何竞赛
向量法	通用性强，适合计算机应用	需要向量基础	图形学，工程计算

两个典型应用：从导航到游戏开发

例题1：GPS导航中的距离计算

假设你的手机收到三个基站信号，知道它们的位置分别是A(0,0)、B(5,0)、C(3,4)，而你的位置P的坐标是(2,3)。怎么算你到基站A的距离最短？

解法步骤：

计算∆ABP的边长：AB=5，BP=√(2²+3²)=√13，AP=√(2²+3²)=√13
用余弦定理求∠B：cosB = (AB² + BP² – AP²) / (2×AB×BP) = (25+13-13)/(2×5×√13) = 25/(10√13) ≈ 0.69
∠B≈43.6°，所以∠APB=180°-43.6°=136.4°
最后用正弦定理算AP：AP = AB×sinB/sin(∠APB) = 5×sin43.6°/sin136.4° ≈ 4.12km

例题2：游戏中的角色朝向计算

假设你的游戏角色在坐标(100,100)，现在要朝向另一个玩家在(150,120)的位置。怎么计算朝向角度？