Cut-The-Knot Action (4)!

Creation of this applet was inspired by a tweet from Alexander Bogomolny (cut-the-knot.org). How can you formally prove what this applet informally illustrates?