[alogo] 1. Circle tangent to line and circle

Let c be a circle simultaneously tangent to line a and cirlce b. Then the two lines {CA, CB} through the contact point
with the cirlce b passing through A and its diametral point define on circle b a diameter DE orthogonal to line a.

[0_0] [0_1] [0_2] [0_3]
[1_0] [1_1] [1_2] [1_3]
[2_0] [2_1] [2_2] [2_3]

That DE is a diameter is clear, since angle ACB = ECD is a right one. That DE is also orthogonal to a follows by the
angle equalities DEC = DCF, CAB = FCB, DCF+FCB = π/2.

[alogo] 2. Circles tangent to two circles (intersecting case)

Consider two intersecting circles {k1, k2}. The set of all circles tangent to these two is the disjoint union of two subsets. One is
called direct [Johnson, p.111] and the other set is called transverse. All circles of the direct system do not separate
the two given circles. Every circle of the transverse system separates the two given circles.
The figure below displays two circles {c, c'} from the direct and transverse system correspondingly. Circles {c, c'} have a common
contact point with k1 at its point A. The other contact with k2 are B (of c) and E (of c').
[1]  Line AB which is the line of contacts of c (direct) passes through the outer center S1 of similitude of {k1, k2}.
[2]  Line AE which is the line of contacts of c'(transverse) passes through the inner center S2 of similitude of {k1, k2}.
[3]  The radical axes of all pairs of circles from {k1, k2, c, c'} pass through a point R.
[4]  Lines {AB,AE} intersect circle k2 at diametral points {C, D} such that CD is orthogonal to the tangent of k1 at A.
[5]  The centers of the circles of the direct system generate a hyperbola with foci at the centers {O1, O2} of the two given circles
       and major axis |r1-r2|, the difference of the radii of the given circles.
[6]  The centers of the circles of the transverse system generate an ellipse with foci at the centers {O1, O2} of the two given
       circles and major axis equal to |r1+r2|.

[0_0] [0_1] [0_2] [0_3] [0_4]
[1_0] [1_1] [1_2] [1_3] [1_4]
[2_0] [2_1] [2_2] [2_3] [2_4]
[3_0] [3_1] [3_2] [3_3] [3_4]

[1, 2] is proved in section-6 of RadicalAxis.html . [3] is proved in section-4 of the same file. [4] is proved here in section-1 and
[5, 6] are trivial verifications of the definitions of central conic sections through their basic focal properties.

[alogo] 3. Circles tangent to two circles (non-intersecting case, inner)

Next figure illustrates the same properties as those of the preceding section but now for the case of two non-intersecting circles
{k1, k2} of which one contains the other.

[0_0] [0_1] [0_2] [0_3]
[1_0] [1_1] [1_2] [1_3]
[2_0] [2_1] [2_2] [2_3]

In this case both the direct and transverse system of tangent circles are ellipses. The direct system consists of ellipses c with foci
at {O1, O2} and great axis equal to r1+r2. The transverse system consists of ellipses with the same as before foci and great axis
|r1-r2|.

[alogo] 4. Circles tangent to two circles (non-intersecting case, outer)

Next figure illustrates the same properties as those of the preceding sections but now for the case of two non-intersecting circles
{k1, k2} which are outside to each other.

[0_0] [0_1] [0_2] [0_3] [0_4]
[1_0] [1_1] [1_2] [1_3] [1_4]
[2_0] [2_1] [2_2] [2_3] [2_4]
[3_0] [3_1] [3_2] [3_3] [3_4]

[alogo] 5. Circles tangent to circle and line (non-intersecting)

Next figure illustrates the same properties as those of the preceding sections but now for the case of a line k1 and a non-intersecting
circle k2. In this case the centers of the variable tangent circles describe correspondingly two parabolas with directrices parallel
to line k1 and at distance r2 on either side of it. The direct system consisting corresponding to the directrix which is separated
from k2 by line k1. Both parabolas have their focus at the center O2 of k2.

[0_0] [0_1] [0_2] [0_3] [0_4]
[1_0] [1_1] [1_2] [1_3] [1_4]
[2_0] [2_1] [2_2] [2_3] [2_4]
[3_0] [3_1] [3_2] [3_3] [3_4]

[alogo] 6. Circles tangent to circle and line (intersecting)

Next figure illustrates the same properties as those of the preceding sections but now for the case of a line k1 and an intersecting
circle k2. In this case the centers of the variable tangent circles describe correspondingly two parabolas with directrices parallel
to line k1 and at distance r2 on either side of it. Both parabolas have their focus at the center O2 of circle k2. In this case also
the two systems are indistinguishable.

[0_0] [0_1] [0_2] [0_3] [0_4]
[1_0] [1_1] [1_2] [1_3] [1_4]
[2_0] [2_1] [2_2] [2_3] [2_4]

See Also

RadicalAxis.html

Bibliography

[Johnson] Johnson, R. A. Modern Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle. Boston, MA: Houghton Mifflin, 1929

Return to Gallery


Produced with EucliDraw©