GoGeometry Action 125!
Creation of this applet was inspired by a problem posted by Antonio Gutierrez (GoGeometry).
LARGE POINTS are moveable at any time.
You can also control the size of the angles with pink vertices using the pink slider.
How can we formally prove the phenomenon dynamically illustrated here?