GoGeometry Action 124!
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?