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

Steiner's Porism


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

For two concentric circles, either there exists a closed chain of circles tangent to the given two as well as to their immediate neighbors in the chain, or such a chain does not exist. In the former case, the chain could be started at the arbitrary location in the ring between the two circles.

Jacob Steiner's wonderful theorem says that the same holds true even if the two circles are not concentric. A simple proof depends on the following assertion:

  Any two non-intersecting circles can be inverted into concentric circles.

Let first two circles 1 and 2 lie outside each other. Their radical axis consists of the points from which the tangents to 1 and 2 are equal. A circle centered on the radical axis and having radius equal to the common tangent to the circles 1 and 2 from its center is perpendicular to both circles. It is therefore easy two find two intersecting circles 1 and 2 orthogonal to 1 and 2. Make an inversion with the center at one of the points of intersection of 1 and 2. 1 and 2 will map onto two straight intersecting lines. Let T' be their point of intersection. 1 and 2 will map onto two circles orthogonal to those lines and therefore both centered at the point T'. (We can prove even a stronger result.)

If one of the given circles is located in the interior of the other, we may first make an inversion that will separate the two. Any inversion with the center in the ring formed by the two circles will serve that purpose.

References

  1. J. L. Coolidge, A Treatise On the Circle and the Sphere, AMS - Chelsea Publishing, 1971
  2. H. S. M. Coxeter, Introduction to Geometry, John Wiley & Sons, 1961
  3. H. S. M. Coxeter, S. L. Greitzer, Geometry Revisited, MAA, 1967

Inversion

Copyright © 1996-2008 Alexander Bogomolny

28717808Page 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

conway's game of life
Posted by frequency
0 messages
11:52 PM, May-12-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