Int+Ext Tangent Action!
Creation of this applet was inspired by a problem posted in a tweet from Antonio Gutierrez.
The white point on the circle on the left adjusts its radius.
The green slider adjusts the radius of the circle on the right.
Feel free to drag the center of the circles anywhere you'd like!
How can you formally prove what this applet informally illustrates?