2维坐标向量垂直式子是怎么推出来的?→ → → → a=(x1,y1)b=(x2,y2)a⊥b 求x1x2+y1y2=0