Square Action! (Proof Problem 1)
Creation of this applet was inspired by a tweet from Antonio Gutierrez.
Feel free to move points A and B wherever you'd like prior to sliding the slider.
Be sure to change the location of point E (soon to appear) as well.
How can you formally prove what this applet informally illustrates?