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