Un triunghi ideal este un triunghi în geometria Lobachevsky , ale cărui vârfuri sunt ideale , sau la infinit, puncte. Triunghiurile ideale sunt uneori numite triunghiuri asimptotice de trei ori . Vârfurile lor sunt uneori numite vârfuri ideale . Toate triunghiurile perfecte sunt egale.
Triunghiurile ideale au următoarele proprietăți:
În planul standard Lobachevsky (o suprafață în care curbura Gauss este constantă și egală cu −1), un triunghi ideal are, de asemenea, următoarele proprietăți:
Dacă curbura spațiului este -K , alta decât −1, ariile de mai sus trebuie înmulțite cu , iar lungimile și distanțele cu .
Deoarece un triunghi ideal este cel mai mare posibil în geometria Lobachevsky, valorile de mai sus sunt cele mai mari posibile pentru triunghiuri în geometria Lobachevsky. Acest fapt este important pentru studierea spațiului Lobachevsky.
În modelul Poincaré în cercul planului Lobachevsky, un triunghi ideal este format din trei cercuri care intersectează cercul limită în unghi drept.
În modelul Poincaré, într-un semiplan, un triunghi ideal arată ca un arbelos - o figură între trei semicercuri care se ating.
În modelul proiectiv, un triunghi ideal este un triunghi euclidian înscris în cercul limită. Mai mult, pe modelul proiectiv, unghiurile de la vârfurile unui triunghi ideal nu sunt egale cu zero, deoarece acest model, spre deosebire de modelele Poincaré, nu păstrează unghiurile.
Grup triunghiular ideal (∞ ∞ ∞). |
Un alt placă ideală |
Grupul real al unui triunghi ideal este grupul de transformări generate de reflexiile planului Lobaciovski față de laturile unui triunghi ideal. Ca grup abstract, este izomorf cu un produs liber de trei grupuri de două elemente. Ca urmare a reflexiilor, se obține o placare a planului Lobachevsky cu triunghiuri ideale.