GoGeometry Action 92!
Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry.) .
Feel free to move the 2 blue points and/or 2 white points anywhere you'd like at any time.
How can we formally prove what this applet dynamically illustrates?