GoGeometry Action 181!

Creation of this resource was inspired by this [url=http://www.gogeometry.com/school-college/4/p1366-square-perpendicular-angle-bisector-concylic-sketch-sw-ipad.htm]problem[/url] posted by [url=https://twitter.com/gogeometry]Antonio Gutierrez[/url] (GoGeometry). [br][br]You can move any of the [b]LARGE POINTS [/b]anywhere you'd like [b]AT ANY TIME[/b]. [br][br][color=#bf9000][b]How can we formally prove what is dynamically illustrated here?[/b][/color]
Note: This white quadrilateral is a square.
Quick (Silent) Demo

Information: GoGeometry Action 181!