余弦定理向量推导过程 · 深度站
余弦定理向量推导过程 · 从几何直觉到代数闭环
把边长当成向量，用模长相乘、点积算夹角 —— 这就是余弦定理的向量语言。彻底理解它，你就能自由穿梭于几何与代数之间。
✦ 向量推导：从加法到余弦公式
在高中数学的坐标系版本里，我们先把边长当成向量，用模长相乘、点积来算夹角。这就叫余弦定理。但在物理要么几何直觉里，人脑挺难瞬间把“两边乘一下，减去平方和”这种公式背下来。故此这里的推导得换个路子，把那些硬死板的符号，换成咱们手里实实在在能摸到的东西。
? 直观起点：向量加法三角形
设三角形的三条边分别为向量 $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}|}$。
✦ 实例验证 & 勾股巧合
? 3-4-5 直角三角形
直接把数字代入刚刚的公式里：$costheta = frac{3^2 + 4^2 - 5^2}{2 times 3 times 4}$。算一下，分子是 $9 + 16 - 25 = 0$。分母是 $24$。结局就是 $0$。这说明这两个向量的夹角是 $90$ 度。这也正好符合勾股定理 $1^2 + 1^2 = (sqrt{2})^2$。
? 等边三角形 60°
要是夹角是 $60$ 度，那 $costheta = 0.5$。这时候我们是不是会想到等边三角形？对，两个向量夹角 $60$ 度，且模长相等时，构成的三角形就是等边三角形。代入公式：$frac{a^2 + a^2 - a^2}{2a^2} = 0.5$。这也正是余弦定理最直观的几何解释。
? 物理合力合成
要是你有两个力，大小分别是 $|vec{a}|$ 和 $|vec{b}|$，它们之间的夹角是 $theta$，它们的合力大小 $vec{c}$ 就是 $sqrt{|vec{a}|^2 + |vec{b}|^2 + 2|vec{a}||vec{b}|costheta}$。这比初中物理里的合力公式更通用，出于它不区分啥三角形，不管夹角是多少，都能用这个式子算出来合力的大小。
? 深入推导：约掉 cosθ 的逻辑
咱们回头再看看那个约掉 $costheta$ 的瞬间。这在数学上被称为“约分”要么“化简”。在代数运算里，只要两边都有相同的非零因子，就能够两边与此同时除以它。这里的 $costheta$ 就是那个因子，之故此能约掉，是出于只要存有一个非零的 $costheta$，这个式子就必然成立。这也侧面说明，余弦定理在角度不为 $90$ 度时是绝对可靠的。
⏳ 余弦定理·认知时间轴
? 古希腊 · 欧几里得几何
《几何原本》中已有相当于余弦定理的命题，但用纯几何表述，未出现三角函数。
? 16世纪 · 三角学独立
韦达等数学家将定理用余弦表达，但尚未与向量结合。
⚡ 19世纪 · 向量代数诞生
哈密顿、吉布斯等人发展向量分析，余弦定理自然融入点积运算。
? 现代 · 物理与工程
从力学合成到信号处理，余弦定理的向量形式成为标准工具。
??? 网友们还关心
? 点积为什么是 $|vec{a}||vec{b}|costheta$？
从投影角度理解：一个向量在另一个向量方向上的投影长度乘以另一个向量的模长。这也直接连接了余弦定理中的夹角项。没有点积，向量推导就失去了代数灵魂。
- 代数定义：$vec{a}cdotvec{b}=a_1b_1+a_2b_2$
- 几何定义：$|vec{a}||vec{b}|costheta$
- 两者等价，是余弦定理成立的基石。
? 余弦定理如何“包含”勾股定理？
当夹角 $theta=90^circ$ 时，$costheta=0$，公式退化为 $|vec{c}|^2 = |vec{a}|^2 + |vec{b}|^2$。这就是勾股定理。所以余弦定理是勾股定理的推广，而勾股定理是余弦定理的特例。
? 合力公式与余弦定理的完全一致
两个力 $F_1$、$F_2$ 夹角 $theta$，合力 $F=sqrt{F_1^2+F_2^2+2F_1F_2costheta}$。这正是余弦定理的向量形式。若 $theta=120°$，$costheta=-0.5$，合力小于两力之和，符合常识。
- 当 $theta=0°$，合力最大 $F_1+F_2$
- 当 $theta=180°$，合力最小 $|F_1-F_2|$
- 余弦定理统一了所有情况。