Points equidistant from A and B form the perpendicular bisector of AB: justify why, construct it, and shade the correct side for closer-to-A-than-B regions. Wholly construction-based — coordinate-geometry equations of perpendicular bisectors are A level, not GCSE. Both tiers. (G2)