展开 向量垂直的证明公式