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