Google Classroom
GeoGebraGeoGebra Classroom

Animation 270

How would you describe the many dynamics you see occurring in the applet below? How can you formally prove the phenomena being illustrated here?