GoGeometry Action 37!
Creation of this applet was inspired by a tweet from Antonio Gutierrez.
(A zoomed-in view of this tweet can be found here.)
This applet displays many phenomena that hold true.
How can you formally prove any 1 (or more) of the phenomena this applet dynamically illustrates?