GoGeometry Action 108!

Creation of this applet was inspired by a problem posted by Antonio Gutierrez (GoGeometry). You can adjust the size of the (soon-to-appear) interior angle using the slider in the lower left corner. You can also move any of the LARGE POINTS anywhere you'd like AT ANY TIME. How can we formally prove what is dynamically illustrated here?

Quick (Silent) Demo