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