展开 两个向量垂直公式怎么推导出来的