Animation 271

How would you put the relationship(s) dynamically illustrated below into words? How can we formally prove what we see (with the red and blue segment) at the end?