GoGeometry Action 36!
Creation of this applet was inspired by a tweet from Antonio Gutierrez.
You can move the soon-to-appear ORANGE POINT anywhere you'd like.
You can also change the position(s) of any of the BIG WHITE POINT(S).
How can you formally prove what is dynamically being illustrated here?