アルキメデスの双子の円

幾何学において、アルキメデスの双子の円（アルキメデスのふたごのえん、英: Twin circles）は、アルベロスに対して定義される二つの特別な円である。アルベロスは共線点 $A,B,C$ のうち2つを両端とする同じ側の半円で作られる領域（円弧三角形の特別の場合）である。 $A,B,C$ の中央の点を通る、直線 $ABC$ の垂線を $l$ とする。アルベロスを $l$ で2つの円弧三角形に分割する。2つの円弧三角形の辺、つまり、アルベロスを成す2つの円と $l$ に接する円をアルキメデスの双子の円という。

アルキメデスの双子の円はアルキメデスの補題の書（英語版）の命題5が初出であるとみられ、2円は合同であることが示されている^[1]。この書籍をアラビア語に翻訳したサービト・イブン・クッラはこの円の功績をアルキメデスに帰した。アルキメデスの円と合同な円の数々はアルキメデスの円（英語版）と呼ばれるが、これは後年の学者らに帰せられる^[2]。

構成

アルベロスの頂点を $A,B,C$ とする。ただし $B$ は線分 $AC$ 内にあるとする。また、 $D$ を、アルベロスを構築するもっとも大きい半円（ $AC$ を両端とする半円）と $B$ を通る $AC$ の垂線の交点とする。L線分 $BD$ はアルベロスを2つの部分に分かつ。アルキメデスの双子の円はこの2つの部分の内接円である^[3]。

アルキメデスの双子の円は2つの接円と、その一方に接する直線におけるアポロニウスの問題の解となる。

アルキメデスの双子の円に合同な円、アルキメデスの円には、バンコフの円、Schoch の円 (Schoch circles) 、Wooの円 (Woo circles) などがある^[4]^[5]。

作図

上気と同様に $A,B,C,D$ を定める。また、直径をそれぞれ $AB,BC$ とする半円の中心を $M 1, M 2$ とする。 $C$ を通る半円 $M 1$ の接線と、 $BD$ の交点を $S$ 、半円 $M 1$ との接点を $T$ と定義し、 $∠ DST$ の二等分線と $M 1 T$ の交点は、一方の双子の円の中心となる。また、双子の円と $M 1$ の接点は $T$ となる^[6]。

性質

$a,b$ をアルベロスを成す小さい2円の直径とする。アルキメデスの双子の円の半径は次式で表される^[3]。

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

大きい円の直径を1とすれば、小さい2円の直径はそれぞれ $s, 1 - s$ となって次のようにも表せる^[3]。

d=s(1-s).\,

相加相乗平均の関係式よりアルキメデスの双子の円の半径が最も大きくなる時は小さい2円の半径が一致するときである^[3]。

双子の円に接する円のうち、最も小さい円の半径は ${\sqrt {ab}}$ である^[7]。

出典

^ トーマス・ヒース（英語版）(1897), The Works of Archimedes. ケンブリッジ大学出版局. Book of LemmasのProposition 5. 引用: "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."
^ Boas, Harold P. (2006). “Reflections on the Arbelos”. The American Mathematical Monthly 113 (3): 241. doi:10.1080/00029890.2006.11920301. "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"
^ ^a ^b ^c ^d Weisstein, Eric W. “"Archimedes' Circles." From MathWorld—A Wolfram Web Resource”. 2008年4月10日閲覧。
^ Floor van Lamoen (2014), A catalog of over fifty Archimedean circles. Online document, accessed on 2014-10-08.
^ Floor van Lamoen (2014), Circles (A61a) and (A61b): Dao pair. Online document, accessed on 2014-10-08.
^ Günter Aumann: Kreisgeometrie: Eine elementare Einführung. Springer, 2015, ISBN 9783662453063, S. 193–200
^ Baptiste Gorin, Une étude de l'arbelos, p.6, prop. II.3.

参考文献

『科學』 78巻、岩波書店、2008年、145頁。
奥村博、渡邉雅之『アルベロス 3つの半円がつくる幾何宇宙』岩波書店、2010年。ISBN 9784000295741。
奥村博. “アルキメデスからの贈り物合同な双子の円をもつ複数のアルベロス”. 2024年9月22日閲覧。

[1] トーマス・ヒース（英語版）(1897), The Works of Archimedes. ケンブリッジ大学出版局. Book of LemmasのProposition 5. 引用: "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 (3): 241. doi:10.1080/00029890.2006.11920301. "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"

[wolframArbelos-3] Weisstein, Eric W. “"Archimedes' Circles." From MathWorld—A Wolfram Web Resource”. 2008年4月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.

[Aumann-6] Günter Aumann: Kreisgeometrie: Eine elementare Einführung. Springer, 2015, ISBN 9783662453063, S. 193–200

[Gorin_II.3.-7] Baptiste Gorin, Une étude de l'arbelos, p.6, prop. II.3.

[1]

[2]

[3]

[4]

[5]

[6]

[7]