GoGeometry Action 72!
Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry).
For the two circles shown, both common external tangents are shown.
The segments that pass through the two pink points are tangents to these circles as well.
How can we formally prove what this applet informally illustrates?