展开 两个向量垂直有什么公式吗