Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Best sites for teachers
Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Reciprocal links
Privacy Policy

Guest book
News sites

Recommend this site

Best sites for teachers
Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Search CTK Buying a book is a commitment to learning Table of content Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

Four Touching Circles: What Is this About?
A Mathematical Droodle


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

(The circled points can be dragged and also the gray circle.)

Explanation

Copyright © 1996-2008 Alexander Bogomolny

 

 

 

 

 

 

 

 

 

 

 

 

Four Touching Circles

The applet suggests the following theorem:

(A) Let there be 4 circles S1, S2, S3, and S4 each tangent cyclically to its neighbors, so that S1 touches S2 and S4, S2 also touches S3, and the latter touches S4. Prove that the four tangency points are concyclic, i.e. lie on a circle.

Check the "Inverted diagram" box. You'll see two parallel lines, two tangent circles, each of which is tangent to one of the parallel lines and a line that goes through the three points of tangency. What is this about?

Assume we indeed have a chain of four circles, each touching two of its neighbors. Make an inversion with one point of tangency as the center. Two circles tangent at that point will map on two parallel lines. The other two circles map onto tangent circles each touching one of the parallel lines. (Because of the angle preservation property tangent curves are mapped onto tangent curves.) Observe that

  1. Two parallel lines are homothetic with any point in the plane (but not on the lines) as a legitimate center of homothety.

  2. Two tangent circles are homothetic with the common point of tangency as the center.

This means that that the whole configuration is homothetic in the point of tangency of the two circles. Necessarily the points of tangency of the circles with the parallel lines are images of each other under that homothety, such that the three points of tangency are collinear. By the inversion at hand, the line those points are on, is mapped onto a circle passing through the center of inversion.

The proof may now proceed as follows. We used 1 of the points of tangency of the circles S1, S2, S3, and S4 as the center of inversion. The other three points are of course concyclic. Let them lie on circle S. Under the inversion, the images of the three points are collinear. Therefore that circle S passes through the center of inversion - the fourth point of tangency.

Remark

This statement has a more elementary proof. The points of tangency lie on the lines joining the centers of adjacent circles. The quadrilateral formed by the centers has a property (the sums of the two pairs of opposite sides are equal) that makes it inscriptible. The latter property has been actually proven (Annales de Gergonne, tome VI, 1815-1816, p. 46) by J.-B. Durbande [F. G.-M., note no 745, p. 317].

References

  1. F. G.-M., Exercices de Géométrie, Éditions Jacques Gabay, sixiéme édition, 1991, pp. 1175-1177

Inversion

Copyright © 1996-2008 Alexander Bogomolny

28696316Page copy protected against web site content infringement by Copyscape


Search:
Keywords:


Latest on CTK Exchange
Math
Posted by Laura
2 messages
06:56 AM, Apr-15-08

Divisibility rules - Jargon buste ...
Posted by Carolyn
2 messages
08:35 AM, Apr-04-08

drawing puzzle
Posted by martin gran
31 messages
06:53 PM, May-09-08

Distance to the horizon
Posted by Monty
3 messages
04:38 PM, May-08-08

Mistake on the page (an aside, Be ...
Posted by Max
4 messages
10:28 AM, Feb-28-08

Deriving functions based on diffe ...
Posted by ke_45
1 messages
12:47 PM, May-10-08

A typo in
Posted by alexwajn
1 messages
11:36 PM, Apr-19-08