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?