展开 向量垂直的定义公式