Archimedes' Twin Circles and a Brother: What is this about?
A Mathematical Droodle
What if applet does not run? |
|Activities| |Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander BogomolnyOne 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.
The best way to see the circle is to reflect the arbelos in the common base of its constituent semicircles. Proposition 6 of the Book of Lemmas deals with the circle tangent to all three semicircles. The two points of tangency with the small semicircles together with the point C in the applet form a triangle whose circumcenter has the same radius as Archimedes' twins!
For definiteness' sake, let the semicircles have centers O, O_{1}, O_{2}. Following Bankoff's convention, a circle will be denoted by the same letter as its center enclosed in a couple of parentheses. Thus, e.g. the big semicircle is the top part of (O). The twin circles are, say, (W_{1}) and (W_{2}), and the circle due to Proposition 6 is (O_{3}). The circle in question is (W_{3}).
To prove this result we shall use the inversion with center A and the power equal to AC·AB.
The inversion swaps B and C, and further
The circle (O_{1}) becomes the line perpendicular to AB at B. The circle (O) becomes the line perpendicular to AB at C. The circles (O_{2}) and (W_{2}) are self-inverse. The circle (W_{1}) inverts into (W'_{1}), tangent to lines the two vertical lines and the circle (O) externally. The circle (O_{3}) inverts into (O'_{3}), tangent to the vertical lines and to the self-inverse (O_{2}). The circle (W_{3}) becomes (W'_{3}), tangent to AB at B and orthogonal to (O_{2}) and (O'_{3}. |
Denote the radii of the circles (O), (O_{1}), (O_{2}), (O_{3}),(W_{1}), (W_{2}), (W_{3}), (O'_{1}), (O'_{3}), (W'_{1}), (W'_{3}) as R, R_{1}, R_{2}, R_{3},
We have the following:
Since A is the external center of similitude of (W_{1}) and (W'_{1}),
p/p' = (2R_{1} - p)/(2R_{1} + R_{2}), from which
p = R_{1}·R_{2}/R = R_{1}·R_{2}/(R_{1} + R_{2}).
In the triangles ACW_{3} and ABW'_{3}
p_{3}/p'_{3} = AC/AB = R_{1}/R and it follows that
p_{3} = R_{1}·p'_{3}/R = R_{1}·R_{2}/R.
Note that in terms of R_{1} and R_{2}, Archimedes' formula becomes
R_{3} = R·R_{1}·R_{2}/(R_{1}^{2} + R_{1}·R_{2} + R_{2}^{2}). |
Remark
As an aside, the foregoing reminds me of another question. Two brothers that were born virtually at the same time on the same day in the same year to the same parents are not twins. How can this be?
References
- L. Bankoff, Are the Twin Circles of Archimedes Really Twin, Mathematics Magazine, Vol. 47, No. 4 (Sept., 1974), 214-218
Inversion - Introduction
- Angle Preservation Property
- Apollonian Circles Theorem
- Archimedes' Twin Circles and a Brother
- Bisectal Circle
- Chain of Inscribed Circles
- Circle Inscribed in a Circular Segment
- Circle Inversion: Reflection in a Circle
- Circle Inversion Tool
- Feuerbach's Theorem: a Proof
- Four Touching Circles
- Hart's Inversor
- Inversion in the Incircle
- Inversion with a Negative Power
- Miquel's Theorem for Circles
- Peaucellier Linkage
- Polar Circle
- Poles and Polars
- Ptolemy by Inversion
- Radical Axis of Circles Inscribed in a Circular Segment
- Steiner's porism
- Stereographic Projection and Inversion
- Tangent Circles and an Isosceles Triangle
- Tangent Circles and an Isosceles Triangle II
- Three Tangents, Three Secants
- Viviani by Inversion
- Simultaneous Diameters in Concurrent Circles
- An Euclidean Construction with Inversion
- Construction and Properties of Mixtilinear Incircles
- Two Quadruplets of Concyclic Points
- Seven and the Eighth Circle Theorem
- Invert Two Circles Into Equal Ones
- Arbelos - the Shoemaker's Knife
- 7 = 2 + 5 Sangaku
- Another Pair of Twins in Arbelos
- Archimedes' Quadruplets
- Archimedes' Twin Circles and a Brother
- Book of Lemmas: Proposition 5
- Book of Lemmas: Proposition 6
- Chain of Inscribed Circles
- Concurrency in Arbelos
- Concyclic Points in Arbelos
- Ellipse in Arbelos
- Gothic Arc
- Pappus Sangaku
- Rectangle in Arbelos
- Squares in Arbelos
- The Area of Arbelos
- Twin Segments in Arbelos
- Two Arbelos, Two Chains
- A Newly Born Pair of Siblings to Archimedes' Twins
- Concurrence in Arbelos
- Arbelos' Morsels
|Activities| |Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander BogomolnyThey were two of a set of triplets or quadraplets or ...
|Activities| |Contact| |Front page| |Contents| |Geometry|
Copyright © 1996-2018 Alexander Bogomolny65999477