GoGeometry Action 180!

Creation of this resource was inspired by this problem posted by Antonio Gutierrez (GoGeometry). You can move any of the LARGE POINTS anywhere you'd like AT ANY TIME. As you do, notice that the diagonals of this quadrilateral always remain perpendicular. How can we formally prove what is dynamically illustrated here?

Quick (Silent) Demo