三面角余弦定理图解-三面角余弦图解

三面角余弦定理算出来的结局，在纸上看着挺抽象的。我刚刚特意拿个坐标纸，把那个三棱锥的四个顶点给标出来，连起来画个图，发现它和一般/平平的平面三角形简直有点啥毛病。平面三角形的余弦定理，边长和角度是一一对应的，但三棱锥多了个维度，角和边的关系仿佛就说不清了。我找了几组数据，对着算，发现公式里的左边那个 $cos A$，它代表的不是平面里那个角，而是三棱锥里那个角。但这玩意儿偏偏不寻常，它和平面三角形里的角可没啥直接关联，就连有时候，算出来的 $cos A$ 值会跑到 $-1$ 到 $1$ 之间随意飘。
这立马就让人懵圈了，难道三棱锥里还能凭空变出个角度吗？ 我试着在脑子里重构一下过程。就拿个最好办的例子，想象一个正四面体。四个面都是等边三角形，边长全是 $1$。
那顶点的角全相等，对吧？正四面体嘛，每个角都是 $60$ 度。用公式算一遍。$cos 60$ 等于 $0.5$。代入公式左边，就是 $cos A$。右边呢？是三个边长的平方加起来，减去第三个边长的平方，再除以 $4$，然后开根号。三个 $1$ 的平方加起来是 $3$，减个 $1$ 剩 $2$，开根号是 $sqrt{2}$，再除以 $4$，还是 $frac{sqrt{2}}{4}$。
什么的，这不就是 $0.35$ 左右吗？
如何不对？$0.5$ 不等于 $0.35$。 这哪儿不对劲？我重新检查一下公式。
哦，对了，公式的分母不是 $4$ 吗？对于正四面体，四个面都是全等的正三角形。展开图里，把底面三角形放正中间，把三个侧面三角形折起来，它们围成一圈。
这时候，侧面三角形的高和底面三角形的高，实际上就是 $frac{sqrt{3}}{2}$。根据勾股定理，侧面三角形斜边（也就是棱长 $1$）的平方，等于底面三角形底边（$sqrt{3}$）的平方加上高的平方。$sqrt{3}^2 + h^2 = 1^2$，算出 $h$ 确实是 $sqrt{frac{2}{3}}$。
那 $cos A$ 如何算呢？夹在两个侧面的角，实际上就是这两个侧面三角形的高互相垂直。用勾股定理，棱长平方等于两个高平方 $h^2$ 加上高乘高的 $h^2$。$sqrt{2} = h^2 + h^2 = 2h^2$，故此 $h^2 = 0.5$。再代回余弦定理的式子，$4h^2 = h^2 + h^2$，也就是 $2 = 2$。公式右边是 $frac{h^2 + h^2}{h^2} = 2$。啊！我刚刚算错了，公式右边应当是 $frac{h^2 + h^2}{h^2}$，也就是 $2$。
那左边 $cos A$ 算出来是 $frac{1}{2} times 2 = 1$？不对，角度是 $60$ 度，余弦应当是 $0.5$。我搞混了左右位置要么数值。重新推导：$A$ 是侧面和侧面的夹角吗？不，正四面体的四个角相等。公式右边展开：$a^2 = b^2 + c^2 - 2bc cos A$。$1 = 1 + 1 - 2(1)(1)cos A$，解得 $cos A = 0.5$。
对，算出来确实等于 $0.5$。
那 $2$ 是啥？是 $frac{1}{2}$ 乘以 $4$。公式里的分母是 $2bc$，这里 $b=c=1$，故此分母是 $2$，分子是 $0.5$，结局是 $0.25$？不对。$cos 60 = 0.5$。$frac{1}{2} - 2^{-2} times 2 times 2 times 2^{-2} dots$ 算了，别用那种复杂推导了。 换个角度，自己用向量法。设 $A$ 为原点，$AB$ 沿 $x$ 轴，$AC$ 沿 $y$ 轴。设 $B=(1, 0, 0)$，$C=(0, 1, 0)$。设 $D=(x_0, y_0, z_0)$。$BD=1$，$CD=1$。
那 $x_0^2 + y_0^2 + z_0^2 = 1$，$x_0^2 + (y_0-1)^2 + z_0^2 = 1$。两式相减，$y_0 - 1 + 1 - 2y_0 = 0$，得 $y_0 = 0.5$。代入 $x_0^2 + 0.25 + z_0^2 = 1$，得 $x_0^2 + z_0^2 = 0.75$。向量 $vec{AB}$ 是 $(1, 0, 0)$，$vec{AD}$ 是 $(x_0, 0.5, z_0)$。夹角 $theta$ 知足 $vec{AB} cdot vec{AD} = |vec{AB}| |vec{AD}| cos theta$。点积是 $x_0$。模长是 $sqrt{x_0^2 + 0.25 + z_0^2} = 1$。
故此 $cos theta = x_0$。
这说明 $x_0$ 的值取决于 $D$ 点在哪。
要是 $D$ 在 $z$ 轴正方向移动，$x_0$ 就变小了。当 $D$ 点上移一点点，$x_0$ 变小，$cos theta$ 变小，角度变大。
这证明白三棱锥的角和边长确实有这种动态变化关系。 再举个具体的例子。假设我们固定 $A, B, C$ 三点构成一个边长为 $1$ 的等边三角形。
后来 $D$ 点往上走了，让 $angle ADB$ 变大，从 $90$ 度变成 $120$ 度。
这时候 $cos theta$ 从 $0$ 变成 $-0.5$。根据公式，三棱锥的边长平方和减去第三个边长平方，再除以 $2$，最终开根号。算出来就是 $-0.5$。
这意味着我们要取个负数开根号，这在实数范围内不中。
什么的，公式右边是 $frac{a^2 + b^2 - c^2}{2ab}$。
要是算出来是负数，说明这个三棱锥不存有，要么是实射影几何里的概念？不对，欧几里得空间里，三个向量两两垂直？不，这里是任意三棱锥。啊，我想起来了。
这个公式只适用于四个面都是锐角三角形要么有一个角是钝角的情况？不对，正四面体里角是 $60$ 度，余弦是正数，没难题。
那啥时候会出现负数？要是算出来的结局小于 $-1$，那是物理上不可能的，说明构型不存有。但要是算出来是个负数，比如 $-0.5$，那对应的角度是 $120$ 度。
这彻底合理。 再找找有没有重复要么乱套的地方。我刚刚在正四面体的例子里，算出 $cos A = 0.5$，而通过向量投影算出了 $cos theta = x_0$。
这两个 $x_0$ 是一样的吗？在正四面体里，$x_0$ 应当是 $frac{sqrt{3}}{4}$ 吗？不对，向量 $vec{AC}$ 是 $(0, 1, 0)$，$vec{AD}$ 是 $(x_0, 0.5, z_0)$。点积是 $0.5$。模长都是 $1$。
故此 $cos theta_{ACD} = 0.5/1 = 0.5$。
对，正四面体每个面都是等边三角形，故此每个角都是 $60$ 度。向量法里的点积直接就是夹角的余弦值了。 那公式本身到底长啥样？我认定应当拆解成两局部看。一局部是直角边，一局部是斜边。在三棱锥里，从一个顶点出发的两条棱，和它们构成的底面三角形，这三种关系实际上挺微妙。
不是好办的勾股定理。我有点揪心自己把公式背得死记硬背，害得理解偏差。
是不是要换个思路？比如用面积？把四面体分成两个小三棱锥，要么切成三块。 算了，别纠结公式推导细节了，重点在于“感觉”。三棱锥的余弦定理，仿佛就是把三棱锥的三条棱，当成一个平面三角形的三边，用余弦定理算出来的那个值，再乘以一个系数，就变成了那个三棱锥里对应角的余弦值。
这个系数是啥？我认定是 $2$。就是 $Area_{triangle} = frac{1}{2} times 2 times text{edge_cosine}$。
这样理解仿佛通顺多了。 最终再确认一下那些数据。
比如正四面体，边长 $1$，角 $60$，余弦 $0.5$。公式右边：$frac{1+1-0.5}{2}$？不对，公式是 $frac{a^2+b^2-c^2}{2ab}$。$a=b=1, c=1$（面对棱）。$frac{1+1-1}{2} = 0.5$。对上了。
那面对棱如何算？边长 $1$，夹角 $60$，高是 $sqrt{3}/2$。面积是 $frac{sqrt{3}}{4}$。公式左边是 $0.5 times$ 面积？$frac{sqrt{3}}{8}$。而 $a^2+b^2-c^2$ 算出来是 $0.5$。$0.5 / 1 = 0.5$。仿佛不对。我可能把公式里的 $c$ 搞混了。公式里 $c$ 是那条面对棱，也就是两个面的公共边。在正四面体里，所有边长都是 $1$。
故此 $a=b=c=1$。
那 $cos A = 0.5$。公式右边 $frac{1+1-1}{2} = 0.5$。彻底吻合。 还有没有其他情况？要是一个角是钝角。
比如一个顶点，两条棱长 $1, 1$，夹角 $120$ 度。
那第三条棱长是多少？$x^2 = 1^2 + 1^2 - 2(1)(1)cos 120 = 2 - 2(-0.5) = 3$。棱长是 $sqrt{3}$。
那 $cos A = -0.5$。公式右边：$frac{1+1-3}{2} = -0.5$。还是对的。
看来这个公式确实能在各种角度下都成立，只要算出来的结局在 $[-1, 1]$ 之间。 不过，这个公式忒神奇了。四个面都是锐角三角形的四面体，角只能是锐角；要是有一个面是钝角，对应的角就是钝角；要是三个面都是钝角，那对应的角就是钝角。
这就像三棱锥的“形状”直接拍板角度的取值范围。
这也解释为啥正四面体的角一辈子都是锐角，出于没有哪种三棱锥能凑出四个面都是直角三角形，要么三个面都是钝角的情况。 最终总结一下，这个定理实际上就是说，三棱锥的“边长余弦”，本质上就是平面三角形的“边长余弦”，只是多了一层 $2$ 的缩放。
这听起来有点怪，出于三棱锥不是平面图形。但数据对得上，向量对得上，正四面体验证对得上，说明这个公式是靠谱且自洽的。
只要看到这个公式，哪怕公式本身写得再绕，只要信任它，就能解释那些怪的数据和角度变化。 对了，再想想能不能举个更生活化的例子。
比如装修房子，看墙角。
要是你站在墙角，看两个相邻墙面和地面，构成的角。
那这就是个三棱锥模型。地面角是 $90$ 度，侧墙和地面角也是 $90$ 度。顶角是多少？$90$ 度？不对，顶角是 $90$ 度吗？三个 $90$ 度角，那就是长方体了。顶角是 $90$ 度的话，$cos 90 = 0$。公式右边：$frac{1+1-1}{2} = 0.5$？不对。
要是是长方体的一个顶点，棱长 $1, 1, 1$。$cos 90 = 0$。公式里 $c$ 取啥？取面对角线 $sqrt{2}$？$frac{1+1-2}{2} = 0$。对！要是公式里的 $c$ 是面对角线，那就能解释 $90$ 度角的余弦是 $0$。但这跟三棱锥定义有点出入。三棱锥的角是指三条棱的夹角，不是面对棱的夹角。 算了，还是回到原始数据。正四面体，边长 $1$，角 $60$，$cos 60 = 0.5$。公式右边 $frac{1+1-1}{2} = 0.5$。完美。
那要是是正四面体的对棱，夹角是 $60$ 度吗？不对，对棱垂直吗？正四面体的对棱是垂直的。
那夹角是 $90$ 度？$cos 90 = 0$。公式右边：取对棱长 $sqrt{2}$？$frac{1+1-2}{2} = 0$。还是对上了。
看来这个公式的右边，分子上的 $c$，实际上就是在选哪两条棱结合，还是选哪三条棱。
不管怎么着，公式的结构就是稳固的，数据也是对上的。 总而言之，三棱锥余弦定理不是啥教科书上冷冰冰的定义。它是个活的东西，数据跑动，角度变化，公式跟着变。
只要你不被那些复杂的推导吓倒，好好看看那个 $frac{a^2+b^2-c^2}{2ab}$ 到底在算啥，就能明白它到底管着哪个角。
这就是三棱锥的魅力所在，它把高维空间的几何关系，压缩成如此个整数除以分子的公式里。