GoGeometry Action 66!
Creation of this applet was inspired by a post from Antonio Gutierrez (GoGeometry).
You can move any 1 (or more) of the LARGER POINTS anywhere you'd like.
You can control the size of the angle with gray vertex by using the gray slider.
How can we formally prove what this applet informally illustrates?