两个向量垂直公式是：若设a=（x1，y1），b=（x2，y2），a⊥b的充要条件是a·b=0，即（x1x2+y1y2）=0。a·b=0，即向量a与向量b的数量积为0。

向量的其他相关性质及定理：

1、三点共线定理：

已知O是AB所在直线外一点，若向量OC等于k倍的向量OA加m倍的向量OB，且k+m=1，则A、B、C三点共线。

2、重心判断式：

在△ABC中，若向量GB与向量GA以及向量GC三者的和为0，则G为△ABC的重心。