展开 向量a垂直向量b公式推导过