三面角余弦定理证明-三面角余弦定理证明

三面的角度余弦定理吧，得把它当成一种地心引力来处理，而不是那种冷冰冰的公式推导。想象一下你手里拿着一把测角仪器，站在一个角落里，看着它那个尖尖的顶点，周围有三条棱伸出去，每条棱都带着自己的长度和你们自己测出来的角度。
这时候别急着去背那种“余弦值等于其余弦平方加其余弦乘余弦”的公式，咱们直接拿个梯子爬上去，看看能不能把那个复杂的几何结构拆解成几个好办的三角形。 先别管那些复杂的向量叉乘要么行列式，咱们就拆开看。假设我们站在一个三面角 $Omega$ 的顶点 $S$ 下面，把三条棱 $OA$、$OB$、$OC$ 想象成三条不同的路，分别通向三个方向。
要是你想在 $A$ 点和 $C$ 点之间画一条连线 $AC$，这就构成了一个一般/平平的三角形 $ABC$。
这时候，你只需求知道 $AB$、$BC$、$AC$ 这三边的长度，就能算出角 $A$ 的余弦值。难题在于，当你从 $B$ 点往回看 $A$ 和 $C$ 时，你手里拿的也不是角 $B$ 的原始数据，而是那个包含了三个方向的“相对角度”。 嘿，这时候你得先把视角转回来。别当作那是好办的对顶角，那玩意儿在立体几何里忒矫情了，根本没法用。咱们得利用一个最朴素的原理：三角形内角和是 180 度。当你在三维空间里搓一只角的时候，别看它拥有三个方向，但只要你从其中任何一个方向往里看，剩下的两个方向所夹的角加起来，一辈子等于你手里那个原始角度的补角。
这就好比你在拍一张照片，把画面转到某个角度，剩下的两个方向实际上是在跟你讲同一个故事。 举个例子，假设你的原始角 $beta$ 是你站在这里，面向 $OA$ 和 $OC$ 时测得的角度。
那么，当你试着从 $OB$ 这个方向去观察 $OA$ 和 $OC$ 的时候，你看到的两个小角之和，恰好就是 $180$ 度减去 $beta$。
这听起来有点绕，但实际上就是说，你在三维世界里转个身，剩下的两个角加起来刚好把那个“缺口”补全了。
这就是为啥我们在后续步骤里，要把角 $angle AOB$ 和 $angle BOC$ 替换成 $180 - beta$。 好，目前这个替换搞定，咱们再回头看边上的数据。你在 $BC$ 边上测的角 $angle C$ 是原始角 $gamma$。换个角度，要是你从 $OA$ 这边去看 $B$ 和 $C$，你拿到的那两个小角加起来，依然等于 $180$ 度减去 $gamma$。
这就像你在三条腿的椅子上站立，别看椅子是倾斜的，但当你站在任意一条腿的另一侧时，另外两条腿形成的夹角之和，一辈子固定在那个特定值上。 目前，咱们手里有了原始角 $alpha, beta, gamma$，有了它们各自的补角，目前咱们就要把边和角结合起来了。
看那个三角形 $ABC$，角 $A$ 的余弦值到底该从哪儿算起？它得来自角 $B$ 和角 $C$。
没错，不要试图在角 $A$ 直接找余弦，那是徒劳的。你得先算出角 $B$ 和角 $C$ 的补角，然后利用余弦定理，把这两个补角对应的边长关系串起来。 举个例子，假设 $OA=3, OB=4, AB=5$。
这是一个挺经典的勾股数直角三角形，角 $A$ 的正弦值就是 $12/13$，余弦值就是 $5/13$。但在这个三面角里，角 $A$ 不是直角，而是两个非直角三角形的公共角。你要算的是角 $alpha$ 的余弦值，它实际上等于 $(AB^2 + AC^2 - BC^2)$ 除以两倍的 $AB$。
这里的 $AB$ 是第三条边，你得先算出这个边长。 如何算出 $BC$ 呢？这就回到了那个补角的关键功能。
要是你直接算 $angle BOC$，你得用 $180 - beta$ 去代入。
这时候你会发现，公式里的每一项都是原始角度的衍生。
比如 $AB$ 的长度，实际上是 $sqrt{OA^2 + OB^2 - 2 cdot OA cdot OB cdot cos(angle AOB)}$，但 $angle AOB$ 是 $180 - alpha$。
故此你会拿到 $AB = sqrt{3^2 + 4^2 + 2 cdot 3 cdot 4 cdot cosalpha}$。
这一步挺关键，出于它的符号变了，正负号在这里直接拍板了整个等式的走向。 再来看 $AC$ 边。
同理，$AC = sqrt{3^2 + 4^2 - 2 cdot 3 cdot 4 cdot cosgamma}$。
这里 $gamma$ 就是原始角。而 $BC$ 边呢？它由 $angle AOB$ 和 $angle AOC$ 拍板，也就是由 $180 - alpha$ 和 $180 - gamma$ 拍板。
故此 $BC = sqrt{4^2 + 3^2 - 2 cdot 4 cdot 3 cdot cos(180-alpha)}$。展开括号，你会发现 $cos(180-alpha)$ 变成 $-cosalpha$，这就变成了加号。 这就挺有意思了。当你把所有这些边长代入那个务必知足的三角形不等式时，你会发现，原本定义角 $alpha$ 的余弦的那个位置，目前变成了一个怪的量。它既依赖于 $alpha$，又依赖于 $beta$ 和 $gamma$。
要是你只看 $alpha$ 的原始定义，你会发现它无法由 $beta$ 和 $gamma$ 独立拍板。
这就是余弦定理在这个图形上的真面目：它不是孤立存有的，它是三个独立空间事实的粘合剂。 最终我们来看那个终极结论。把刚刚推导的所有边长和角度关系塞进那个代数式中，你会发现，那个复杂的几何结构终于简化成了一个关于原始角 $alpha$ 的表达式。别看过程看起来像是在解一个世纪前的谜题，但每一步逻辑都环环相扣，没有一步是凭空捏造的。角 $alpha$ 的余弦值，确实是 $frac{a^2 + b^2 - c^2}{2ab}$ 那种形式，只不过这里的边 $a, b, c$ 不是我们直觉里的那个直角三角形的边，而是经过 $180$ 度补角转换后的立体空间边长。 要是你非要问，为啥这个公式在三维里会变样？出于三维空间多了那个“旋转”的维度。你在平面里转个身，角度不变；但在立体里转个身，角度关系就变了。
那个补角原理就是解决这种变化病的关键钥匙。它告诉我们，甭管你如何旋转你的视角，那些“互补”的角加起来一直那个常数，这就像是一个宇宙的守恒律，体目前每一个三条棱交汇的顶点上。 故此，别再去纠结于那些繁琐的多重积分要么无穷级数展开了，那才是物理学家的游戏。对于凡人嘛，我们只需求理解这个好办的几何直觉：当你把三个独立的角拼在一起时，它们之间的连线长度，实际上是被这三个角“扭曲”过的。
那个看似神秘的余弦定理，实际上就是那个扭曲程度的度量。它告诉我们要信任光，也要信任这个结构，哪怕它看起来离我们的直觉挺远。