Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry). You can move the 2 LARGE WHITE POINTS anywhere you'd like at any time. How can we formally prove the phenomenon seen here?