向量a垂直b的充要条件a*b=0具体是怎么推出的?