向量垂直的公式是：
```
a·b = 0
其中，`a` 和 `b` 是两个向量，`a·b` 表示 `a` 和 `b` 的点积（也称为内积或标量积）。如果两个向量的点积为0，则这两个向量垂直。
对于二维向量 `a = （x1, y1）` 和 `b = （x2, y2）`，点积计算公式为：
a·b = x1 * x2 + y1 * y2
当 `x1 * x2 + y1 * y2 = 0` 时，向量 `a` 和 `b` 垂直