GoGeometry Action 160!

Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry). You can move any LARGE POINT anywhere you'd like AT ANY TIME. How can we formally prove what is dynamically illustrated here?