Hyperbolisessa geometriassa hyperbolinen kolmio on kolmio hyperbolisessa tasossa . Se koostuu kolmesta segmentistä , joita kutsutaan sivuiksi tai reunoiksi , ja kolmesta pisteestä , joita kutsutaan kulmiksi tai pisteiksi .
Kuten euklidisessa tapauksessa, mielivaltaisen hyperbolisen avaruuden kolme pistettä ovat aina samassa tasossa. Siksi tasomaiset hyperboliset kolmiot kuvaavat myös kolmioita, jotka ovat mahdollisia missä tahansa korkean ulottuvuuden hyperbolisissa tiloissa.
Hyperbolinen kolmio koostuu kolmesta ei- kollineaarisesta pisteestä ja kolmesta niiden välisestä segmentistä [1] .
Hyperbolisilla kolmioilla on joitain ominaisuuksia, jotka ovat samanlaisia kuin euklidisen geometrian kolmioilla :
Hyperbolisilla kolmioilla on joitain ominaisuuksia, jotka ovat samanlaisia kuin pallomaisen tai elliptisen geometrian kolmioilla :
Hyperbolisilla kolmioilla on joitain ominaisuuksia, jotka ovat päinvastaisia kuin pallomaisessa tai elliptisessä geometriassa olevilla kolmioilla :
Hyperbolisilla kolmioilla on myös joitain ominaisuuksia, joita ei löydy muista geometrioista:
Kolmion määritelmää voidaan yleistää antamalla kärkien olla hypertason ideaalisella rajalla sivujen ollessa tason sisällä. Jos sivupari on asymptoottisesti yhdensuuntainen (eli niiden välinen etäisyys pyrkii nollaan lähestymään ideaalista pistettä , mutta ne eivät leikkaa), niin ne päättyvät ideaaliseen kärkeen , jota edustaa omega-piste .
Sellaisen sivuparin sanotaan muodostavan nollakulman.
Kolmio, jossa on nollakulma, ei ole mahdollinen euklidisessa geometriassa suoraviivaisille sivuille , jotka sijaitsevat eri viivoilla. Tällaiset nollakulmat ovat kuitenkin mahdollisia tangenttiympyröille .
Kolmiota, jolla on yksi täydellinen kärki, kutsutaan omega-kolmioksi .
Erikoistyypit kolmiot, joissa on täydelliset kärjet:
Kolmio, jossa yksi kärki on ihanteellinen piste, yksi kulma on suora kulma - kolmas kulma on yhdensuuntaisuuskulma oikean kulman ja kolmannen kulman väliselle sivulle.
Kolmio, jossa kaksi kärkeä on täydellisiä pisteitä ja jäljelle jäävä kulma on suora kulma . Tämä on yksi ensimmäisistä hyperbolisista kolmioista (1818), jonka kuvaili Ferdinand Karl Schweikert.
Kolmio, jonka kaikki kärjet ovat ihanteellisia pisteitä. Tällainen kolmio on suurin Lobatševskin geometrian mahdollisista kolmioista, koska sen kulmien summa on nolla.
Kulmien ja sivujen väliset suhteet ovat samanlaisia kuin samojen objektien väliset suhteet pallomaisessa trigonometriassa . Pallomaisen ja Lobatševskin geometrian pituusasteikko voidaan määritellä esimerkiksi tasasivuisen kolmion sivun pituudeksi, jossa on kiinteät kulmat.
Pituusasteikko on kätevin, jos pituudet mitataan absoluuttisena pituutena (erityinen pituuden yksikkö, joka on analoginen etäisyyksien välisen suhteen kanssa pallomaisessa geometriassa ). Pituusasteikon valinta helpottaa kaavoja [4] .
Poincarén mallin suhteen yläpuolitasossa absoluuttinen pituus vastaa infinitesimaalimetriikkaa ja Poincarén levymallissa se vastaa
Hyperbolisen tason (vakio negatiivisen) Gaussin kaarevuuden K suhteen absoluuttisen pituuden yksikkö vastaa pituutta.
Hyperbolisessa kolmiossa kulmien A , B , C summa (jotka vastaavat samoilla kirjaimilla olevia vastakkaisia puolia) on tiukasti pienempi kuin suora kulma . Suoran kulman mitan ja kolmion kulmien summan välistä eroa kutsutaan kolmion virheeksi . Hyperbolisen kolmion pinta- ala on yhtä suuri kuin sen vika kerrottuna neliöllä R :
Tämä Johann Heinrich Lambertin [5] ensimmäisenä todistama lause liittyy Girardin lauseeseen pallogeometriassa.
Kaikissa alla olevissa kaavoissa sivut a , b ja c on mitattava absoluuttisena pituutena , yksikkönä siten, että pinnan Gaussin kaarevuus K on −1. Toisin sanoen, R :n arvo yllä olevassa kappaleessa tulisi katsoa yhtä suureksi kuin 1.
Hyperbolisten kolmioiden trigonometriset kaavat riippuvat hyperbolisista funktioista sh, ch ja th.
Jos C tarkoittaa oikeaa kulmaa , niin:
Seuraavat yhtäläisyydet ovat totta [7] :
AlueSuorakulmaisen kolmion pinta-ala on:
Neliöyhtä hyvin kuin
[8] . Yhdensuuntaisuuden kulmaRight Angle Omega Triangle Instance tarjoaa konfiguraation kolmion yhdensuuntaisuuskulman testaamiseen .
Siinä tapauksessa, että kulma B = 0, a = c = ja , saadaan ( b = viereinen jalka)
Tasasivuinen kolmioSuorakulmaisten kolmioiden trigonometriset kaavat antavat myös tasasivuisen kolmion sivujen s ja kulmien A välisen suhteen (kolmio, jonka kaikki sivut ovat yhtä pitkiä ja kaikki kulmat yhtä suuret):
Riippumatta siitä, onko C suora kulma vai ei, seuraavat suhteet pätevät: Hyperbolinen kosinilaki :
On olemassa myös sinilaki :
ja neljän termin kaava:
Hyperbolinen trigonometria: