展开 向量证明垂直公式