Cut-the-Knot-Action 13!

Creation of this applet was inspired by a tweet from Alexander Bogomolny. LARGE points are moveable at any time. How can you formally prove what this applet informally illustrates?