Example - Theorem 7.4

Description : AB is line segment. P and Q are points on opposite sides of AB such that each of them is equidistant from the points A and B. Show that the line PQ is perpendicular bisector of AB.