向量垂直公式别死记硬背，实际上就图个直观，看两个方向“打架”得有多凶。 想象一下你在平地上扔两个东西，一个向东飞，一个向北飞。
要是你问是否垂直，答案直接取决于你扔的角度。
一般说的“垂直”，在数学语境里，指的是“正交”，也就是互相咬死，夹角压根儿不是 0，而是严格等于 90 度。
这时候它们的点积（点乘法）就等于零。
这个公式看似冷冰冰的 $A cdot B = 0$，背后实际上藏着个挺棒的几何直觉：投影互相抵消了。 说句大白话，就是两个向量的正投影加起来等于零。
这就好比你两个人背对背站着，你朝前走两米，他朝前走两米，结局你们俩在水平面上“踩”在了一起，彼此之间没有位移分量。
要是你们哪位也不动，要么一个动一个不动，那自然也是垂直的（平行要么共线，投影就是全量要么零，但一般聊聊的是非共线情况）。 具体如何算，实际上就是做点乘法。设我们有向量 $vec{a}$ 和 $vec{b}$，它们的坐标分别是 $(x_1, y_1, z_1)$ 和 $(x_2, y_2, z_2)$。直接套公式算，结局就是 $x_1x_2 + y_1y_2 + z_1z_2$。
要是算出来的数字是 0，那就证完了，它们是垂直的；要是大于 0 或小于 0，那就说明它们斜着夹角，不垂直。 举个栗子，熟悉直角坐标系的你，挺好办想到二维平面里的情况。
比如 $vec{a} = (3, 4)$，$vec{b} = (4, -3)$。算一下点积：$3 times 4 + 4 times (-3) = 12 - 12 = 0$。
这一算，立马就知道这两个向量垂直了。你能够画个图，把 $vec{a}$ 画成从原点出发往右上走，把 $vec{b}$ 画成往右下走，你会发现它们确实像两人面对面，夹角正好是直角。
要是角度偏大一点，比如变成 $60$ 度，点积会变成正数；偏小一点变成 $120$ 度，点积就是负数。
只有当角度是 $90$ 度时，这个中间的影子才相互抵消，和为零。 三维空间里略微复杂点，但原理一样。
比如 $vec{a} = (1, 2, 3)$ 和 $vec{b} = (0, 1, 4)$。点积计算就是 $1 times 0 + 2 times 1 + 3 times 4$。
这一坨加法里，前两项互换了抵消，最终剩下 $3 times 4 = 12$，不等于 0。
这就说明这两个向量在三维空间里是斜着交叉的，不是垂直的。
反过来，要是 $vec{b}$ 改成 $(0, -1, 4)$，点积就变成 $-2 + 12 = 10$，依然不是 0，不过这意味着夹角在第三象限要么第一卦限，依然归于锐角或钝角关系。 实际上还有个更实用的视角，就是利用斜率要么方向余弦。在二维里，要是 $vec{a} = (a_x, a_y)$，$vec{b} = (b_x, b_y)$，垂直意味着 $frac{a_x}{a_y} = -frac{b_x}{b_y}$ 要么写成分式形式，$a_x cdot b_y - a_y cdot b_x = 0$。
这实际上就是刚刚点积公式的另一种写法，本质没变，只是换了个算账的方式。 生活中有大量东西会用到这个逻辑。
比如你在拉直一根绳子，绳子被两根支架夹住，要是拉力向量垂直于地面，那两根支架的力在垂直方向的投影加起来就得抵消，否则绳子会受压。又比如在建筑力学里，判断地基是否稳固，工程师时常用这个点积去分析各种力的方向。
要是地基的受力向量点积为零，说明它们互相抵消，地基可能悬空了，不保险。 还有个特殊情况，就是零向量。零向量 $(0, 0)$ 和任意向量点积都是 0。
这就意味着零向量在几何上“垂直”于任何方向。别看我们在聊聊非零向量时一般不如此用，但在向量空间理论里，这是成立的。就像一条直线和平面，要么一个点和平面，有时候这种“正交”的定义会让人认定有点抽象，但一旦算出来点积确实是 0，你就知道它们的几何关系是正交的。 有时候计算会出错，比如手算乘法减法算错符号，要么坐标看错了。
这时候方式就不关键，关键的是去验证。能够在草稿纸上把向量画出来，目测一下夹角是不是直角，再用点积分解法复核一遍。 总而言之，向量垂直的公式就一句话：点积等于零。
这就是它们互相垂直的数学证据。
只要 $vec{a} cdot vec{b} = 0$，它们就乖乖地站在了彼此的旁侧，互不干扰，也不互相干扰。掌握了这一点，赶明儿处理空间几何、物理受力分析的时候，心里就有底了。
