GoGeometry Action 129!
Creation of this applet was inspired by a problem posted by Antonio Gutierrez (GoGeometry).
The purple circle and the gray circle are internally tangent to each other.
You can move any of the LARGE POINTS anywhere you'd like AT ANY TIME!
How can we formally prove the phenomenon dynamically illustrated here?