Egan-Vermutung

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Die Egan-Vermutung aus dem mathematischen Teilgebiet der Geometrie gibt eine hinreichende und notwendige Bedingung für die Radien zweier Sphären sowie den Abstand ihrer Mittelpunkte an, sodass ein Simplex existiert, welcher komplett in der größeren Sphäre enthalten ist und die kleinere Sphäre komplett enthält. Die Vermutung verallgemeinert eine von William Chapple (und später unabhängig von Leonhard Euler) entdeckte Gleichung, welche ein Spezialfall des Schließungssatzes von Poncelet ist, sowie die Grace–Danielsson-Ungleichung in einer Dimension höher. Benannt ist die Vermutung nach dem australischen Mathematiker und Science-Fiction-Schriftsteller Greg Egan.

Für ein beliebiges Dreieck (-Simplex) sind der Radius dessen Inkreises, der Radius dessen Umkreises und der Abstand ihrer Mittelpunkte verbunden über den Satz von Euler:

,

welcher von William Chapple im Jahr 1746[1] und von Leonhard Euler im Jahr 1765[2] veröffentlicht wurde.

Für zwei Kugeln (-Sphären) mit jeweiligem Radius und , wobei , gibt es genau dann ein (nicht regelmäßiges) Tetraeder (-Simplex), welches komplett in der größeren Kugel enthalten ist und die kleinere Kugel komplett enthält, wenn der Abstand ihrer Mittelpunkte die Grace–Danielsson-Ungleichung erfüllt:

.

Dieses Resultat wurde unabhängig voneinander von John Hilton Grace im Jahr 1917 und G. Danielsson im Jahr 1949 bewiesen.[3][4] Eine Verbindung der Ungleichung mit der Quanteninformationstheorie wurde von Anthony Milne beschrieben.[5]

Betrachtet wird der -dimensionale euklidische Raum für . Für zwei -Sphären mit jeweiligem Radius und , wobei , existiert ein -Simplex, welcher komplett in der größeren Sphäre enthalten ist und die kleinere Sphäre komplett enthält, genau dann wenn für den Abstand ihrer Mittelpunkte:

.

Die Vermutung wurde von Greg Egan im Jahr 2014 aufgestellt.[6]

Für den Fall , bei dem sich die Ungleichung auf vereinfacht, ist die Vermutung ebenfalls richtig, jedoch trivial. Eine -Sphäre besteht nur aus zwei Punkten und ein -Simplex ist nur ein abgeschlossenes Intervall. Für den gesuchten -Simplex für zwei gegebene -Sphären kann einfach das abgeschlossene Intervall zwischen den beiden Punkten der größeren Sphäre genommen werden, wobei diese die kleinere Sphäre genau dann enthält, wenn sie beide Punkte mit jeweiligem Abstand und vom Mittelpunkt der größeren Sphäre enthält, also genau bei Erfüllung der obigen Ungleichung.

Im Jahr 2014 wurde von Greg Egan unter einem Blogpost von John Baez gezeigt, dass die Bedingung hinreichend ist. Durch eine Umgestaltung der Webseite gingen diese zwar verloren, jedoch sind die entscheidenden Teile in den ursprünglichen Blogpost hineinkopiert worden. Weitere Kommentare vom 16. April 2018 von Greg Egan betreffen den Versuch einer Verallgemeinerung auf Ellipsoide.[6] Am 16. Oktober 2023 wurde von Sergei Drozdov ein Paper auf ArXiv veröffentlicht, nach welchem die Bedingung ebenfalls notwendig ist.[7]

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Chapple, William: An essay on the properties of triangles inscribed in and circumscribed about two given circles (1746). Hrsg.: Miscellanea Curiosa Mathematica. Band 4, S. 117–124, Formel auf Seite 123 unten.
  2. Leversha, Gerry; Smith, G. C.: Euler and triangle geometry. Hrsg.: The Mathematical Gazette. Band 91, November 2007, S. 436–452.
  3. Grace,J.H.: Tetrahedra in relation to spheres and quadrics. Hrsg.: Proc. London Math. Soc.17, 1918, S. 259–271.
  4. Danielsson,G.: Proof of the inequality d2≤(R+r)(R−3r) for the distance between the centres of the circumscribed and inscribed spheres of a tetrahedron. Hrsg.: Johan Grundt Tanums Forlag. 1952, S. 101–105.
  5. Anthony Milne: The Euler and Grace-Danielsson inequalities for nested triangles and tetrahedra: a derivation and generalisation using quantum information theory. 2. April 2014, abgerufen am 22. November 2023 (englisch).
  6. a b John Baez: Grace–Danielsson Inequality. 1. Juli 2014, abgerufen am 22. November 2023 (englisch).
  7. Sergei Drozdov: Egan conjecture holds. Abgerufen am 22. November 2023 (englisch).