GoGeometry Action 59!

Creation of this applet was inspired by a post from Antonio Gutierrez (GoGeometry). Feel free to move any of the BIG POINTS anywhere you'd like. How can we formally prove what this applet informally illustrates?