GoGeometry Action 69!
Creation of this applet was inspired by a post from Antonio Gutierrez (GoGeometry).
Once the GRAY POINT appears (on the left side), feel free to move it along that side.
You can control the size of the green angle by using the green slider.
How can we formally prove what this applet informally illustrates?