Complete this proof using axioms and already proven theorems.
Given: Point P is equidistant from endpoints X and Y of line XY..
Prove: P is on the perpendicular bisector of XY
Case 1: P is on XY. By the Given, P is the midpoint of XY so it is on the perpendicular bisector.
1. Draw PX and PY. (On 2 points there is exactly 1 line)
2. Let M be the midpoint of XY. (Midpoint Thm)
3. Draw PM (On 2 points there is exactly 1 line)
I'm stuck after that. Any help would be greatly appreciated.