GoGeometry Action 13!

Creation of this applet was inspired by a tweet from Antonio Gutierrez. In the applet below, the blue circle and green circle are concentric circles. How can you formally prove what this applet informally illustrates?