GoGeometry Action 75!
Creation of this applet was inspired by a post from Antonio Gutierrez (GoGeometry.)
You can change the size of the angle (of the triangle) with blue vertex by adjusting the blue slider.
You can change the size of the (soon-to-appear) pink angle by adjusting the pink slider.
How can we formally prove what this applet informally illustrates?