余弦定理的推导过程-余弦定理推导过程

余弦定理这东西，在几何课本里是死板定义，但在画图纸、算账房的时候，它就像个老cid一样，总能把你绕晕又把你带回来。大量人一看到公式 $cos = frac{b^2+c^2-a^2}{2bc}$，第一反应就是公式，认定它是公式。但这话没毛病，公式是结论。真正的费事在于，你如何想到要把它拆解开，又是如何把它变成如此个形状。 先说个最好办的场景。假设你手里有一张三角形纸片，上面标了三条边，$a, b, c$。
你想算角 $alpha$ 的余弦值。
要是你拿剪刀把角 $alpha$ 剪下来，放在量角器上，那量角器上的角度就是 $cos$ 的定义。但在纸片上量角器没得用，你得用手比划，用三角尺，要么干脆用尺子去量三边的长度。你量出 $a, b, c$ 后，直接去凑公式里的数字，感觉像是在做一道纯代数题，却忘了这题背后有个几何的灵魂。 你看，余弦定理实际上是把“边长”和“角度”这事儿给焊死在一个公式里了。它告诉我们，一个三角形的形状，只是靠三条边就能定下来。
这个结论充足震撼，但一旦你把它拆细，你会发现，每个系数都有来有往的道理。 拿 Stewart 定理来举个例子吧。想象一个梯子靠在墙上，梯子顶端离脚底 $a$ 米，底下的延伸局部长度 $b$，梯子顶端离墙根水平距离 $c$。梯子顶端那个角，我们叫它 $alpha$。
这题的解法，核心在于把脚底下的那个直角三角形切分一下。你不管它是直角三角形还是等腰三角形，先画一条辅助线，把 $alpha$ 夹在两个直角三角形中间。
这时候，你手里的 $a, b, c$ 就变成了直角边要么斜边的一局部。你会发现，大量复杂的几何路径，最终都化简成了代数式的加减。 再换个角度。大家都喜爱用向量算东西，出于向量加法有几何意义，万无一失。向量 $AB$ 加上向量 $BC$，结局就是向量 $AC$。在三角形里，向量 $vec{AB} + vec{BC} + vec{CA} = vec{0}$。
要是你把这三个向量分别点乘，再整理一下，会发现所有向量互相抵消了，最终只剩下一条跟 $vec{AC}$ 相关的项，要么跟 $vec{AB} cdot vec{BC}$ 相关的项。
这一步，实际上就是在推导公式。当 $n$ 维向量都在平面里的时候，你看这个逆向推导的过程，是不是比死记硬背公式要顺眼多了？向量旋转，就像时钟走指针，顺时针转 90 度，坐标公式里有个 $1$，逆时针转 90 度，有个 $-1$，正号负号也就出来了。 实际上，余弦定理的本质，就是处理“两个向量夹角”的代数运算，只是最终落到了边长这一层。
要是你在三维空间里，三个向量 $vec{AB}, vec{BC}, vec{CD}$ 也能组成一个三角形，那它们的点积关系依然知足这种逻辑。只是到了二维，空间被压缩了，只剩下两个方向在打架，剩下的那个方向（垂直于 $alpha$ 的方向）就彻底消亡了。 举个具体的例子吧。设 $a=7, b=5, c=9$。直接代入公式：$b^2 = a^2 + c^2 - 2ac cos alpha$。算起来，$25 = 49 + 81 - 2 times 7 times 9 times cos alpha$。先把右边加起来的常数加起来，$49+81=130$。目前方程变成 $25 = 130 - 126 cos alpha$。两边消消减，$126 cos alpha = 130 - 25$，也就是 $126 cos alpha = 105$。最终一步得求 $cos alpha$，那就是 $105 / 126$。算出这个分数，再化简成小数，大约等于 $105/126 approx 0.833$。 算出来 $cos alpha$ 是正值，说明 $alpha$ 是个锐角。
要是算出来是负数，那就是个钝角。
这个结局对不对？你能够拿尺子量角器复现一下，看看是不是确实那样。
有时候直觉会骗人，比如看到三角形看起来挺尖的，当作角度小余弦就大，但有时候边长极长，三角形扭曲了，角度反而大余弦还小。
故此，公式算出来的数，务必拿去量，才能验证明确无误。 还有，余弦定理还能用来求最短路径要么最省材料。
比如你想在墙角切一个最大的正方形，要么求三角形面积时，用公式 $S = frac{1}{2}bc sin alpha$ 求正弦，再平方开根号，要么直接用边的关系求。
实际上，大量几何难题，核心就是如何找准那个角 $alpha$，然后如何把它算出来。余弦定理就是那个终极工具，它能把角度难题变成边长难题，把复杂的几何构型变成好办的代数计算。 最终说句心里话，学这个公式，有时候确实挺费劲的。它不像勾股定理那样，一出现直角就秒杀一切。余弦定理是个“大杂烩”，它包含了射影定理、平行四边形法则的变体，就连向量点积的几何意义。
你看到这个公式，别急着用计算器算了，试着去理解每一个数字是如何从几何里蹦出来的。当你把公式拆解成一个个小故事，就像讲故事一样讲边长、讲角度、讲向量，你会发现，原来数学不是冷冰冰的符号堆砌，而是无数种几何行为在背后的逻辑。 不过话说回来，不管推导过程有多曲折，最终你要记住的是：三角形三条边定角，这是客观事实。公式只是记录这个事实的语言。下次再看到这 $b^2+c^2-a^2$ 一坨数字，你就知道它不是魔法，而是边长与角度之间那条最诚实的契约。