GoGeometry Action 109!
Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry).
You can move the 3 LARGE WHITE VERTICES of the triangle anywhere you'd like.
You can also alter the size of the blue angle using the blue slider.
How can we formally prove what is dynamically illustrated here?