GoGeometry Action 8!
Creation of this applet was inspired by a tweet from Antonio Gutierrez.
The two smaller circles you see are tangent to each other and are also tangent to the largest circle.
How can you formally prove what this applet informally illustrates?