Google ClassroomGoogle Classroom
GeoGebraGeoGebra Classroom

Animation 102

What geometry theorem (or corollary, really) is dynamically being illustrated in the applet below? From which "bigger theorem" does this corollary immediately hold true?