展开 向量a垂直于向量b能推出什么