Cut-The-Knot Action 17!
Creation of this applet came from two sources:
1) This tweet from Antonio Gutierrez (GoGeometry)
2) This tweet from Alexander Bogomolny (Cut-the-Knot Math)
How can we formally prove the phenomena dynamically illustrated here?