イーガン予想

イーガン予想（イーガンよそう、英: Egan conjecture）は2つの超球面について、一方に完全に含まれ、もう一方を囲みこむような単体を持つ、超球面の半径と中心の距離に関する必要十分条件に関する予想である。イーガン予想はウィリアム・チャップル（英語版）（後に、レオンハルト・オイラー）の発見した等式である、オイラーの定理の一般化である。オイラーの定理はまた、ポンスレの閉形問題の特殊な場合で、3次元のグレース＝ダニエルソン不等式となる。 2014年にオーストラリアの数学者兼SF小説家のグレッグ・イーガンにより提案され、2018年に十分性が、2023年に必要性が証明された。 任意の三角形（2次元単体）は内接円と外接円（1次元球面）を持つ。それぞれの半径を r , R {\displaystyle r,R} 、また内心と外心の距離を d {\displaystyle d} とすると、オイラーの定理によれば次の式が成立する。 d 2 = R ( R − 2 r ) {\displaystyle d^{2}=R(R-2r)} , 1746年にチャップル、1765年にオイラーがそれぞれ独自に証明した。逆に、上の式を満たす2円はそれぞれを内接円、外接円とする三角形を持つ。 2つの球面（2次元球面）の半径をそれぞれ r , R   ( r < R ) {\displaystyle r,R\ (r<R)} 、中心の距離を d {\displaystyle d} とする。グレース＝ダニエルソン不等式によれば、半径 R {\displaystyle R} の球面に完全に含まれ、半径 r {\displaystyle r} の球面を完全に囲む、非正単体の三角錐（3次元単体）をもつ必要十分条件は次の式で表される。 d 2 ≤ ( R + r ) ( R − 3 r ) {\displaystyle d^{2}\leq (R+r)(R-3r)} . この結果は1917年にジョン・ヒルトン・グレース（英語版）、1949年にG・ダニエルソンによって独自に証明された。アンソニー・ミルンはグレース＝ダニエルソン不等式と量子情報理論の関連性について述べた。 n次元ユークリッド空間 R n {\displaystyle \mathbb {R} ^{n}} （ n ≥ 2 {\displaystyle n\geq 2} ）上の、半径が r , R   ( r < R ) {\displaystyle r,R\ (r<R)} である n − 1 {\displaystyle n-1} 球面について、半径 R {\displaystyle R} の球面に完全に含まれ、半径 r {\displaystyle r} の球面を完全に囲むn次元単体が存在する必要十分条件は次の式で表される。 d 2 ≤ ( R + ( n − 2 ) r ) ( R − n r ) {\displaystyle d^{2}\leq (R+(n-2)r)(R-nr)} . この予想は2014年にグレッグ・イーガンに提案された。 n = 1 {\displaystyle n=1} の場合でも、 d ≤ R − r {\displaystyle d\leq R-r} となり明らかに式は成り立つ。0次元球面は単に点、1次元単体は単に区間（線分）となるため、2点間の区間を選べばよいためである。 この定理はn次元におけるオイラーの不等式を含んでいる。 2014年、イーガンはジョン・C・バエス（英語版）のブログで、この予想の十分性を示した。ウェブサイトの再編成に伴い、一度もとのブログは消滅してしまったが、その中心部は元のブログにコピーされて残っている。2018年4月16日、イーガンは楕円体に一般化された予想について言及した。2023年10月16日、セルゲイ・ドロズコフはArXiv上でイーガン予想の必要性を示す論文を発表した。 ^ Kuznetsov, N. V.; Lobachev, M. Y.; Yuldashev, M. V.; Yuldashev, R. V.; Kuznetsov, V. O.; Kolumbán†, G.; Chechurin, L. S. (2021-01-01). “The pull-in range and a counterexample to the Egan conjecture for the fourth-order type 2 analog PLL”. IFAC-PapersOnLine 54 (21): 73–78. doi:10.1016/j.ifacol.2021.12.013. ISSN 2405-8963. https://www.sciencedirect.com/science/article/pii/S2405896321023521.  ^ Chapple, William, Miscellanea Curiosa Mathematica, ed., An essay on the properties of triangles inscribed in and circumscribed about two given circles (1746), 4, pp. 117–124, formula on the bottom of page 123  ^ Leversha, Gerry; Smith, G. C.『Euler and triangle geometry』 91巻、The Mathematical Gazette、November 2007、436–452頁。https://www.jstor.org/stable/40378417。  ^ Grace, J.H. 著、Proc. London Math. 編『Tetrahedra in relation to spheres and quadrics』 Soc.17、1918年、259–271頁。https://academic.oup.com/plms/article-abstract/s2-17/1/259/1536552。  ^ Danielsson, G. (1952), Johan Grundt Tanums Forlag, ed., Proof of the inequality d2≤(R+r)(R−3r) for the distance between the centres of the circumscribed and inscribed spheres of a tetrahedron, pp. 101–105  ^ Lajos Laszlo (2018). “On the Grace-Danielsson inequality for tetrahedra”. Department of Numerical Analysis, Eotvos Lorand University, Budapest. arXiv:1805.08435.  ^ Anthony Milne (2014年4月2日). “The Euler and Grace-Danielsson inequalities for nested triangles and tetrahedra: a derivation and generalisation using quantum information theory” (英語). 2023年11月22日閲覧。 ^ a b John Baez (2014年7月1日). “Grace–Danielsson Inequality” (英語). 2023年11月22日閲覧。 ^ Sergei Drozdov. “Egan conjecture holds” (英語). 2023年11月22日閲覧。 “n次元におけるEulerの不等式の初等的証明とEgan予想”. Metachick-2021. 2024年7月21日閲覧。