then their centres lie on the perpendicular bisector of PQ.