Twin circles

In geometry, the twin circles are two special circles associated with an arbelos. An arbelos is determined by three collinear points A, B, and C, and is the curvilinear triangular region between the three semicircles that have AB, BC, and AC as their diameters. If the arbelos is partitioned into two smaller regions by a line segment through the middle point of A, B, and C, perpendicular to line ABC, then each of the two twin circles lies within one of these two regions, tangent to its two semicircular sides and to the splitting segment.

The twin circles (red) of an arbelos (grey)

Animation of twin circles for various positions of point B on AC segment

These circles first appeared in the Book of Lemmas, which showed (Proposition V) that the two circles are congruent.[1] Thābit ibn Qurra, who translated this book into Arabic, attributed it to Greek mathematician Archimedes. Based on this claim the twin circles, and several other circles in the Arbelos congruent to them, have also been called Archimedes's circles. However, this attribution has been questioned by later scholarship.[2]

Construction

Specifically, let ${\displaystyle A}$, ${\displaystyle B}$, and ${\displaystyle C}$ be the three corners of the arbelos, with ${\displaystyle B}$ between ${\displaystyle A}$ and ${\displaystyle C}$. Let ${\displaystyle H}$ be the point where the larger semicircle intercepts the line perpendicular to the ${\displaystyle AC}$ through the point ${\displaystyle B}$. The segment ${\displaystyle BH}$ divides the arbelos in two parts. The twin circles are the two circles inscribed in these parts, each tangent to one of the two smaller semicircles, to the segment ${\displaystyle BH}$, and to the largest semicircle.[3]

Each of the two circles is uniquely determined by its three tangencies. Constructing it is a special case of the Problem of Apollonius.

Alternative approaches to constructing two circles congruent to the twin circles have also been found.[4][5] These circles have also been called Archimedean circles. They include the Bankoff circle, Schoch circles, and Woo circles.

Properties

Let a and b be the diameters of two inner semicircles, so that the outer semicircle has diameter a + b. The diameter of each twin circle is then[3]

${\displaystyle d={\frac {ab}{a+b}}.}$

Alternatively, if the outer semicircle has unit diameter, and the inner circles have diameters ${\displaystyle s}$ and ${\displaystyle 1-s}$, the diameter of each twin circle is[3]

${\displaystyle d=s(1-s).\,}$

The smallest circle that encloses both twin circles has the same area as the arbelos.[3]

See also

• Schoch line

References

1. Thomas Little Heath (1897), The Works of Archimedes. Cambridge University Press. Proposition 5 in the Book of Lemmas. Quote: "Let AB be the diameter of a semicircle, C any point on AB, and CD perpendicular to it, and let semicircles be described within the first semicircle and having AC, CB as diameters. Then if two circles be drawn touching CD on different sides and each touching two of the semicircles, the circles so drawn will be equal."
2. Boas, Harold P. (2006). "Reflections on the Arbelos". The American Mathematical Monthly. 113: 241. The source for the claim that Archimedes studied and named the arbelos is the Book of Lemmas, also known as the Liber assumptorum from the title of the seventeenth century Latin translation of the ninth-century Arabic translation of the lost Greek original. Although this collection of fifteen propositions is included in standard editions of the works of Archimedes, the editors acknowledge that the author of the Book of Lemmas was not Archimedes but rather some anonymous later compiler, who indeed refers to Archimedes in the third person
3. Weisstein, Eric W. ""Archimedes' Circles." From MathWorld—A Wolfram Web Resource". Retrieved 2008-04-10.
4. Floor van Lamoen (2014), A catalog of over fifty Archimedean circles. Online document, accessed on 2014-10-08.
5. Floor van Lamoen (2014), Circles (A61a) and (A61b): Dao pair. Online document, accessed on 2014-10-08.