GoGeometry Action 50!

Creation of this applet was inspired by a post from Antonio Gutierrez (GoGeometry.)
The green slider adjusts the size of the green circle. The gray pointadjusts the size of the tan circle. Feel free to move the dark blue point anywhere you'd like. How can we formally prove what is informally illustrated here?