In der hyperbolische Geometrie ist ein ideales Dreieck ein hyperbolisches Dreieck, dessen drei Ecken sich im idealen Rand befinden.

Drei ideale Dreiecke im Kreisscheibenmodell
Zwei ideale Dreiecke im Halbraummodell

Allgemeiner können ideale Dreiecke in Mannigfaltigkeiten nichtpositiver Schnittkrümmung definiert werden.

Eigenschaften

Bearbeiten
  • Alle idealen Dreiecke sind kongruent zueinander.
  • Die Innenwinkel eines idealen Dreiecks sind alle Null.
  • Ein ideales Dreieck hat unendlich großen Durchmesser.
  • Ein ideales Dreieck ist in keinem größeren hyperbolischen Dreieck enthalten.
 
Der Inkreis eines idealen Dreiecks im Beltrami-Klein-Modell und im Kreisscheibenmodell

In der hyperbolischen Geometrie, also in Räumen der Schnittkrümmung −1, gilt weiterhin:

  • Ideale Dreiecke haben den Flächeninhalt  .
  • Der Inkreis eines idealen Dreiecks hat den Radius
 .
Der Abstand eines inneren Punktes zum Rand des idealen Dreiecks ist höchstens   mit Gleichheit nur für den Inkreis-Mittelpunkt.
  • Die Berührungspunkte des Inkreises mit dem Rand des idealen Dreiecks bilden ein gleichseitiges Dreieck der Seitenlänge   mit dem goldenen Schnitt  .
  • Der Abstand eines Randpunktes zu einer anderen Randseite ist höchstens  , mit Gleichheit nur für die Berührpunkte des Inkreises.

Dünne Dreiecke und Gromov-Hyperbolizität

Bearbeiten
 
δ-dünne Dreiecke in der Definition δ-hyperbolischer Räume

Für   liegt jede Seite eines idealen Dreiecks in der  -Umgebung der Vereinigung der beiden anderen Seiten. Weil jedes andere hyperbolische Dreieck in einem idealen Dreieck enthalten ist, folgt daraus die δ-Hyperbolizität der hyperbolischen Ebene und aller höherdimensionalen hyperbolischen Räume.

Im Kreisscheibenmodell der hyperbolischen Ebene wird ein hyperbolisches Dreieck von drei Kreisen berandet, die den Kreis im Unendlichen in drei rechten Winkeln schneiden.

Im Halbraummodell wird ein ideales Dreieck von drei senkrecht aufeinander und auf der reellen Gerade stehenden Halbkreisen oder Geraden berandet.

Im Beltrami-Klein-Modell ist ein ideales Dreieck ein in den Kreis im Unendlichen einbeschriebenes euklidisches Dreieck. Die euklidischen Innenwinkel sind nicht Null, da dieses Modell nicht konform ist.

Ideale Dreiecksgruppen

Bearbeiten

Reelle ideale Dreiecksgruppen

Bearbeiten
 
Die ideale  -Dreiecksgruppe

Eine reelle ideale Dreiecksgruppe ist die von Spiegelungen der hyperbolischen Ebene an den drei Seiten eines idealen Dreiecks erzeugte Spiegelungsgruppe. Sie ist isomorph zum freien Produkt  .

Komplexe ideale Dreiecksgruppe

Bearbeiten

Eine komplexe ideale Dreiecksgruppe ist die von den komplexen Spiegelungen der komplex-hyperbolischen Ebene an den drei Seiten eines idealen Dreiecks erzeugte Spiegelungsgruppe.

Literatur

Bearbeiten
  • Richard Evan Schwartz: Ideal triangle groups, dented tori, and numerical analysis, Annals of Mathematics 153, 533–598 (2001)