Square and Quarter Circle Action = GoGeometry Action 81!

Author:
Tim Brzezinski
Topic:
Circle, Square
Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry.) How can we formally prove what this applet informally illustrates?