展开 a向量垂直b向量可以得到什么公式