向量ab的数量积为0,a垂直于b的充要条件