向量垂直公式怎么推