Cut-the-Knot Action 15!

Creation of this applet was inspired by a tweet from Alexander Bogomolny. How can we formally prove THIS to be true?

Quick (Silent) Demo