Theorems 24 and 25 Part 2

In the applet below, the perpendicular bisector of segment AB is shown. Interact with this applet for a couple of minutes, making sure to move the 3 BIG MOVEABLE POINTS around.