展开 向量垂直的证明方法