展开 a向量垂直于b向量的公式