Animation 284

What relationship(s) is/are dynamically being illustrated in the applet below? How would you describe in words? How can we formally prove what you see true?
Close

Information: Animation 284