AB斜率是(4-2)/(3-1)=1
垂直则斜率是负倒数
所以AB的垂直平分线斜率是-1
AB中点是[(1+3)/2,(2+4)/2],即(2,3)
所以是y-3=-1×(x-2)
即x+y-5=0