Google ClassroomGoogle Classroom
GeoGebraClasse GeoGebra

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?