Egan conjecture
In geometry, the Egan conjecture gives a sufficient and necessary condition for the radii of two spheres and the distance of their centers, so that a simplex exists, which is completely contained inside the larger sphere and completely encloses the smaller sphere. The conjecture generalizes an equality discovered by William Chapple (and later independently by Leonard Euler), which is a special case of Poncelet's closure theorem, as well as the Grace–Danielsson inequality in one dimension higher.
The conjecture is named after the Australian mathematician and science-fiction author Greg Egan, and proposed in 2014. The "sufficient" part was proved in 2018, and the "necessary" part was proved in 2023.
Basics
For an arbitrary triangle ([math]\displaystyle{ 2 }[/math]-simplex), the radius [math]\displaystyle{ r }[/math] of its inscribed circle, the radius [math]\displaystyle{ R }[/math] of its circumcircle and the distance [math]\displaystyle{ d }[/math] of their centers are related through Euler's theorem in geometry:
- [math]\displaystyle{ d^2=R(R-2r) }[/math],
which was published by William Chapple in 1746[1] and by Leonard Euler in 1765.[2]
For two spheres ([math]\displaystyle{ 2 }[/math]-spheres) with respective radii [math]\displaystyle{ r }[/math] and [math]\displaystyle{ R }[/math], fulfilling [math]\displaystyle{ r\lt R }[/math], there exists a (non-regular) tetrahedron ([math]\displaystyle{ 3 }[/math]-simplex), which is completely contained inside the larger sphere and completely encloses the smaller sphere, if and only if the distance [math]\displaystyle{ d }[/math] of their centers fulfills the Grace–Danielsson inequality:
- [math]\displaystyle{ d^2\leq(R+r)(R-3r) }[/math].
This result was independently proven by John Hilton Grace in 1917 and G. Danielsson in 1949.[3][4] A connection of the inequality with quantum information theory was described by Anthony Milne.[5]
Conjecture
Consider [math]\displaystyle{ n }[/math]-dimensional euclidean space [math]\displaystyle{ \mathbb R^n }[/math] for [math]\displaystyle{ n\geq 2 }[/math]. For two [math]\displaystyle{ n-1 }[/math]-spheres with respective radii [math]\displaystyle{ r }[/math] and [math]\displaystyle{ R }[/math], fulfilling [math]\displaystyle{ r\lt R }[/math], there exists a [math]\displaystyle{ n }[/math]-simplex, which is completely contained inside the larger sphere and completely encloses the smaller sphere, if and only if the distance [math]\displaystyle{ d }[/math] of their centers fulfills:
- [math]\displaystyle{ d^2\leq(R+(n-2)r)(R-nr) }[/math].
The conjecture was proposed by Greg Egan in 2014.[6]
For the case [math]\displaystyle{ n=1 }[/math], where the inequality reduces to [math]\displaystyle{ d\leq R-r }[/math], the conjecture is true as well, but trivial. A [math]\displaystyle{ 0 }[/math]-sphere is just composed of two points and a [math]\displaystyle{ 1 }[/math]-simplex is just a closed interval. The desired [math]\displaystyle{ 1 }[/math]-simplex of two given [math]\displaystyle{ 0 }[/math]-spheres can simply be chosen as the closed interval between the two points of the larger sphere, which contains the smaller sphere if and only if it contains both of its points with respective distance [math]\displaystyle{ |d-r| }[/math] and [math]\displaystyle{ d+r }[/math] from the center of the larger sphere, hence if and only if the above inequality is satisfied.
Status
Greg Egan showed that the condition is sufficient under a blog post by John Baez on 16 April 2018.[6] Sergei Drozdov published a paper on ArXiv showing that the condition is also necessary on 16 October 2023.[7]
References
- ↑ 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. (November 2007), The Mathematical Gazette, ed., Euler and triangle geometry, 91, pp. 436–452
- ↑ Grace,J.H. (1918), Proc. London Math., ed., Tetrahedra in relation to spheres and quadrics, Soc.17, pp. 259–271
- ↑ 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
- ↑ Anthony Milne (2014-04-02). "The Euler and Grace-Danielsson inequalities for nested triangles and tetrahedra: a derivation and generalisation using quantum information theory" (in en). https://arxiv.org/abs/1404.0525.
- ↑ 6.0 6.1 John Baez (2014-07-01). "Grace–Danielsson Inequality" (in en). https://blogs.ams.org/visualinsight/2014/06/01/grace-danielsson-inequality/.
- ↑ Sergei Drozdov. "Egan conjecture holds" (in en). https://arxiv.org/abs/2310.10816.
 |  |
