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