Eight Equal Tangents

Tangents from a point to a circle are equal. Tangents to two circles from a point on their radical axis are also equal. The four common tangents to two circles (when all four are available) supply a slew of equal segments. An applet below provides an illustration for a less known fact: the emphasized segments - all eight of them - are indeed equal.

This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at http://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.

Buy this applet
What if applet does not run?

Solution

Let show, for example, that in the diagram below, EK = FL:

AB	= AK + BK
	= EK + FK
	= EK + (EK + EF)
	= 2·EK + EF.

Similarly,

CD	= CL + DL
	= EL + FL
	= (FL + EF) + FL
	= 2·FL + EF.

Since AB = CD we also have

2·EK + EF = 2·FL + EF

and, finally, EK = FL.

We could similarly show that in the diagram below also EK = FL.

However, the derivation above also works in this case provided some of the segments are allowed to be negative.

References

R. Honsberger, More Mathematical Morsels, MAA, 1991, pp. 4-5.

49551969