GoGeometry Action 162!
Creation of this resource was inspired by a tweet from Antonio Gutierrez (GoGeometry).
LARGE POINTS are moveable at any time.
The LIGHT BLUE SLIDER controls the size of the triangle's interior angle with blue vertex.
How can we formally prove what is dynamically illustrated here?