GoGeometry Action 119!

Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry). You can control the size of the pink angle by adjusting the pink slider. You can move any of the LARGE POINTS anywhere you'd like at ANY TIME. How would you describe the phenomenon dynamically illustrated here? How can we formally prove this true?

Quick (Silent) Demo