用向量法证明垂直