テボーの定理

テボーの定理（テボーのていり、英: Thébault's theorem、仏: Théorème de Thébault）は、フランスの数学者、ヴィクトル・テボー（英語版、フランス語版）が提唱したいくつかの幾何学の問題の総称である。それぞれは、テボーの問題I, II, IIIとして知られている。 ある平行四辺形の4辺の外側に正方形を作る。このとき、4つの正方形の中心は正方形を作る（デポールの定理、テボールの定理とも呼ばれる）。 これはヴァン・オーベルの定理の特別な場合である。またヴァン・オーベルの定理は、ペトル＝ダグラス＝ノイマンの定理の系でもある。 ある正方形の隣り合う二辺に正三角形を作る。ただし、双方ともに、外側または内側にあるとする。このとき、2つの正三角形の頂点でない正方形の頂点と、正方形の頂点でない二つの正三角形の頂点が成す三角形は正三角形である。 ある三角形ABCと、BC上の点Mについて、BC,AMと三角形ABCの外接円に接する（内接する）円をAMの両側にそれぞれ作る。 2つの円の中心P,Qと三角形ABCの内心Iは共線である。澤山-テボーの定理（Sawayama-Thébault theorem,Sawayama and Thébault's theorem）とも呼ばれている。また、円P,Qは曲線内接円（curvilinear incircle）と呼ばれる。 2003年まで、学会はテボーの問題 IIIの証明はこれらの問題の中で最も難しいと考えていた。テボーの問題 IIIは1938年、American Mathematical Monthly（英語版）で紹介され、1973年に、オランダの数学者H・ストリーフカーク（H. Streefkerk）によって証明された。しかし東京の陸軍中央幼年学校の教官であった陸軍教授澤山勇三郞が1905年に独自に証明を与えていたことが、2003年、ジャン＝ルイ・エーメ（Jean-Louis Ayme）によって発見された。 テボーの問題 IIIの円を傍接に置き換えたもの、つまり内心を傍心に、2つの円を外接円に外接するように置き換えたものは、2002年、Shay Gueronによって発見され、 ケイシーの定理を用いて証明された 。澤山-テボーの定理は以下のようにも言い換えることができる。 定理 ― ∠AMB=θ、AM,BCと△ABCの外接円に内接するB,C側の円の中心をそれぞれP,Q、内心をIとすると以下の式が成り立つ。 P I I Q = tan 2 ⁡ θ 2 . {\displaystyle {\frac {PI}{IQ}}=\tan ^{2}{\frac {\theta }{2}}.} ・円QとBC,AMの接点をE,Fとする。E,F,Iは共線である。 　円Qと△ABCの外接円Oとの接点をKとする。Kを中心とする円の相似からKEとOの交点Nは弧BCの中点、つまりAIとOの交点である。したがって、KEは∠BKCの二等分線である。またKFとOの交点をL、ANとEFの交点をJとして、EF//NLなのでライムの定理の逆から、A,J,F,Kは共円である。△AFJとF,E,Jに、ミケル点をKとしてミケルの定理を用いることで、AJと円JEKはJで接することが分かる。円Q,JEKはEKで共軸で、AJと円JEKが接することから、Nを中心としJを通る円と円JEK,Qは直交する。ところで、∠NKB=∠NCB=∠NBCと接弦定理の逆から円BKEはBNと接するので、共軸な3円Q,JEK,BEKは、すべてNを中心としJを通る円と直交する。したがってNB=NJ=NCである。トリリウムの定理よりNB=NI=NCなのでI=J。以上よりE,F,Iの共線が示された。 特にM=Bとすると、円QはBの混線内接円となり、この補題はニクソンの定理（theorem of Nixon,Nixon theorem）と呼ばれる。Dao Thanh Oaiは等角共役点を用いた一般化を発表している。 ・P,Q,Iは共線である。 円PとBC,AMの接点をG,Hとする。P,Qはそれぞれ∠AMBの内側、外側の二等分線上にあり、またGH,EFはそれぞれの垂線であるので、GH//MQ,EF//MPである。さらにPG//QEなのでパップスの六角形定理の逆より、P,Q,Iの共線が示された。 ^ Weisstein, Eric W.. “Thébault's Theorem” (英語). MathWorld. 2024年7月15日閲覧。 ^ 一松信,畔柳和生『重心座標による幾何学』現代数学社、9/12、81頁。  ^ “Thébault's Problem I”. www.cut-the-knot.org. 2024年5月18日閲覧。 ^ “Thébault's Problem II”. www.cut-the-knot.org. 2024年5月18日閲覧。 ^ Alexander Ostermann, Gerhard Wanner (2012). Geometry by Its History. Heidelberg ; New York : Springer. pp. 226-230. https://archive.org/details/geometrybyitshis0000oste  ^ “Thébault's Problem III”. www.cut-the-knot.org. 2024年5月18日閲覧。 ^ Shail, R. (2001). “A Proof of Thébault's Theorem”. The American Mathematical Monthly 108 (4): 319–325. doi:10.2307/2695238. ISSN 0002-9890. https://www.jstor.org/stable/2695238.  ^ a b Dao Thanh Oai,Cao Mai Doai, Quang Trung, Kien Xuong, Thai Binh, Vietnam (2016). “A Generalization of the Sawayama and Th´ebault’s Theorem”. International Journal of Computer Discovered Mathematics (IJCDM) Volume 1: 33-35. https://www.journal-1.eu/2016-3/Dao-Thanh-Oai-Sawayama-Thebault-pp.33-35.pdf.  ^ エヴァン・チェン『数学オリンピック幾何への挑戦、ユークリッド幾何をめぐる船旅』日本評論社、2/15、96-97頁。  ^ Zvonko Cerin (2011). “On Thebault’s Problem 3887”. Journal for Geometry and Graphics Volume 15: 113-127. https://heldermann-verlag.de/jgg/jgg15/j15h2ceri.pdf.  ^ 『官報』第5444号、明治34年8月24日。 ^ a b Ayme, Jean-Louis (2003), “Sawayama and Thébault's theorem”, Forum Geometricorum 3: 225–229, MR2055379, http://forumgeom.fau.edu/FG2003volume3/FG200325.pdf  ^ Sawayama, Y. (1905-12-01). A New Geometrical Proposition. JSTOR. The American Mathematical Monthly. http://archive.org/details/jstor-2967716  ^ 森本清吾『沢山勇三郎全集』岩波書店、1938年。doi:10.11501/1239383。  ^ a b Gueron, Shay (April 2002). “Two Applications of the Generalized Ptolemy Theorem”. The American Mathematical Monthly 109 (4): 362–370. doi:10.2307/2695499. JSTOR 2695499. http://geometry.ru/articles/Two_Casey.pdf.  ^ Wilfred Reyes. “AnApplication of Th´ ebault’s Theorem”. Forum Geometricorum. 2024年5月23日閲覧。 ^ “Y. Sawayama's Lemma”. www.cut-the-knot.org. 2024年5月20日閲覧。 ^ Paris Pamfilos. “Pairings of Circles and Sawayama’s Theorem”. Forum Geometricorum. 2024年5月20日閲覧。 ^ Nguyen Chuong Chi (2018). “A Proof of Dao’s Generalization of the Sawayama Lemma”. International Journal of Computer Discovered Mathematics (IJCDM) Volume 3: 1-4. https://journal-1.eu/2018/Nguyen%20Chuong%20Chi%20-%20Dao's%20generalization.pdf.  ^ ライムの定理（Reim's theorem）:2点A,Bを通る2つの円の片方に点E,Fがあるとする。AE,BFともう一方の円の交点をそれぞれG,HとするとEF,GHは平行である[1]。内接四角形の角とその対角の外角が等しいことから導かれる。 Thébault's problems and variations at cut-the.knot.org