Google Classroom
GeoGebraGeoGebra Classroom

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?