Creation of this resource was inspired by [url=http://www.gogeometry.com/problem/p238_square_midpoints_congruence.htm]this problem[/url] posed by [url=https://twitter.com/gogeometry]Antonio Gutierrez[/url] (GoGeometry). [br][br][b]How can we formally prove what is dynamically illustrated here? [/b]