Animation 265

What theorem is dynamically being illustrated in the applet below? Describe in words. How can you formally prove it? Try to do so!