如何证明向量垂直