非0向量a,b垂直,即：a⊥b：根据向量数量积的公式：

　　ab=|a||b|cos(1)或者

　　ab=(x1x2+y1y2)(2)

　　(1)中为a,b向量的夹角,当=90°或=π/2时,ab=0

　　再由(2)式,得到：x1x2+y1y2=0.

　　即坐标和为0