正交矩阵怎么判断两向量垂直的方法是否正确