This applet is a follow-up to this [url=https://www.geogebra.org/m/CGYanArn]Internal + External Tangents Action[/url] applet. [br][color=#0000ff][i][br]How can you formally prove what this applet informally illustrates? [/i][/color]