向量点积的两种定义——分量形式与几何形式——相信很多人都见过。一种写法是a·b = Σaᵢbᵢ，看起来像纯粹的代数运算；另一种是a·b = |a||b|cosθ，把长度和角度揉在一起。初看之下，这两个公式长得实在不像，但它们描述的根本是同一个量。这背后有漂亮的几何与代数证明支撑。
实际上，这两种定义等价这件事并不是巧合，而是欧氏几何内在结构的自然体现。下面从两个常见角度来拆解这个等价关系。
利用余弦定理的几何证明
令 c = a - b，三个向量在空间中围成一个三角形。根据余弦定理，有
|c|² = |a|² + |b|² – 2|a||b|cosθ
另一边，对于任意向量 x，按分量定义计算 x·x，得到的是各分量平方和——这正好是 |x|²。所以
|c|² = c·c = (a-b)·(a-b)
展开右边，利用点积对加法的分配律，得到
|a|² – 2a·b + |b|²
把这个结果与余弦定理右侧摆在一起，消去相同的 |a|² 和 |b|²，立刻得到
a·b = |a||b|cosθ
从分量的代数运算出发，经过三角形和余弦定理，自然就跳到了长度与夹角的关系。这就是两种定义相通的第一重证据。
利用标准正交基的投影证明
第二种证法反过来——从几何定义出发，推到分量形式。设 e₁, …, eₙ 是 n 维欧氏空间的一组标准正交基，每个基向量长度都是1，且彼此垂直。那么任意向量 a 跟 eᵢ 做点积，相当于把 a 投影到第 i 个坐标轴上，结果恰好就是第 i 个分量 aᵢ。
把 b 写成基向量的线性组合：b = Σbᵢeᵢ，再计算 a·b。由于点积对线性组合满足分配律，有
a·b = Σbᵢ (a·eᵢ)
而 a·eᵢ = aᵢ，所以最终得到 Σaᵢbᵢ——正是分量定义。这条路从“投影”出发，走到代数公式，与第一条路径方向相反，但终点相同。
为什么可以使用分配律
前面两次证明都依赖点积的分配律。有人可能会问：凭什么点积对加法满足分配律？这其实不是从天而降的，而是内积运算必须满足的基本性质。内积是定义在向量空间上的双线性形式，需要满足对称性、对第一个参数的线性，以及正定性。欧氏空间里的分量点积刚好满足这些条件：交换两个向量结果不变；标量乘法与向量加法可以逐分量展开；非零向量的各分量平方和必然大于零。
由这些公理还能推出双线性（对两个参数都是线性的）、与零向量的内积为零，以及 〈x+y, x+y〉= 〈x,x〉+ 2〈x,y〉+ 〈y,y〉 等性质。证明中使用的分配律正是双线性的直接结果。所以，整个等价性论证是站得稳的，背后是内积空间的结构保障。
范数把代数和长度联系起来
在内积空间中，向量的范数定义为 |x| = √〈x,x〉。在笛卡尔坐标下，这个定义就是勾股定理从二维、三维向 n 维的推广。点积与范数之间天然的绑定关系，让两种定义的等价变得顺理成章。
回过头来看，两种点积定义的等价绝非偶然。分量形式刻画了向量在正交坐标轴上的投影值；几何形式则把这些投影汇总为长度与夹角。它们说的其实是同一件事：欧氏几何的结构既有代数的骨架，也有几何的血肉。而点积，就是连接这两者的桥梁。
