GoGeometry Action 94!

Creation of this applet was inspired by a problem posted by Antonio Gutierrez (GoGeometry). Feel free to move the BIG WHITE POINTS around at any time. You can control the size of the pink angle using the pink slider. How can we formally prove what is dynamically illustrated here?

Quick (Silent) Demo