GoGeometry Action 110!
Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry).
You can move the LARGE POINTS (vertices of the right triangle) anywhere you'd like.
How can we formally prove what is dynamically being illustrated here?