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?

Quick (Silent) Demo