G.GCO.1 Perpendicular Bisector Definition

In the applet below, line p is said to be the perpendicular bisector of the segment with A and B as endpoints. Interact with this applet for a few minutes, then answer the questions that follow. Be sure to change the locations of points A and B each time before you re-slide the slider.
Reset the applet and re-slide the slider just one more time. Questions: 1) What can you conclude about the white point you see in the applet above? How do you know this? 2) What is the measure of the gray angle? How do you know this to be true? 3) Given your responses for (1) and (2) above, write your own definition for the term perpendicular bisectorof a segment. In essence, complete the following sentence definition: A perpendicular bisector of a segment is...