GoGeometry Action 64!

Creation of this applet was inspired by a post from Antonio Gutierrez. You can adjust the size of the angle with pink vertex using the pink slider. How can we formally prove what this applet informally illustrates?