GoGeometry Action 79!

Creation of this applet was inspired by a tweet from Antonio Gutierrez. Feel free to move the LARGE POINTS anywhere you'd like. How can we formally prove the phenomena dynamically illustrated here?