GoGeometry Action 17!
Creation of this applet was inspired by a tweet from Antonio Gutierrez.
Feel free to move the triangle's vertices anywhere you'd like.
You can adjust the size of the light green angle by using the light green slider.
How can you formally prove what this applet informally illustrates?