向量垂直的公式是：
```a1*x2 + a2*y2 = 0```
其中，向量 `a` 的坐标为 `（a1, a2）`，向量 `b` 的坐标为 `（x2, y2）`。这个公式适用于二维空间中的向量，并且当两个向量的点积（内积）为零时，这两个向量垂直。
向量垂直公式在三维空间中的应用是怎样的？
如何验证两个向量是否垂直？
向量垂直的几何意义是什么？
