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