GoGeometry Action 18!
Creation of this applet was inspired by a tweet from Antonio Gutierrez.
Feel free to move the BIG WHITE POINTS anywhere you'd like.
Feel free to adjust the slider as well.
How can you formally prove what this applet informally illustrates?