Miután
meg tudjuk adni a P-modellen felvett háromszög szögeinek és oldalainak a mérőszámait, valamint adott mérőszámokhoz
meg tudjuk szerkeszteni a nekik megfelelő szakaszokat és szögeket, megmutatjuk, hogy melyek azok az euklideszi geometriából ismert szinusz- és koszinusztételhez hasonló összefüggések, amelyek lehetővé teszik, hogy a P-modellen is meg tudjuk határozni a háromszög bármely három numerikus alapadatából (oldalai hosszából és szögei mértékéből) a további hármat.
A szakaszok hosszát megadó képletekben használtuk először a
már bemutatott
konstanst, amelyet a tetszőlegesen választható
d =Távolság[(0,0),E] értékből számoltunk ki. Ez a p paraméter szerepel a hiperbolikus geometria trigonometrikus képleteiben is. Az
ABC háromszögben a szögek (és mérőszámuk is) legyen
α, β, γ , oldalainak a H-távolsága
a, b, c!
Mutassuk meg, hogy a hiperbolikus geometriában érvényes a trigonometrikus és
hiperbolikus függvényeket tartalmazó
a.) H-szinusztétel:
b.) a szögekre vonatkozó H-koszinusztétel:
c.) az oldalakra vonatkozó H-koszinusztétel:
Mutassuk meg, hogy a fenti összefüggések érvényessége független a mértékegység megválasztásától.