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