余弦定理向量推导过程-余弦定理向量推导过程

在高中数学的坐标系版本里，我们先把边长当成向量，用模长相乘、点积来算夹角。
这就叫余弦定理。但在物理要么几何直觉里，人脑挺难瞬间把“两边乘一下，减去平方和”这种公式背下来。
故此这里的推导得换个路子，把那些硬死板的符号，换成咱们手里实实在在能摸到的东西。 想象一下，我们手里拿着一把直尺，就在平面上手画两个三角形。为了搞懂余弦定理，我们得先不急着去纠结公式，而是先看看三角形到底长啥样。
要是两个三角形一样大一样方，那就全等，这没啥好说的。可要是大小不一样呢？这时候就得引入“边长”这个概念了。 咱们先把三角形放在坐标系里。设三角形的三条边分别为向量 $vec{a}$、$vec{b}$ 和 $vec{c}$，它们的模长分别是 $|vec{a}|$、$|vec{b}|$ 和 $|vec{c}|$！
注意，这里的“边长”实际上也是向量，只是方向没有限制，只要大小对就行。我们关心的是这两个向量之间的夹角，比方说 $vec{a}$ 和 $vec{b}$ 的夹角就是 $theta$。 那如何把三个向量的关系搞清楚了呢？实际上挺好办，只要知道一个向量 $vec{a}$ 加上另一个向量 $vec{b}$ 等于第三个向量 $vec{c}$，也就是 $vec{a} + vec{b} = vec{c}$。
这个等式是几何加法，就像步行一样，先走 $vec{a}$，再走 $vec{b}$，最终落在 $vec{c}$ 的终点。 咱们把这两个等式叠在一起看。
一方面有 $vec{a}$ 和 $vec{b}$ 的关系，另一方面有 $vec{a} + vec{b} = vec{c}$。把第二个等式代进去，就拿到了所谓的“向量余弦定理”的雏形：$vec{a}^2 + vec{b}^2 + 2vec{a} cdot vec{b} = vec{c}^2$。
这看起来挺顺，但数学上我们更习惯用“两边的平方”减去“中间的一点积”来描述夹角，出于这样更直观。 那 $2vec{a} cdot vec{b}$ 到底长啥样？向量点积的定义就是 $|vec{a}| |vec{b}| costheta$，这个 $theta$ 就是那两个向量的夹角。
故此整个式子就变成了 $|vec{a}|^2 + |vec{b}|^2 + 2|vec{a}| |vec{b}| costheta = |vec{c}|^2$。等式两边都有 $costheta$，能不能约掉？ 自然能够，只要 $costheta$ 不为零。
要是两个向量正好平行要么垂直，那就另当别论了；但这也不是我们要聊聊的情况。约掉之后，我们就拿到了那个熟悉的、有力量的公式：$costheta = frac{|vec{a}|^2 + |vec{b}|^2 - |vec{c}|^2}{2|vec{a}||vec{b}|}$。 这时候你会发现，这个式子简直忒像初中几何里的余弦定理了。初中学的时候，老师一直拿等腰直角三角形来举例，那是啥情况？当 $|vec{a}|$ 和 $|vec{b}|$ 是 1，$|vec{c}|$ 是 $sqrt{2}$ 的时候。
这时候算出来 $costheta = 0$，说明 $theta$ 是 $90$ 度。
这正好符合勾股定理 $1^2 + 1^2 = (sqrt{2})^2$。
这说明啥？说明我们在用向量的语言重新推导出了勾股定理！
这就更扯起来了，咱们本来是想找的是余弦定理，结局竟然顺便把直角三角形的性质也推导出来了。 为了更具体地感受这个公式的威力，咱们还是拿个实例来算。假设有一个三角形，边长分别是 3、4 和 5。
这在初中数学里是勾股数啊，直角三角形没错。
那要是我们强行把它看成两个向量，让其中一个向量模长是 3，另一个模长是 4，第三个模长是 5，那夹角 $theta$ 是多少呢？ 直接把数字代入刚刚的公式里：$costheta = frac{3^2 + 4^2 - 5^2}{2 times 3 times 4}$。算一下，分子是 $9 + 16 - 25 = 0$。分母是 $24$。结局就是 $0$。
这说明这两个向量的夹角是 $90$ 度。
那反过来想，要是夹角是 $90$ 度，我们能不能倒推回去？ 是的，要是 $costheta = 0$，那 $theta = 90^circ$，$sintheta = 1$。
这时候我们能够构造一个直角三角形，直角边是 $vec{a}$ 和 $vec{b}$，斜边就是 $vec{c}$。根据勾股定理，斜边的平方等于两直角边的平方和，也就是 $|vec{c}|^2 = |vec{a}|^2 + |vec{b}|^2$。
这不仅验证了定理，还展示了定理的几何意义。 再换个例子，要是夹角是 $60$ 度，那 $costheta = 0.5$。
这时候我们是不是会想到等边三角形？对，两个向量夹角 $60$ 度，且模长相等时，构成的三角形就是等边三角形。
那这时候两个边的平方和还比第三个边的平方大多少呢？代入公式看看：$frac{a^2 + a^2 - a^2}{2a^2} = frac{a^2}{2a^2} = 0.5$。也就是 $cos60^circ$ 等于 $0.5$。
这说明当我们知道夹角是 $60$ 度时，剩下的那个角也是 $60$ 度，三个角一样，三边一样长。
这也正是余弦定理最直观的几何解释：通过夹角把两边拼起来，看剩下的边有多长。 自然，数学推导不能只停留在“看起来像”。我们在纸上推导的时候，实际上是在做逻辑的闭环。我们从 $vec{a} + vec{b} = vec{c}$ 出发，利用点积的线性性质一步步推导出最终的结局，每一步都是严谨的数学逻辑，没有半点许下“这是常识”就如此掏空的环节。 那有没有可能在这个推导里藏着啥物理意义要么实际应用？实际上挺明确。
这就是两矢量合成的法则。
要是你有两个力，大小分别是 $|vec{a}|$ 和 $|vec{b}|$，它们之间的夹角是 $theta$，它们的合力大小 $vec{c}$ 就是 $sqrt{|vec{a}|^2 + |vec{b}|^2 + 2|vec{a}||vec{b}|costheta}$。
这比初中物理里的合力公式更通用，出于它不区分啥三角形，不管夹角是多少，都能用这个式子算出来合力的大小。 另外，关于方向的难题，余弦定理里的 $theta$ 是有向度的。夹角是锐角还是钝角，直接拍板了合力的方向。
要是 $costheta$ 是正数，合力偏向 $vec{b}$ 的方向；要是是负数，就偏向 $vec{a}$ 的方向。
这实际上就是力的分解和合成法则在数学上的体现。 咱们回头再看看那个约掉 $costheta$ 的瞬间。
这在数学上被称为“约分”要么“化简”。在代数运算里，只要两边都有相同的非零因子，就能够两边与此同时除以它。
这里的 $costheta$ 就是那个因子，之故此能约掉，是出于只要存有一个非零的 $costheta$，这个式子就必然成立。
这也侧面说明，余弦定理在角度不为 $90$ 度时是绝对可靠的。 实际上要是把三角形看成两个向量 $vec{a}$ 和 $vec{b}$ 从同一点出发，那 $vec{c}$ 就是从起点到终点的向量。虚线的那个 $vec{c}$ 是封闭的回路吗？不对，是 $vec{a} + vec{b} = vec{c}$，这是一个闭合回路。
可是要是在平面几何里画成三条线段构成三角形，中间那条虚线实际上并不是向量 $vec{c}$，而是 $vec{b} - vec{a}$ 要么类似的组合，这取决于你起点在哪儿。
不过不管怎么着，核心的数学逻辑没变：通过已知的两边长度和它们的夹角，去推导第三边的长度。 最终总结一下，这个推导过程实际上不难，难的是把它从“公式记忆”变成“逻辑理解”。当我们把 $vec{a}^2 + vec{b}^2 + 2vec{a} cdot vec{b} = vec{c}^2$ 看成 $(vec{a}+vec{b})^2$ 这种平方的展开式时，一切就都顺理成章了。平方的定义就是 $x^2 + 2xy + y^2$，直接把向量点积的关系代入，括号里全是已知条件，剩下的自然就是结局。 故此，余弦定理不是凭空出现的，它是向量代数最基础的性质之一。它连接了代数运算（点积）和几何直观（三角形、夹角）。当你真正搞懂了这个推导过程，你会发现，那个 $0.5$ 要么 $1$ 的数值，背后实际上就是那两条线段在空间里有多“亲近”要么有多“排斥”的距离关系。距离近了，夹角小，余弦大；距离远了，夹角大，余弦小。
这种距离感是几何的，而数值计算是代数的，两者完美结合，才构成了整个的数学大厦。