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