GoGeometry Action 114!
Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry).
Feel free to move the vertices of the quadrilateral anywhere you'd like.
Note: This applet works best if the quadrilateral is kept convex.
How can we formally prove the relationships dynamically illustrated here?