Animation 57

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.)