GoGeometry Action 45!

Creation of this applet was inspired by a post from Antonio Gutierrez (GoGeometry). Feel free to move the original white points anywhere you'd like. You can also change the size of the pink angle by using the pink slider. How can we formally prove what this applet informally illustrates?

Quick (Silent) Demo