Why it works - the perpendicular bisector construction