展开 向量ab垂直的充要条件是a×b=0