GoGeometry Action 112!
Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry).
Feel free to move the vertices of this right triangle anywhere you'd like.
How can we formally prove the measure of the gray angle IS what it is?