What geometry definition and what theorem (about this definition) are dynamically being illustrated in the applet below? (Feel free to alter the locations of the points you see.)
[b][color=#000000]Definition of a [/color][color=#1e84cc]Perpendicular Bisector[/color] [color=#000000]of a [/color]Segment:[/b][br]A [color=#1e84cc][b]perpendicular bisector[/b][/color] of a [b]segment[/b] is a [color=#1e84cc][b]line[/b][/color] (or plane) that intersects a [b]segment[/b] at its midpoint at a [b]right (90 degree) angle[/b]. [br][br][color=#000000][b]Theorem:[/b][/color][br]If a point lies on the [color=#1e84cc][b]perpendicular bisector [/b][/color]of a [b]segment[/b], it is [color=#cc0000][b]equidistant[/b][/color] from the [b]endpoints[/b] of that [b]segment[/b].