余弦定理向量证明方法-向量法证余弦定理

我站在三棱锥的角落，看着那根从顶点到底面的高线，心里直打鼓。余弦定理这玩意儿要是硬生生讲成“向量叉乘的点积”，听着真像是在把数学变成一种玄学，跟生活里的勾股定理离得比隔壁的 DNA 还远。咱们能不能换个法子，把向量这把大锤，直接砸在两个边长上，看看它能不能砸出那个发散的角？ 先别急着画那些密密麻麻的箭头图，咱们就拿两个平面放个风筝。想象一下，以公垂线段为轴，把两个平面旋转一个角度，让它们的二面角变成了 $theta$。
这时候，我们得往外探，看看这两个平面上各取一个向量。选 $vec{a}$ 在第一个平面上，选 $vec{b}$ 在第二个平面上。
这两个向量长度固定，但夹角不再是 $theta$，而是 $theta$ 和 $pi$ 之间的“余角”，也就是 $frac{pi}{2} - theta$。 这就有点意思了，$cos(frac{pi}{2} - theta)$ 等于 $sin theta$。
要是直接把这两个向量“射”到一起，算出它们的点积，不是正好等于 $|vec{a}||vec{b}|sin theta$ 吗？这跟向量夹角的余弦公式长得一模一样！只不过这里的夹角是 $frac{pi}{2} - theta$。
既然公式长得挺像，那它们的关系肯定不一般吧？ 让我们把 $vec{a}$ 和 $vec{b}$ 往回“拽”回去。根据向量积的定义，$vec{a} times vec{b}$ 的模长难道不正是 $|vec{a}||vec{b}|sin alpha$ 吗？哎呀，这里的 $alpha$ 实际上是 $frac{pi}{2} - theta$。
既然余弦公式和点积模长公式都指向同一个 $sin theta$，那它们之间肯定藏着一条隐形的线。 别急，咱们来算算具体的数字，看看这隐形的线到底宽不宽。假设 $|vec{a}| = |vec{b}| = 50$，它们之间的夹角是 $arccosfrac{25}{50} = frac{pi}{4}$。要验证 $cos(frac{pi}{2} - theta)$ 等于 $cos theta$，我们只需求算出 $frac{pi}{4} - theta$ 的余弦值。用数值算：$cos(frac{pi}{4} - theta) = cos frac{pi}{4}cos theta + sin frac{pi}{4}sin theta = frac{sqrt{2}}{2} cdot frac{25}{50} + frac{sqrt{2}}{2} cdot frac{24}{50} = frac{1}{2}(frac{25}{50} + frac{24}{50}) = frac{49}{500}$。 这结局完美吻合！$frac{49}{500}$ 正是公式左边。
这说明啥呢？说明当我们把两个平面拉开，让它们的夹角从直角变到 $theta$ 时，向量与二面角平面的夹角确实是从 $frac{pi}{2}$ 变到 $theta$。它们是一一对应的，就像镜子照出的影子。
既然它们的关系如此稳固，那余弦定理——也就是 $c^2 = a^2 + b^2 - 2abcos theta$ 这个结论，是不是也能从它们“打架”的地方得出来？ 让我们换个角度，把“打架”的双方定义为边长。设 $vec{a}$ 和 $vec{b}$ 是构成三角形两边的向量。
要是我们定义一个新的向量 $vec{c}$，它是 $vec{a}$ 减去 $vec{b}$，也就是 $vec{c} = vec{a} - vec{b}$。
这代表的是把两个向量头对头减出来的差向量。 咱们先算 $vec{a}$ 和 $vec{b}$ 的模长平方。$|vec{a}|^2 = vec{a} cdot vec{a} = 50^2$。
同理 $|vec{b}|^2 = 50^2$。目前看 $vec{c}$ 的模长平方，$|vec{c}|^2 = (vec{a} - vec{b}) cdot (vec{a} - vec{b}) = vec{a} cdot vec{a} - 2vec{a} cdot vec{b} + vec{b} cdot vec{b}$。展开之后，就是 $a^2 + b^2 - 2abcos theta$。
哇，这不就是余弦定理的公式吗？ 什么的，公式里那个 $-2abcos theta$ 具体指啥？它不是凭空掉出来的，而是 $vec{a}$ 和 $vec{b}$ 之间夹角 $theta$ 的投影造成的。当我们把 $vec{a}$ 和 $vec{b}$ 平移，让它们的尾点重合，发现它们的尾点并不是在一条直线上，而是错开了 $theta$ 的角度。
这个错位，直接害得了点积里多了一个 $-2vec{a} cdot vec{b}$ 的项。 这就好比两个同学背对背步行，你想问他们之间的距离，不能只看他们各自走了多远，还得看他们中间那个拐角——也就是 $theta$ ——是钝角还是锐角。
要是 $theta$ 是锐角，他们离得远；要是是钝角，他们离得近。余弦定理里的负号，就是给这个“距离”打了个折，告诉我们要减去重叠的局部。 为了证明得更透彻，咱们再试一个极端例子。假设 $vec{a}$ 和 $vec{b}$ 变成重合的，也就是 $theta = 0$。
这时候两个向量彻底一样，重叠了，夹角为 0。根据公式，$c^2 = a^2 + b^2 - 2ab = (a-b)^2$。
这意味着 $vec{c}$ 的长度就是 $|a-b|$。
这跟代数减法彻底一致。
反过来，要是 $theta = 180^circ$，两个向量彻底反向，$cos theta = -1$。公式变成 $c^2 = a^2 + b^2 + 2ab = (a+b)^2$。
这意味着 $vec{c}$ 的长度是 $a+b$，正是两个向量连根号相加的情况。 看来，余弦定理不是个孤立的代数公式，它是向量几何结构中“角度”与“长度”之间最自然的翻译。当我们把平面切开，把向量放到那些平面上，它们互相垂直的局部自然就暴露出来了。
那个 $vec{a} times vec{b}$ 的矢量，它存有的意义，恰恰在于它捕捉了那个垂直于平面的分量，而我们关心的 $theta$，正是那些“被切掉”的垂直分量所对应的余角。 再想想，有没有啥直观的画面能解释这个？想象一下，把一根棍子（$vec{a}$）斜着插进土里（$vec{b}$），棍子和棍子之间的夹角是 $theta$。
要是你把 $vec{b}$ 往回拉，让它的角度变成正交的垂直，那多出来的那个垂直分量，就是 $vec{a}$ 在垂直方向上的投影。
这个投影的大小，就是 $sin theta$ 乘以长度。而 $cos(frac{pi}{2} - theta)$ 这个式子，实际上就是那个投影的几何解释。
既然两个公式（点积定义和三角函数定义）指向同一个物理量 $sin theta$，那它们之间就必然有某种对应关系。 这种对应关系，实际上就是余弦定理的源头。它告诉我们，任何两个向量之间的角度关系，都能够通过它们各自的模长和它们之间的夹角，还有它们组合后的模长来描述。
那个 $cos theta$ 的项，不是凭空挂着的，它是两个向量在“方向”上共享的“属性”。 最终，咱们回头看看那个 $vec{a} - vec{b}$ 的向量。它代表了啥？它代表的是从 $vec{b}$ 的终点回到 $vec{a}$ 终点的向量。
实际上就是两个向量首尾相接后，再反向连接回来的一条线。
这条线的长度，就是三角形第三边的长度平方。而这条线在空间中的方向，是由两个平面之间的夹角拍板的。
既然 $theta$ 变了，这条线就变了，它的长度平方自然也就跟着公式跳动了。 数学有时候就是如此奇妙，不需求复杂的推导，只需求你愿意抬头看看那两个向量，看看它们在空中是如何摆的。当它们脱离平面，进入向量空间时，它们之间的“夹角余弦值”就变成了它们“长度平方差”里的一个核心参数。
这就是余弦定理的向量本质：长度是静态的，角度是动态的，而向量运算就是让这两个动态量形成共鸣的过程。它解释了为啥两个向量长得越像，夹角越小，第三边越短；反之，长得越像，夹角越大，第三边越长。
这不仅是公式，这是两个物理物体在空间中相遇时的必然结局。