Web CTK
Best sites for teachers
Sites for teachers
Sites for parents
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
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

Guest book
News sites

Recommend this site

Best sites for teachers
Sites for teachers
Sites for parents

One of the properties of the arbelos noticed and proved by Archimedes in his Book of Lemmas is that the two small circles inscribed into two pieces of the arbelos cut off by the line perpendicular to the base through the common point of the two small semicircles are equal. The circles have been known as Archimedes' Twin Circles. More than 2200 years after Archimedes, L. Bankoff (1974) has found another circle equal to the twins. In 1999 a large number of additional circles of the same radius has been reported by Dodge et al. More recently, F. Power described another quadruplet of circles that should be adopted into the family. The construction and the proof are exceedingly simple.

### 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.

Form the semicircles on diameters AB, AC, BC, as in the applet above. Let the two smaller semicircles have radii r1 and r2, so that the radius r of the big semicircle satisfies

 r = r1 + r2.

Recollect that, according to Proposition 5 of the Book of Lemmas the common radius of Archimedes' Twins equals

 r1·r2/r = r1·r2/(r1 + r2).

F. Power's construction is as follows. Let E be the center and D the midpoint of the semicircle of radius r1. (Naturally, a similar construction works for the other semicircle.) Let O be the center of the big semicircle. Then, by the Pythagorean theorem,

 OD2 = r12 + r22.

There are two equal circles that touch the big semicircle and OD at D. Let L be the center and x the radius of one of them. Let K denote the point of tangency of the latter with the big semicircle. Then applying the Pythagorean theorem a second time,

 OL2 = x2 + OD2 = x2 + r12 + r22.

On the other hand,

 OL = OK - x = r - x = r1 + r2 - x.

Combining the two gives

 (r1 + r2 - x)2 = x2 + r12 + r22,

from which

 - 2x(r1 + r2) + 2r1r2 = 0,

or

 x = r1·r2/(r1 + r2),

which is exactly the radius of the Archimedes' Twins.

### References

 28712785

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