vecto AB =(0;6), gọi I là trung điểm của AB thì I(1;-1)
đường trung trực của AB là đường thẳng vuông góc với AB tại trung điểm của AB
=> trung trực của AB có vecto pháp tuyến là vecto chỉ phương của AB => nhận vecto(0;1) làm vecto pháp tuyến , và đi qua điểm I
=> pt tổng quát 0x+y+c = 0, thay tọa độ điểm I vào ta được c=1
vậy  phương trình đường trung trực của AB là y=-1