两个向量垂直,有什么公式