Creation of this applet was inspired by a problem posted by Antonio Gutierrez (GoGeometry). You can move any of the LARGE POINTS anywhere you'd like at any time. How can we formally prove the phenomenon dynamically illustrated here?