A hiperbolikus geometriában a hiperbolikus háromszög a hiperbolikus síkban lévő háromszög . Három szakaszból áll , amelyeket oldalaknak vagy éleknek neveznek , és három pontból , amelyeket sarkoknak vagy csúcsoknak neveznek .
Az euklideszi esethez hasonlóan egy tetszőleges dimenziójú hiperbolikus tér három pontja mindig ugyanabban a síkban van. Ezért a síkbeli hiperbolikus háromszögek olyan háromszögeket is leírnak, amelyek bármely nagy dimenziós hiperbolikus térben lehetségesek.
Egy hiperbolikus háromszög három nem kollineáris pontból és a köztük lévő három szakaszból áll [1] .
A hiperbolikus háromszögek tulajdonságai hasonlóak az euklideszi geometriában lévő háromszögekéhez :
A hiperbolikus háromszögek tulajdonságai hasonlóak a gömb- vagy elliptikus geometriájú háromszögekéhez :
A hiperbolikus háromszögek tulajdonságai ellentétesek a gömb- vagy elliptikus geometriájú háromszögekéivel :
A hiperbolikus háromszögek olyan tulajdonságokkal is rendelkeznek, amelyek más geometriákban nem találhatók meg:
A háromszög definíciója általánosítható úgy, hogy a csúcsok a hipersík ideális határán helyezkednek el úgy , hogy az oldalak a síkon belül fekszenek. Ha egy oldalpár aszimptotikusan párhuzamos (vagyis az ideális ponthoz közeledve a köztük lévő távolság nullára hajlik , de nem metszik egymást), akkor az ideális csúcsban végződnek , amelyet az omega-pont képvisel .
Egy ilyen oldalpárról azt mondják, hogy nulla szöget alkot.
A nulla szögű háromszög nem lehetséges az euklideszi geometriában különböző egyeneseken fekvő egyenes oldalak esetén . Ilyen nullaszögek azonban lehetségesek érintőköröknél .
Az egy tökéletes csúcsú háromszöget omega-háromszögnek nevezzük .
Speciális háromszögtípusok tökéletes csúcsokkal:
Olyan háromszög, amelyben egy csúcs ideális pont, egy szög derékszög - a harmadik szög a derékszög és a harmadik szög közötti oldal párhuzamossági szöge.
Olyan háromszög, amelyben a csúcsok közül kettő tökéletes pont, a fennmaradó szög pedig derékszög . Ez az egyik első hiperbolikus háromszög (1818), amelyet Ferdinand Karl Schweikert írt le.
Olyan háromszög, amelyben minden csúcs ideális pont. Egy ilyen háromszög a legnagyobb a lehetséges háromszögek közül Lobacsevszkij geometriájában, mivel szögösszege nulla.
A szögek és oldalak közötti kapcsolatok hasonlóak az azonos objektumok közötti kapcsolatokhoz a gömbi trigonometriában . A gömb- és Lobacsevszkij-geometria hosszskálája például egy egyenlő oldalú háromszög rögzített szögű oldalának hosszaként definiálható.
A hosszskála a legkényelmesebb, ha a hosszokat abszolút hosszban mérjük (egy speciális hosszegység, amely analóg a gömbgeometriában a távolságok arányával ). A hosszskála megválasztása megkönnyíti a képleteket [4] .
A felső félsíkon a Poincaré-modellt tekintve az abszolút hosszúság az infinitezimális metrikának felel meg , a Poincaré -korongmodellben pedig
A hiperbolikus sík (konstans negatív) Gauss-görbületét tekintve az abszolút hosszúság mértékegysége a hossznak felel meg.
Egy hiperbolikus háromszögben az A , B , C szögek összege (amelyek azonos betűkkel szemközti oldalaknak felelnek meg) szigorúan kisebb, mint az egyenes szög . Az egyenes szög mértéke és a háromszög szögeinek összege közötti különbséget a háromszög hibájának nevezzük . Egy hiperbolikus háromszög területe egyenlő a hibájának az R négyzet szorzatával :
Ez a tétel, amelyet először Johann Heinrich Lambert [5] bizonyított , összefügg Girard gömbgeometriai tételével .
Minden alábbi képletben az a , b és c oldalakat abszolút hosszban kell mérni , egy mértékegységben úgy, hogy a felület K Gauss-görbülete −1. Más szavakkal, a fenti bekezdésben szereplő R értékét 1-gyel egyenlőnek kell tekinteni.
A hiperbolikus háromszögek trigonometrikus képletei az sh, ch és th hiperbolikus függvényektől függenek .
Ha C a derékszöget jelenti , akkor:
A következő egyenlőségek igazak [7] :
TerületEgy derékszögű háromszög területe:
Négyzetszintén
[8] . A párhuzamosság szögeA Derékszögű Omega-háromszög példány konfigurációt biztosít a háromszög párhuzamossági szögének tesztelésére .
Abban az esetben, ha a szög B = 0, a = c = és , azt kapjuk, hogy ( b = szomszédos láb)
Egyenlő oldalú háromszögA derékszögű háromszög trigonometrikus képlete egy egyenlő oldalú háromszög s oldalai és A szögei közötti összefüggést is megadja (olyan háromszög, amelynek minden oldala azonos hosszúságú és minden szög egyenlő):
Függetlenül attól, hogy C derékszög-e vagy sem, a következő összefüggések érvényesek: A koszinuszok hiperbolikus törvénye :
Létezik a szinusz törvénye is :
és a négytagú képlet:
Hiperbolikus trigonometria esetén: