GoGeometry Action 78!

Creation of this applet was inspired by a tweet from Antonio Gutierrez. You can control the size of the pink angle (soon to appear) by using the pink slider. You can also move any of the BIG WHITE POINTS anywhere you'd like. How can we formally prove what this applet informally illustrates?