GoGeometry Action 39!

Creation of this applet was inspired by a post by Antonio Gutierrez (GoGeometry). How can you formally prove what this applet informally illustrates?