七円定理

幾何学における、七円定理（なな（しち）えんていり、英語: seven circles theorem）はユークリッド平面上の7つの円に関する定理である。 6つの円O1,O2,O3,O4,O5,O6がそれぞれ隣り合う2つの円とそれぞれ接し、また6つの円すべてが1つの円O7と（内部または外部で）接しているとする。O7との接点と6つの円について反対の円（隣り合う円とも隣り合わない円）とO7の接点を結んだ直線延べ3本は共点である。1974年、EvelynとMoney-CouttsとTyrrellによって、初等幾何学的な証明が発見された。 スタンレー・ラビノヴィッツ（Stanley Rabinowitz）の6円が内部にある場合の証明を紹介する。 以下の補題を使用する。 ・弦のチェバの定理:ある円の弦A1A4,A2A5,A3A6が一点Pで交わることと、A1A2・A3A4・A5A6 = A2A3・A4A5・A6A1が成り立つことは同値。 円周角の定理と三角形の相似から A 1 A 2 A 4 A 5 = A 1 P A 5 P , A 3 A 4 A 6 A 1 = A 3 P A 1 P , A 5 A 6 A 2 A 3 = A 5 P A 3 P {\displaystyle {\frac {A_{1}A_{2}}{A_{4}A_{5}}}={\frac {A_{1}P}{A_{5}P}},{\frac {A_{3}A_{4}}{A_{6}A_{1}}}={\frac {A_{3}P}{A_{1}P}},{\frac {A_{5}A_{6}}{A_{2}A_{3}}}={\frac {A_{5}P}{A_{3}P}}} が成り立つので、辺々掛けて示される。 ・中心をC1,C2、半径をr1,r2とする円O1,O2がMで外接し、また中心C、半径Rの円OとそれぞれA1A2で接するとき A 1 A 2 2 4 R 2 = r 1 r 2 ( R − r 1 ) ( R − r 2 ) {\displaystyle {\frac {{A_{1}A_{2}}^{2}}{4R^{2}}}={\frac {r_{1}r_{2}}{(R-r_{1})(R-r_{2})}}} が成立する。 A1M,A2Mと円Oの二つ目の交点をD,Eとする。△C1A1M,△CA1Dは一つの角を共有し、また二等辺三角形なので、相似でC1M//CDが従う。同様に、C2M//CEが従い、C1,C2Mの共線よりD,C,Eは共線である。ところで円周角の定理と三角形の相似から、 A 1 A 2 D E = A 1 M M E = A 2 M M D {\displaystyle {\frac {A_{1}A_{2}}{DE}}={\frac {A_{1}M}{ME}}={\frac {A_{2}M}{MD}}} である。D,C,Eの共線よりDEはOの直径であり、 A 1 A 2 2 4 R 2 = A 1 A 2 2 D E 2 = A 1 M ⋅ A 2 M M E ⋅ M D = A 1 M ⋅ A 2 M M D ⋅ M E = r 1 r 2 ( R − r 1 ) ( R − r 2 ) {\displaystyle {\frac {{A_{1}A_{2}}^{2}}{4R^{2}}}={\frac {{A_{1}A_{2}}^{2}}{{DE}^{2}}}={\frac {A_{1}M\cdot A_{2}M}{ME\cdot MD}}={\frac {A_{1}M\cdot A_{2}M}{MD\cdot ME}}={\frac {r_{1}r_{2}}{(R-r_{1})(R-r_{2})}}} と変形して、示される。 6円Oi , i={1,2,...,6}とO7の接点をそれぞれAiとする。二つ目の補題より A 1 A 2 ⋅ A 3 A 4 ⋅ A 5 A 6 = 8 R 3 ∏ i = 1 6 r i R − r i = A 2 A 3 ⋅ A 4 A 5 ⋅ A 6 A 1 {\displaystyle A_{1}A_{2}\cdot A_{3}A_{4}\cdot A_{5}A_{6}=8R^{3}{\sqrt {\prod _{i=1}^{6}{\frac {r_{i}}{R-{r_{i}}}}}}=A_{2}A_{3}\cdot A_{4}A_{5}\cdot A_{6}A_{1}} なので、一つ目の補題より、A1A4,A2A5,A3A6は一点で交わる。 6つの円が外部にある場合は分母がR+riとなるだけで、同様に証明できる。 五円定理 六円定理 八円定理 九円定理 シュタイナー円鎖 ラムゼーの定理 ミケルの定理 ダオの六円定理（オランダ語版） クリフォードの定理 ブリアンションの定理 Cundy, H. Martyn (1978). “The seven-circles theorem”. The Mathematical Gazette 62 (421): 200–203. doi:10.2307/3616692. JSTOR 3616692.  Evelyn, C. J. A.、Money-Coutts, G. B.、Tyrrell, J. A.『The Seven Circles Theorem and Other New Theorems』Stacey International、London、1974年。ISBN 978-0-9503304-0-2。https://www.cambridge.org/core/journals/mathematical-gazette/article/abs/seven-circles-theorem-and-other-new-theorems-by-c-j-a-evelyn-g-b-moneycoutts-and-j-a-tyrrell-pp-viii-68-280-1974-sbn-0-950-3304-ox-stacey-international/0D651BCF5B021542D4A4BAA4FCA3BDA1。  Wells, D. (1991). The Penguin Dictionary of Curious and Interesting Geometry. New York: Penguin Books. pp. 227–228. ISBN 0-14-011813-6. https://archive.org/details/penguindictionar0000well/page/227  “A Hyperbolic View of the Seven Circles Theorem”. arxiv. 2024年6月30日閲覧。 Adam Brown (2003). “A Connection between Brianchon's Theorem and the Seven Circles Theorem”. The Mathematical Gazette (Vol 87): 569-572. https://www.jstor.org/stable/3621313.  the Seven Circles Theorem by Stanley Rabinowitz, with a proof based on Ceva's theorems. Weisstein, Eric W. "Seven Circles Theorem". mathworld.wolfram.com (英語). Interactive Applet by Michael Borcherds showing The Seven Circles Theorem made using GeoGebra. Seven Circles Theorem at Cut-the-knot.