Investigation - Deducing the properties of a perpendicular bisector of a line segment