Archimedes Insight = GoGeometry Action 150!
Creation of this resource was inspired by a tweet from Antonio Gutierrez.
Below, the green circle is internally tangent to the manila circle.
You can move the LARGE POINTS anywhere you'd like AT ANY TIME.
How can we formally prove what is dynamically illustrated here?