展开 a向量与b向量垂直公式是什么