Hiperbolička geometrija

U matematici, **hiperbolička geometrija** (poznata i kao *geometrija [[Nikolaj Lobačevski|Lobačevskog]]* ili *geometrija [[Janoš Boljaj|Boljaj]]-Lobačevskog*) je neeuklidska geometrija, u kojoj je promenjen peti postulat euklidske geometrije.

Postulat paralelnosti u euklidskoj geometriji je ekvivalentan tvrđenju da, u dvodimenzionom prostoru, za proizvoljnu pravu *l* i tačku *P* koja joj ne pripada, postoji tačno jedna prava koja sadrži *P* i ne seče pravu *l*, odnosno koja je paralelna sa *l*. U hiperboličkoj geometriji postoje bar dve prave kroz *P* koje nemaju zajedničkih tačaka sa *l*, što znači da ne važi postulat paralelnosti. U okviru euklidske geometrije konstruisani su modeli koji poštuju aksiome hiperboličke geometrije, čime je dokazano da je peti postulat nezavisan od ostalih Euklidovih postulata.

## Historija
U trećoj deceniji devetnaestog veka Nikolaj Lobačevski i Janoš Boljaj, nezavisno jedan od drugoga, predlažu da se teorija paralelnih utemelji na aksiomi koja negira peti Euklidov postulat. Nemajući pred sobom očiglednu sliku koja bi poduprla njihov pogled na osnove geometrije, oni su uspeli da izgrade teoriju koja je, kako je kasnije pokazano, isto onoliko logički valjana koliko i euklidska geometrija. Oni su, kako mladi Janoš Boljaj ističe u jednom pismu svom ocu, „ni iz čega“ stvorili „jedan sasvim novi svet“. Prvi put je zasnovana jedna teorija u kojoj se ne može pozvati na očiglednost, zasnovana je geometrija u kojoj postoje tačka **B** i prava **a** koja je ne sadrži, takve da u njima određenoj ravni postoji više od jedne prave koja sadrži **B**, a sa pravom **a** nema zajedničkih tačaka.

Iz geometrijskog sveta u kome se u potpunosti moglo osloniti na intuiciju zasnovanu na predstavama koje stvaraju čula, zakoračilo se u svet koji postoji izvan dohvata našeg iskustva. Nije stoga iznenađujuće što njihove zamisli nisu za njihova života doživele priznanje koje im pripada. Samo je Gaus razumeo dubinu i dalekosežnost njihovih ideja, budući da su se, prema njegovim rečima, one podudarale sa njegovim zamislima od kojih je neke snivao više od trideset godina. Zanimljivo, Gaus je znao za zamisli obojice zasnivača hiperboličke geometrije, no nije upoznao ni jednog od njih sa rezultatima drugog. Do Boljaja je dospela jedna rasprava na nemačkom jeziku Nikolaja Lobačevskog, dok Lobačevski nikada nije saznao za rad Janoša Boljaja.

## Uvođenje geometrije Lobačevskog
**Geometrija Lobačevskog** je geometrija zasnovana na Hilbertovim aksiomama veze, rasporeda, podudarnosti i neprekidnosti i aksiomi Lobačevskog.

**Aksioma Lobačevskog**: Postoje tačka **B** i prava **a** koja ne sadrži tačku **B** takve da u njima određenoj ravni postoji više od jedne prave koja sadrži **B**, a sa **a** nema zajedničkih tačaka.

Tačka **B** i prava **a** imaju **svojstvo Lobačevskog**.

**Geomerija Lobačevskog** se naziva i **hiperbolička geometrija** ili geometrija Gaus-Boljaj-Lobačevskog ili geometrija Boljaj-Lobačevskog. Prostor u kome su zadovoljene aksiome hiperboličke geometrije zvaćemo hiperboličkim ili prostorom Lobačevskog, a svaku njegovu ravan hiperboličkom ravi ili ravni Lobačevskog.

Ako bi u hiperboličkom prostoru postojale tačka i prava koje zadovoljavaju Plejferova aksioma, onda bi svaka tačka i prava koja je ne sadrži zadovoljavale istu aksiomu, što protivreči aksiomi Lobačevskog. Dakle, važi

;Teorema: Za svaku tačku **B** hiperboličkog prostora i pravu **a** koja je ne sadrži, u njima određenoj ravni postoje bar dve prave koje sadrže tačku **B**, a sa **a** nemaju zajedničkih tačaka.

Iz Ležandrovih teorema se može dokazati i sledeća

;Teorema : Sledeći iskazi su ekvivalenti aksiomi Lobačevskog:
* Ugao paralelnosti je oštar.
* Zbir unutrašnjih uglova trougla je manji od Pi.
* Zbir unutrašnjih uglova ravnog prostornog četvorougla je manji od 2*Pi.
* Uglovi na protivosnovici Sakerijevog četvorougla su oštri.
* Jedan ugao Lambertovog četvorougla je oštar.
* Prostoji prava u ravni oštog ugla koja je upravna na jednom kraku tog ugla, a ne seče drugi krak.

U apsolutnoj geometriji važi pet stavova o podudarnosti trouglova. U hiperboličkoj geometriji važi, pored tih pet, još jedan, takozvani šesti stav prema podudarnosti koji karaktriše hiperbolički prostor. On glasi: *Dva trougla su podudarna ako i samo ako su im odgovarajući uglovi međusobno podudarni podudarni*. Posledica ovog šestog stava je: u hiperboličkoj geometriji *svaka sličnost je podudarnost*.

## Paralelnost i hiperparalelnost
U ravni Lobačevskog postoji beskonačno mnogo pravih koje sadrže tačku *B* i sa pravom *a* nemaju zajedničkih tačaka. Sem tih pravih postoji i beskonačno mnogo pravih koje sadrže tačku *B* i seku pravu *a*. Skup svih pravih koje prolaze kroz *B* možemo podeliti na dva skupa i to skup koji sadrži sve prave koje seku pravu *a* i skup svih pravih koje ne seku pravu *a*. Među svim tim pravama postoje dve prave *a1* i *a2* koje razdvajaju ova dva skupa. One pripadaju skupu pravih koje ne seku pravu *a*.

;Definicija: Neka je u ravni Lobačevskog data tačka *B* i prava *a* koja ne sadrži tačku *B*.
* Za granične prave *a1* i *a2* koje razdvajaju skup pravih koje sadrže tačku *B* i ne seku pravu *a* i skup pravih koje sadrže tačku *B* i seku pravu *a* kažemo da su u tački *B* paralelne sa pravom *a*. Jedna je **paralelna** sa pravom *a* u jednom smeru, a druga u drugom.
* Za sve ostale prave koje sadre tačku *B* i sa pravom *a *nemaju zajedničkuh tačaka kažemo da su **hiperparalelne** sa pravom *a*.

### Osobine paralelnih pravih
U euklidskoj geometriji koplanarne prave su bile paralelne akko su disjunktne, a svaka ekvidistanta je bila prava. U hiperboličkoj geomtriji se osobine paralelnih pravih suštinski razlikuju od onih u euklidskoj geometriji.
 
* Ako je *B* teme neke proizvoljne poluprave paralelne nekoj pravoj *a*, *K* proizvoljna tačka te poluprave, a *B' * i *K' * podnožja upravnih iz *B* i *K* na pravoj *a*, onda je *KK' *cosh(x) = \frac{e^{x}+e^{-x}}{2}

(b) sinh(x) = \frac{e^{x}-e^{-x}}{2}

(c) tanh(x) = \frac{sinh(x)}{cosh(x)} = \frac{e^{x}-e^{-x}}{e^{x}+e^{-x}}

Odavde dobijamo:

(1) \qquad cosh^2(x) - sinh^2(x) = 1

(2) \qquad sinh(2x) = 2cosh(x)sinh(x)

(3) \qquad cosh(2x) = cosh^2(x) + sinh^2(x).

Iz (1) i (3) dobijamo:

(3') \qquad cosh(2x) = 2cosh^2(x) - 1.

Koristeći (1), (2) i (3), dobijamo:

(4) sinh(2x) = \frac{2tanh(x)}{1-tanh^2(x)}

(5) cosh(2x) = \frac{1+tanh^2(x)}{1-tanh^2(x)}

(6) tanh(2x) = \frac{2tanh(x)}{1+tanh^2(x)}.

Računanjem, iz definicije dobijamo:

(7) tanh(x+y) = \frac{tanh(x)+tanh(y)}{1+tanh(x)tanh(y)}.

Koristeći i (c),

tanh(x) = \frac{1-e^{-2x}}{1+e^{-2x}} = 1 - \frac{2}{e^{2x}+1},

tako da je \qquad tanh(0) = 0.

## Sinusna teorema

Za svaki h-trougao ABC važi:

\frac{sin(A)}{sinh(a)} = \frac{sin(B)}{sinh(b)} = \frac{sin(C)}{sinh(c)}.

## Hiperbolički odnos

**Definicija:**

Ako se h-tačke A, B i X nalaze na h-pravoj, pravoj, onda je njihov hiperbolički odnos:

h(A,X,B) =  \frac{sinh(d(A,X))}{sinh(d(X,B))}, \qquad ako je X između A i B, a inače je:

h(A,X,B) = -\frac{sinh(d(A,X))}{sinh(d(X,B))}.

**Osobine:**

(1) \qquad h(A,X,B)=-h(B,X,A)

(2) ako je X između A i B, onda važi \qquad h(A,X,B)\in (0,1)

(3) ako su X i A sa različitih strana B, onda važi \qquad h(A,X,B)\in (-\infty ,-1)

(4) ako su X i B sa različitih strana A, onda važi \qquad h(A,X,B)\in (-1,0)

## Čevina teorema

Ako h-tačka X ne pripada nijednoj od h-stranica h-trougla ABC, tako da se AX i BC seku u Q, BX i AC u R i CX i AB u P, tada je:

\qquad h(A,P,B)h(B,Q,C)h(C,R,A) = 1.

## Menelajeva teorema

Ako h-prava l ne prolazi ni kroz jedno teme h-trougla ABC, tako da seče BC u Q, AC u R i AB u P, tada je:

\qquad h(A,P,B)h(B,Q,C)h(C,R,A) = -1.

## Povezano
* Nikolaj Ivanovič Lobačevski
* Neeuklidska geometrija

## Literatura

* Zoran Lučić, *Euklidska i hiperbolička geometrija* (1997), Total design i Matematički fakultet u Beogradu
*, (2012) *Notes on hyperbolic geometry*, in: Strasbourg Master class on Geometry, pp.&nbsp;1–182,  IRMA Lectures in Mathematics and Theoretical Physics,  Vol. 18,  Zürich: European Mathematical Society (EMS), 461 pages, SBN , DOI 10.4171/105.
*, (1942) *Non-Euclidean geometry*, University of Toronto Press, Toronto
*
*
*{{aut|Lobachevsky, Nikolai I., (2010) *Pangeometry*, Edited and translated by Athanase Papadopoulos,  Heritage of European Mathematics, Vol. 4. Zürich: European Mathematical Society (EMS). xii, 310~p, /hbk
*, (1982) *[http://projecteuclid.org/euclid.bams/1183548588 Hyperbolic geometry: The first 150 years]*, Bull. Amer. Math. Soc. (N.S.) Volume 6, Number 1, pp.&nbsp;9–24.
*, (1993) *Hyperbolic Geometry on a Hyperboloid*, American Mathematical Monthly 100:442–455.
*
*, (March 2006) *Knit Theory* Discover Magazine, volume 27, Number 3.
*, *Hyperbolic Geometry*, Springer 2005, 
*, , , and  (1997) *[http://www.msri.org/communications/books/Book31/files/cannon.pdf Hyperbolic Geometry] *, MSRI Publications, volume 31.

## Vanjske veze

* Java freeware for creating sketches in both the Poincaré Disk and the Upper Half-Plane Models of Hyperbolic Geometry University of New Mexico
* "The Hyperbolic Geometry Song" A short music video about the basics of Hyperbolic Geometry available at YouTube.
* 
* More on hyperbolic geometry, including movies and equations for conversion between the different models  University of Illinois at Urbana-Champaign
* Hyperbolic Voronoi diagrams made easy, Frank Nielsen
*, interactive instructional website.
*Universal Hyperbolic Geometry II: A pictorial overview
*Universal Hyperbolic Geometry III: First Steps in Projective Triangle Geometry
*Hyperbolic Planar Tesselations