展开 向量a垂直于向量b的充要条件