Perpendicular bisectors and line segments