从余弦定理推导：向量内积的几何与代数等价性

核心结论：内积的代数运算规则（坐标相乘再相加）与几何视角（长度乘长度乘夹角余弦）是完美等价的。这个推导就是连接两者的桥梁。

一、准备工作：构造三角形

从原点 O 出发，画出两个向量 a 和 b，并将它们的终点相连，构成一个三角形。

               A
              / \
             /   \
         a  /     \  c = a - b
           /       \
          / θ       \
         O-----------B
               b

设定说明：

• 向量：a、b、c
• 边长（模长）：|a|、|b|、|c|
• 夹角：θ（向量 a 和 b 的夹角，同时也是边 c 所对的角）
• 向量关系：c = a - b

二、视角一：几何推导（使用余弦定理）

余弦定理：在任意三角形中，已知两边及其夹角，第三边的平方等于另外两边的平方和减去这两边与夹角余弦的乘积的两倍。

公式：

c² = a² + b² - 2ab · cos C

在这个三角形中，直接套用：

|c|² = |a|² + |b|² - 2|a||b| · cos θ

(注：这里的 θ 就是三角形中边 c 所对的角，即 C)

三、视角二：代数推导（使用向量内积）

我们完全抛开几何，只用向量的代数运算来计算 |c|²。

由向量内积的性质：一个向量与自己的内积，等于它长度的平方，即 |c|² = c · c。

因为 c = a - b，代入展开：

|c|² = (a - b) · (a - b)

利用内积的分配律（就像多项式乘法一样展开）：

= a·a - a·b - b·a + b·b

利用内积的交换律（a·b = b·a）和 a·a = |a|²：

= |a|² - 2(a·b) + |b|²

四、终极缝合：两个视角相等

现在，我们让几何推导出的表达式和代数推导出的表达式画等号：

|a|² + |b|² - 2|a||b| · cos θ = |a|² - 2(a·b) + |b|²

两边同时消去 |a|² + |b|²：

- 2|a||b| · cos θ = - 2(a·b)

两边同时除以 -2，得到最终结果：

a · b = |a| · |b| · cos θ

五、核心洞察与特例

1. 为什么这个推导很漂亮？
   它揭示了：内积的代数定义（坐标相乘再相加）并不是数学家拍脑袋规定的，而是为了让“坐标运算”和“几何中的长度与角度”完美兼容，而必然推导出来的结果。只要定义了分配律和交换律，几何公式就会被代数逻辑自动推出来。

2. 勾股定理是它的特例
   当向量 a 和 b 垂直时（θ = 90°），cos 90° = 0。
   代入余弦定理：|c|² = |a|² + |b|²（退化为勾股定理）。
   代入内积公式：a · b = 0（垂直向量的内积为零）。