En ideel trekant er en trekant i Lobachevsky-geometrien , hvis toppunkter alle tre er ideelle eller uendelige punkter. Perfekte trekanter kaldes undertiden tre gange asymptotiske trekanter . Deres toppunkter kaldes undertiden ideelle toppunkter . Alle perfekte trekanter er lige store.
Ideelle trekanter har følgende egenskaber:
I standard Lobachevsky-planet (en overflade, hvor den Gaussiske krumning er konstant og lig med -1), har en ideel trekant også følgende egenskaber:
Hvis rummets krumning er -K andet end -1, skal arealerne ovenfor ganges med , og længderne og afstandene med .
Da en ideel trekant er den størst mulige i Lobachevsky-geometrien, er ovenstående værdier de størst mulige for trekanter i Lobachevsky-geometrien. Denne kendsgerning er vigtig for at studere Lobachevsky-rummet.
I Poincaré-modellen i Lobachevsky-planets cirkel dannes en ideel trekant af tre cirkler, der skærer grænsecirklen i rette vinkler.
I Poincaré-modellen, i et halvplan, ligner en ideel trekant en arbelos - en figur mellem tre rørende halvcirkler.
I den projektive model er en ideel trekant en euklidisk trekant indskrevet i grænsecirklen. Desuden, på den projektive model, er vinklerne ved hjørnerne af en ideel trekant ikke lig med nul, da denne model, i modsætning til Poincaré-modellerne, ikke bevarer vinkler.
Ideel (∞ ∞ ∞) trekantgruppe |
Endnu en ideel flisebelægning |
Den reelle gruppe af en ideel trekant er gruppen af transformationer , der genereres af refleksioner af Lobachevsky-planet med hensyn til siderne af en ideel trekant. Som en abstrakt gruppe er den isomorf til et frit produkt af tre grupper af to elementer. Som et resultat af refleksioner opnås en flisebelægning af Lobachevsky-planet med ideelle trekanter.