A Stronger Conclusion!

Author:
Tim Brzezinski
Topic:
Circle, Tangent Line or Tangent
This applet is a follow-up to this Internal + External Tangents Action applet. How can you formally prove what this applet informally illustrates?