GoGeometry Action 107!

Creation of this applet was inspired by a problem posted by Antonio Gutierrez (GoGeometry). You can control the size of the interior angle with blue vertex using the blue sider. You can move the LARGE POINTS anywhere you'd like at any time. How can we formally prove what is dynamically illustrated here?

Quick (Silent) Demo