向量a与b垂直的充要条件是什么