Perpendicular bisector properties and examples