GoGeometry Action 10!
Creation of this applet was inspired by a tweet from Antonio Gutierrez.
How can you formally prove what this applet informally illustrates?
(A big shout out and thank you to Sarah Beaulieu, who took control of the applet once I was finished and picked out different colors for the objects.)