Square, Tangent, and Two Congruent & Tangent Circles
Creation of this applet was inspired by a problem posted on Twitter by Antonio Gutierrez .
Feel free to change the size of the circles by moving point A or B.
Goal: Prove that , where r = the radius of either circle.
How can you formally prove what this applet informally illustrates?