GoGeometry Action 115!
Creation of this applet was inspired by a problem posted by Antonio Gutierrez (GoGeometry).
You can alter the size of the pink angle by using the pink slider.
How can we formally prove the relationship dynamically illustrated here?