眼球定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/04/24 17:49 UTC 版)

眼球定理[1](がんきゅうていり、英: Eyeball theorem)は、初等幾何学における2つの円に関する定理。
主張
眼球定理の主張は次の通り[2]。
- 中心がそれぞれP, Qである2つの円cP, cQが、どちらかがもう一方の円の中心を内包していない位置にあるとする。それぞれP, Qを端点とするcQ, cPに接する2半直線とcP, cQの交点をA, B、C, Dとしてそれらが成す弦についてAB = CDが成り立つ。
1960年に、ペルーの数学者であるアントニオ・グティエレス(Antonio Gutierrez)が発見した[3][4]。しかし、Eyeball theorem という名が出現する以前の1938年、G.W.エヴァンス(Evans)が問題提起と解決をしていた[5]。エヴァンスはまた、眼球定理は以前に試験で出題されたものだと述べている[6]。
眼球定理を発展させると、Q, Pを通るcP, cQの接線の接点を結んだ直線をFJ、FJとcP, cQの第二交点をそれぞれF', J'としてFF' = JJ' が成り立つことが分かる[5]。
眼球定理の証明はいくつか知られている。中には丸山良寛の定理の延長として証明するものもある[7]。
証明

図において△OAI ~ △OO'TよりAI/r = r' /OO' 。したがってAB = 2rr' /OO' 。同様にしてA'B' = 2rr' /OO' = ABが示される。
関連する定理

1842年の愛知県の算額によれば、図の様に、円と、もう一方の円に対して円の反対側の点を通るもう一方の円の接線に接する円の半径は等しい[8]。
出典
- ^ リチャード・オクラ・エルウィス『マスペディア1000』ディスカヴァー・トゥエンティワン、2016年12月23日、133頁 。
- ^ Alsina, Claudi; Nelsen, Roger B. (2011). Icons of Mathematics: An Exploration of Twenty Key Images. MAA. ISBN 978-0-88385-352-8
- ^ Acheson, David (2020). The Wonder Book of Geometry. Oxford University Press. ISBN 9780198846383
- ^ Gutierrez 2003.
- ^ a b José García, Emmanuel Antonio (2022), “A Variant of the Eyeball Theorem”, The College Mathematics Journal 53 (2): 147-148.
- ^ Evans, G. W. (1938). “Ratio as multiplier.”. Math. Teach. 31. doi:10.5951/MT.31.3.0114.
- ^ The Eyeball Theorem at cut-the-knot.org
- ^ Huvent, Géry (2008). Dunod. ed. Sangaku. Le mystère des énigmes géométriques japonaises
参考文献
- Gutierrez, Antonio (2003). “Eyeball theorems”. In Chris Pritchard. The Changing Shape of Geometry. Celebrating a Century of Geometry and Geometry Teaching. Cambridge University Press. ISBN 9780521531627
関連項目
外部リンク
- Weisstein, Eric W. "Eyeball Theorem". mathworld.wolfram.com (英語).
- Eyeball Theorem at Geometry from the Land of the Incas
- 眼球定理のページへのリンク