GoGeometry Action 187!

Author:
Tim Brzezinski
Topic:
Congruence, Square
Creation of this resource was inspired by this problem posed by Antonio Gutierrez (GoGeometry). How can we formally prove what is dynamically illustrated here?

Quick (Silent) Demo