Google ClassroomGoogle Classroom
GeoGebraClasse GeoGebra

Square and Quarter Circle Action = GoGeometry Action 81!

Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry.) How can we formally prove what this applet informally illustrates?