UNIVERSITATEA BABE S-BOLYAI, CLUJ-NAPOCA

FACULTATEA DE MATEMATIC

A SI INFORMATIC

A
C at alin - Ionel Barbu
Contributii la studiul
geometriei hiperbolice
Rezumatul tezei de doctorat
Conduc ator de doctorat:
Prof. Univ. Dr. Dorin Andrica
Cluj-Napoca,
2012
2
Cuprins
Introducere 4
1. Modelul vitezei relativiste a lui Einstein......................................10
2. Varianta hiperbolic a a unor rezultate geometrice clasice..........17
2.1. Teorema lui Menelaus n modelul pe disc al lui Poincar ............................17
2.2. Teorema lui Menelaus pentru patrulatere hiperbolice .................................18
2.3. Teorema lui Ceva n geometria hiperbolic a ..................................................20
2.4. Teorema lui Desargues n modelul pe disc al lui Poincar ...........................21
2.5. Teorema poligonului podar al lui Smarandache ...........................................22
2.6. O demonstratie trigonometric a a teoremei lui Steiner-Lehmus n modelul pe
disc al lui Poincar .....................................................................................................23
2.7. Teorema izogonalelor lui Steiner pentru un triunghi hiperbolic ..................24
2.8. Varianta hiperbolic a a teoremei lui Mathieu ...............................................25
2.9. Teorema lui Nobbs n geometria hiperbolic a ................................................26
2.10. Transversala izotomic a n geometria hiperbolic a ........................................27
2.11. O teorema de a lui Neuberg n modelul pe disc al lui Poincar ......................27
2.12. Teorema lui Glicher n geometria hiperbolic a ..........................................28
2.13. Varianta hiperbolic a a teoremei bisectoarei ...............................................28
2.14. Teorema lui Zajic n modelul lui Poincar al geometriei hiperbolice .............29
2.15. Teorema lui Carnot n modelul semiplanului superior al lui Poincar ...........30
2.16. Teorema ortopolulul n geometria hiperbolic a ............................................32
2.17. Forma hiperbolic a a teoremei lui Stewart ..................................................32
2.18. Teorema lui Van Aubel n geometria hiperbolic a ..........................................33
2.19. Varianta hiperbolic a a teoremei de minim a lui Smarandache .......................34
2.20. Teorema diviziunii armonice a lui Pappus ...................................................35
2.21. Teorema triunghiului cevian al lui Smarandache .........................................36
2.22. Inegalit ati ntr-un triunghi hiperbolic ..........................................................36
2.23. Inegalitatea hiperbolic a a lui Andrica-Iwata ..............................................38
2.24. Aplicatii ale inegalit atii lui Cusa ntr-un triunghi hiperbolic ........................41
2.25. Forma hiperbolic a a unei inegalit ati a lui Panaitopol si consideratii asupra ine-
galit atii lui Jordan .....................................................................................................44
3. Inegalitatea fundamental a a triunghiului ntre clasic si hiper-
bolic.........................................................................................................................49
3.1. Forma euclidian a a inegalit atii lui Blundon .................................................49
3.2. Forma dual a a inegalit atii lui Blundon .........................................................52
3
3.3. Cteva inegalit ati cu :, 1 si r
o
.....................................................................54
3.4. O ranare a inegalit atii lui Blundon ............................................................55
3.5. Forma hiperbolic a a inegalit atii lui Blundon ................................................56
3.6. O extindere natural a a inegalit atii lui Blundon ............................................56
Bibliograe 59
4
Introducere
Denumirea de geometrie neeuclidian a a fost uzitat a prima dat a de Karl Friedrich
Gauss (1777-1855) pentru a distinge geometriile ce difer a de geometria lui Euclid prin
axioma de paralelism. Conform unor scrisori datate, Gauss a nceput s a dezvolte o
geometrie neeuclidian a n anul 1792. El a trebuit s a dep aseasc a prejudec atile mpotriva
unei geometrii neeuclidiene si s a accepte un sistem de geometrie care era mpotriva
intuitiei sale. Pentru prima dat a si-a dat seama c a axioma de paralelism este indepen-
dent a de celelalte axiome ale geometriei, deci nu are sens problema demonstr arii ei, c a
nl aturnd aceast a axiom a, geometria astfel obtinut a nu este contradictorie. Cu toate
acestea el nu a publicat nimic din acest domeniu temndu-se de ridicol. Karl Ferdinand
Schweikart (1780-1859) a dezvoltat, de asemenea, o geometrie neeuclidian a si n 1818
a trimis un memorandum asupra geometriei sale lui Gauss. Schweikart arma c a pe
lng a geometria euclidian a mai exist a o nou a geometrie, numit a astrala, n care suma
m asurilor unghiurilor unui triunghi este mai mic a dect dou a unghiuri drepte. ns a,
la fel ca si Gauss, nu public a nimic pe aceast a tem a. A durat o bun a perioad a de timp
pentru ca matematicienii s a accepte existenta unei geometrii neeuclidiene, n special
din cauza convingerilor n losoa kantian a. Immanuel Kant (1724-1804) credea c a
geometria este o stiint a absolut a. El credea c a axiomele geometriei sunt adev arate a
priori. Astfel, ideea c a ar mai exista o alt a geometrie ar contesta folosoa kantian a.
Geometriile neeuclidiene nu contrazic geometria clasic a ci o cuprind ca un caz
limit a. Ele sunt mai avansate deoarece corespund unei faze mai abstracte n procesul
de cunoastere. O astfel de geometrie a fost descoperit a independent de Jnos Bolyai
(1802-1860) la Timisoara si Nikolai Lobacevski (1793-1856). N. Lobacevski n 1829
a publicat lucrarea Principiile geometriei n care arma c a dac a presupunem dat a o
dreapt a | si un punct 1 care nu apartine dreptei |, atunci exist a cel putin dou a drepte
ce trec prin 1 si sunt paralele cu dreapta |. Mai mult, el arat a c a noua geometrie,
pe care Lobacevski o numea imaginara, este la fel de logic a si necontradictorie ca
si geometria euclidian a. J. Bolyai dezvolt a o geometrie, pe care o numeste absoluta,
independent a de adev arul sau falsitatea axiomei de paralelism si creeaz a geometria
hiperbolic a urmnd acelasi drumsi obtinnd aceleasi rezultate ca si Lobacevski. Opera
lui J. Bolyai, Appendix Scientiam Spatii Absolute Veram Exhibens (Anex a n care este
expus a stiinta absolut adev arat a a spatiului) a ap arut la Trgu Mures n 1831, ca o
anex a a volumului Tentamen a lui Farkas Bolyai.
Denumirea de geometrie hiperbolic a si are justicarea prin aceea c a atunci cnd
se clasic a obiectele unei teorii matematice dup a natura unor elemente generatoare -
n cazul nostru ind num arul de paralele duse dintr-un punct la o dreapt a - problem a
echivalent a n general cu interpretarea r ad acinilor unei ecuatii de gradul al doilea,
numim eliptic, cazul care corespunde valorilor complexe (cnd nu avem paralele) si
analog, parabolic sau hiperbolic, cazurile ce corespund r ad acinilor confundate (cnd
avem o unic a paralel a) sau reale diferite (cnd avem dou a paralele).
n 1868, Eugenio Beltrami (1835-1900) arat a c a geometria hiperbolic a poate re-
alizat a pe pseudosfera, care este o suprafat a de rotatie real a, obtinut a prin rotirea
curbei numit a tractice. n acest caz, dreptele geometriei sunt geodezice ale pseudos-
ferei, deci curbe de cea mai scurt a distant a. Rezultatul lui Beltrami este deosebit de
5
important, pentru c a ne d a un model real, n spatiul obisnuit, pe care este valabil a
geometria hiperbolic a, deci rezolv a complet problema necontradictiei plane a lui Bolyai
- Lobacevski.
Lucrarea de fat a este structurat a n trei capitole, un capitol introductiv si dou a
capitole n care se prezint a contributiile noastre n studiul geometriei hiperbolice. n
primul capitol, intitulat "Modelul vitezei relativiste a lui Einstein", este prezentat, n
linii mari, modelul pe disc al lui Beltrami-Klein al geometriei hiperbolice, utiliznd
notiunea de gyrovector introdus a de matematicianul american Abraham Ungar [133]
n anul 1997. Astfel, mai nti se introduc notiunile de gyrogrup, gyrogrup gyroco-
mutativ, precum si principalele propriet ati ale acestora. Mai apoi se prezint a notiu-
nile de gyrovector, de spatiu al gyrovectorilor si principalele propriet ati ale acestora.
n continuare, pe spatiul gyrovectorilor (G, , ) se introduce gyrometrica d

(a, b),
se deneste gyrolinia, gyrosegmentul, gyromijlocul unui gyrosegment, gyrocosinusul
unghiului dintre doi gyrovectori si se dau conditii de gyrocoliniaritate pentru trei
puncte. n urm atorul paragraf al capitolului nti considernd factorul gamma se in-
troduc adunarea si nmultirea Einstein, se dau principalele propriet ati ale acestora
si se prezint a modelul lui Beltrami-Klein al geometriei hiperbolice v azut prin prisma
notiunii de gyrovector. n ultima parte a primului capitol se enunt a cteva teoreme
utile n demersul nostru stiintic, a c aror demonstratie se g aseste n [134], [135] si
[136].
n capitolul al doilea, intitulat "Varianta hiperbolica a unor rezultate geometrice
clasice" se transpun n variant a hiperbolic a - utiliznd modelul lui vitezei relativiste
a lui Einstein, modelul pe disc al lui Poincar si modelul semiplanului superior al lui
Poincar - diferite teoreme celebre ale geometriei euclidiene. Astfel, n subcapitolul
2.1, C. Barbu si F. Smarandache [38] trateaz a teorema lui Menelaus n modelul pe disc
al lui Poincar, prezint a forma reciproc a a teoremei si utilizeaz a aceast a nou a form a
pentru a demonstra o teorem a de a lui Titeica n geometria hiperbolic a.
n sectiunea 2.2 utiliznd notiunea de ratie hiperbolic a - introdus a de c atre W.
Stothers [130], C. Barbu [18] prezint a varianta hiperbolic a a teoremei lui Menelaus
pentru patrulatere, teorema transversalei pentru un triunghi si teorema lui Manelaus
pentru un poligon convex oarecare.
n subcapitolul trei, D. Andrica si C. Barbu [7] trateaz a teorema lui Ceva n modelul
pe disc al lui Poincar, ar at a c a n anumite conditii are loc teorema reciproc a si prezint a
cteva aplicatii ale acesteia ntr-un triunghi hiperbolic.
n paragraful 2.4, D. Andrica si C. Barbu [9] prezint a varianta hiperbolic a a teo-
remei lui Desargues n modelul pe disc al lui Poincar si dau conditii pentru teorema
reciproc a.
n subcapitolul 2.5, C. Barbu [16] deneste poligonul hiperbolic podar si prezint a
varianta hiperbolic a a teoremei poligonului podar al lui Smarandache, aceasta ind o
generalizare a teoremei lui Carnot.
n subcapitolul 2.6 se prezint a o demonstratie trigonometric a teoremei lui Steiner-
Lehmus n modelul pe disc al lui Poincar. Acest rezultat a fost publicat de C. Barbu
n lucrarea [15].
n paragraful 2.7 se introduce notiunea de izogonal a hiperbolic a, se demonstreaz a
teorema lui Steiner referitoare la izogonale n modelul pe disc al lui Poincar si n
6
modelul vitezei relativiste a lui Einstein, se dau consecinte ale acestei teoreme si se
demonstreaz a o teorem a a lui Andreescu referitoare la drepte izogonale ntr-un triunghi
hiperbolic. Aceste rezultate au fost publicate in lucrarea [19].
n subcapitolul 2.8, C. Barbu [19] introduce notiunea de simedian a hiperbolic a, a
prezentat teorema lui Mathieu n modelul pe disc al lui Poincar si d a cteva consecinte
ale acesteia n geometria hiperbolic a.
C Barbu si L. Piscoran [33] prezint a n sectiunea 2.9 teorema lui Nobbs n modelul
pe disc al lui Poincar al geometriei hiperbolice.
C. Barbu [20] prezint a n subcapitolul 2.10 varianta hiperbolic a a teoremei transver-
salei izotomice n modelul pe disc al lui Poincar al geometriei hiperbolice.
n subcapitolul unsprezece C. Barbu [20] prezint a varianta hiperbolic a a teoremei
lui Neuberg n modelul pe disc al lui Poincar si unele consecinte ce deriv a din aceasta.
C. Barbu si L. Piscoran [34] prezint a n sectiunea 2.12 varianta hiperbolic a a teo-
remei lui Glicher n modelul pe disc al lui Poincar al geometriei hiperbolice.
n sectiunea 2.13, C. Barbu si L. Piscoran [34] prezint a varianta hiperbolic a a teore-
mei bisectorei interioare, reciproca acesteia, varianta hiperbolic a a teoremei bisectorei
exterioare si reciproca acesteia, precum si cteva aplicatii ale acestor teoreme.
n sectiunea 2.14, C. Barbu si L. Piscoran [30] prezint a varianta hiperbolic a a
teoremei lui Zajic n modelul pe disc al lui Poincar al geometriei hiperbolice.
n subcapitolul cincisprezece C. Barbu si N. Snmez [41] prezint a varianta hiperbol-
ic a a teoremei lui Carnot n modelul semiplanului superior al lui Poincar al geometriei
hiperbolice, ar ata c a n anumite conditii admite reciproc a si dau cteva aplicatii ale
acesteia ntr-un triunghi hiperbolic.
n paragraful 2.16, C. Barbu si N. Snmez [40] prezint a varianta hiperbolic a a
teoremei ortopolului n diferite modele ale geometriei hiperbolice.
C. Barbu [22] n subcapitolul 2.17 prezint a varianta hiperbolic a a teoremei lui
Stewart n modelul vitezei relativiste a lui Einstein al geometriei hiperbolice, precum
si cteva consecinte ale acesteia.
C. Barbu [25] n subcapitolul 2.18 prezint a varianta hiperbolic a a teoremei lui Van
Aubel n modelul vitezei relativiste a lui Einstein al geometriei hiperbolice, precum si
cteva consecinte ale acesteia.
n subcapitolul 2.19, C. Barbu [23] prezint a varianta hiperbolic a a unei teoreme
de minim a lui Smarandache n modelul vitezei relativiste a lui Einstein al geometriei
hiperbolice.
n sectiunea 2.20, C. Barbu [29] prezint a varianta hiperbolic a a unei teoreme a
lui Pappus n modelul vitezei relativiste a lui Einstein al geometriei hiperbolice, se
deneste antibisectoarea pentru un triunghi hiperbolic si se dau cteva consecinte ale
teoremei lui Pappus.
n subcapitolul 2.21, C. Barbu [13] prezint a varianta hiperbolic a a teoremei tri-
unghiului cevian a lui Smarandache n modelul vitezei relativiste a lui Einstein al
geometriei hiperbolice.
n paragraful 2.22, C. Barbu [31] trateaz a n hiperbolic cteva inegalit ati referitoare
la un triunghi.
n subcapitolul 2.23, C. Barbu si L. Piscoran [35] prezint a varianta hiperbolic a a
inegalitatii lui Andrica-Iwata si consecinte ce deriv a din aceasta.
7
n sectiunea 2.24, C. Barbu si L. Piscoran [37] trateaz a unele aplicatii ale inegalit atii
lui Cusa-Huygens ntr-un triunghi hiperbolic.
n subcapitolul 2.25, C. Barbu si L. Piscoran [36] prezint a forma hiperbolic a a unei
inegalit ati a lui Panaitopol si dau cteva consideratii asupra inegalit atii lui Jordan.
n capitolul al treilea, intitulat "Inegalitatea fundamentala a triunghiului ntre cla-
sic si hiperbolic" se trateaz a inegalitatea lui Blundon att n geometria euclidian a ct si
n geometria hiperbolic a. Astfel, n sectiunea 3.1, D. Andrica si C. Barbu [8] prezint a
o demonstratie nou a pentru inegalitatea fundamental a a triunghiului, demonstratie
bazat a pe consideratii geometrice. Dac a a, / si c sunt lungimile laturilor triunghiului
1C, r este raza cercului nscris n triunghi, : este semiperimetrul triunghiului, iar 1
este raza cercului circumscris triunghiului 1C, inegalitatea fundamental a are urm a-
toarea exprimare: Conditia necesar a si sucient a pentru a exista un triunghi avnd
elementele :, 1 si r, este
21
2
+101rr
2
2(12r)
_
1
2
21r _ :
2
_ 21
2
+101rr
2
+2(12r)
_
1
2
21r.
Se demonstreaz a c a dac a ntr-un triunghi neechilateral 1C, 1 este centrul cercu-
lui nscris, O este centrul cercului circumscris O si este punctul lui Nagel, atunci
urm atoarea relatie este adev arat a:
cos
[
1O =
21
2
+ 101r r
2
:
2
2(1 2r)
_
1
2
21r
,
inegalitatea lui Blundon ind o consecint a a acestei teoreme. Din demonstratia dat a
n acest paragraf rezult a o cale natural a de constructie a unui triunghi 1C n care se
dau centrul cercului nscris 1, centrul cercului circumscris O si punctul lui Nagel ,.
reducndu-se astfel constructia cerut a la faimoasa problem a a lui Euler de constructie
a unui triunghi n care stim 1, O si H [68]. Problema de constructie a lui Euler a fost
studiat a de c atre B.Scimemi [120], G.C.Smith [126], J.Stern [129] si P.Yiu [144].
n sectiunea 3.2, D. Andrica si C. Barbu [8] au dat o form a dual a a inegalit atii
lui Blundon. Astfel, dac a r
o
este raza cercului -exnscris am ar atat c a urm atoarele
inegalit ati sunt adev arate:
0 _
a
2
+/
2
+c
2
4
_ 1
2
31r
o
r
2
o
+ (1 + 2r
o
)
_
1
2
+ 21r
o
.
Se arat a c a dac a 1
o
este centrul cercului -exnscris, iar
o
punctul lui Nagel adjuct
corespunz ator laturii a, atunci urm atoarea relatie este adev arat a:
cos
\
1
o
O
o
=
1
2
31r
o
r
2
o
c
(1 + 2r
o
)
_
1
2
+ 21r
o
,
unde c =
o
2
+b
2
+c
2
4
, forma dual a inegalit atii lui Blundon ind o consecint a a acestei
teoreme.
n sectiunea 3.3, D. Andrica si C. Barbu [8] prezint a cteva inegalit ati obtinute din
teorema dual a prezentat a n subcapitolul precedent.
n sectiunea 3.4, D. Andrica si C. Barbu [10] prezint a o ranare a inegalit atii lui
Blundon, dnd o demonstratie geometric a unor inegalit ati obtinute de c atre Wu [140],
8
si anume: pentru orice triunghi
1

3
, urm atoarele inegalit ati au loc:
21
2
+101rr
2
2(12r)
_
1
2
21r cos c _ :
2
_ 21
2
+101rr
2
+2(12r)
_
1
2
21r cos c.
unde c = min
1i<)3
[
i

)
[ .
n subcapitolul 3.5. se prezint a forma hiperbolic a a inegalit atii lui Blundon, dat a de
c atre c atre D. Svrtan si D. Veljan [131] si are urm atoarea exprimare: dac a un triunghi
hiperbolic admite un cerc circumscris de raz a 1, iar r este raza cercului nscris, : este
semiperimetrul triunghiului si - este defectul triunghiului, atunci are loc inegalitatea
1
:
t2
_ 0,
unde
1 = :
t2
[(r
t2
1
t2
-
t2
+ 4r
t4
1
t4
-
t2
4r
t3
1
t3
-
t2
1 + 6r
t
1
t
12r
t2
1
t2
+ 8r
t3
1
t3
):
t4
+r
t2
1
t
-
t
(1 4r
t
1
t
+ 4r
t2
1
t2
-
t
8r
t2
1
t2
-
t2
+ 9-
t
+ 18r
t
1
t
-
t
):
t3
+r
t2
(r
t2
1
t2
10r
t
1
t
12r
t2
1
t2
-
t2
2):
t2
6r
t4
1
t
-
t
:
t
r
t4
],
iar r
t
= tanh
v
I
, 1
t
= tanh
1
I
, -
t
= cot
.
2
, :
t
= sinh
c
I
.
n ultimul subcapitol al tezei D. Andrica, C. Barbu si N. Minculete [26], [11]
realizeaz a o extindere natural a a inegalit atii lui Blundon utiliznd coordonatele bari-
centrice. Se introduce notiunea de cevian a si excevian a de rang (/, |, :) astfel: dac a
1 este un punct pe latura (1C) a unui triunghi neisoscel 1C, astfel nct:
11
1C
=
_
c
/
_
I

_
: c
: /
_
|

_
a +/
a +c
_
n
/, |, : R, atunci 1 o vom numi ceviana de rang (k, l , m), iar dac a 1 1C [1C],
astfel nct
11
1C
=
_
c
b
_
I

_
cc
cb
_
|

_
o+b
o+c
_
n
, /, |, : R
+
, atunci 1 o vom numi exceviana
de rang (k, l , m) - si se prezint a propriet ati ale acestui tip de cevian a. Se arat a c a dac a
1
1
, 1
2
, 1
3
trei puncte ceviene de rang (k, l , m) avnd coordonatele baricentrice:
1
i
[a
I
i
(: a)
|
i
(/ +c)
n
i
: /
I
i
(: /)
|
i
(a +c)
n
i
: c
I
i
(: c)
|
i
(a +/)
n
i
], i = 1, 3,
iar pentru i = 1, 3, a
I
i
(:a)
|
i
(/ +c)
n
i
, /
I
i
(:/)
|
i
(a+c)
n
i
, c
I
i
(:c)
|
i
(a+/)
n
i
not am
cu t
1
i
, t
2
i
, respectiv t
3
i
, si
c
i)
=
t
1
)
t
1
)
+t
2
)
+t
3
)

t
1
i
t
1
i
+t
2
i
+t
3
i
,
,
i)
=
t
2
)
t
1
)
+t
2
)
+t
3
)

t
2
i
t
1
i
+t
2
i
+t
3
i

i)
=
t
3
)
t
1
)
+t
2
)
+t
3
)

t
3
i
t
1
i
+t
2
i
+t
3
i
9
pentru i, , 1, 2, 3, atunci
cos
\
1
1
1
2
1
3
=
a
2
(,
12

12
+,
23

23
,
31

31
) /
2
(
12
c
12
+
23
c
23

31
c
31
) +c
2
(c
12
,
12
+c
23
,
23
c
31
,
31
)
2
_
,
12

12
a
2

12
c
12
/
2
c
12
,
12
c
2

_
,
23

23
a
2

23
c
23
/
2
c
23
,
23
c
2
si de aici rezult a imediat inegalit atile:
2
_
,
12

12
a
2

12
c
12
/
2
c
12
,
12
c
2

_
,
23

23
a
2

23
c
23
/
2
c
23
,
23
c
2
_
a
2
(,
12

12
+,
23

23
,
31

31
)/
2
(
12
c
12
+
23
c
23

31
c
31
)+c
2
(c
12
,
12
+c
23
,
23
c
31
,
31
) _
2
_
,
12

12
a
2

12
c
12
/
2
c
12
,
12
c
2

_
,
23

23
a
2

23
c
23
/
2
c
23
,
23
c
2
,
inegalitatea lui Blundon ind o consecint a a propriet atii precedente.
Doresc s a exprim, cu aceast a ocazie, recunostinta mea tuturor persoanelor care, de-
a lungul timpului, direct sau indirect, au contribuit prin sfaturile lor la concretizarea
acestui demers stiintic. i multumesc Domnului Profesor Universitar Doctor Dorin
Andrica care, pe lng a conducerea stiintic a a tezei mele de doctorat, m-a ndrumat
atent si riguros pentru a da o claritate maxim a lucr arii pe toat a durata stagiului
doctoral.
Multumesc domnului Profesor Universitar Doctor Mircea Crsm areanu, domnului
Profesor Universitar Doctor.Paul Blaga, domnului Profesor Universitar pen-
tru citirea atent a a manuscrisului si pentru sfaturile si bun avointa ar atate. De aseme-
nea, doresc s a aduc multumiri Catedrei de Geometrie a Universit atii Babes-Bolyai din
Cluj-Napoca, Domnului Profesor Universitar Doctor Varga Csaba, Domnului Con-
ferantiar Doctor Cornel Pintea, Domnului Lector Doctor Daniel V ac aretu, Doamnei
Lector Liana Topan, care m-au ajutat si ncurajat n elaborarea acestei lucr ari. Nu
n ultimul rnd, as vrea s a multumesc sotiei, ului meu Matei si p arintilor, pentru
sustinerea continu a n realizarea acestui pas important din viata mea.
Chapter 1
Modelul vitezei relativiste a lui
Einstein
Geometria hiperbolic a, la fel ca si cea euclidian a, include notiunile de distant a si de
unghi. Ambele geometrii contin multe propriet ati asem an atoare, dar exist a totodat a
si multe diferente ntre ele. n literatura de specialitate exist a mai multe modele n
care se poate studia geometria hiperbolic a; exist a astfel modelul lui Poincar pe disc,
modelul lui Poincar pe semiplanul superior, modelul pe disc al lui Beltrami-Klein etc.
Urmnd [134] si [136] si ultimele descoperiri n acest domeniul, modelul pe disc al lui
Beltrami-Klein mai este cunoscut si sub numele de modelul vitezei relativiste a lui
Einstein n care se introduce notiunea de gyrovector.
Teoria special a a relativit atii a fost formulat a initial de Einstein n 1905, [65],
pentru a explica unele rezultate obtinute n experimentele de propagare a undelor
electromagnetice. Varicak n 1908 a descoperit leg atura dintre teoria special a a rela-
tivit atii si geometrie hiperbolic a [138]. Modelul vitezei relativiste a lui Einstein este
un alt model de geometrie hiperbolic a. Multe dintre teoremele geometriei euclidiene
au o form a relativ similar a n modelul vitezei relativiste a lui Einstein.
Prezent am n linii mari acest model al geometriei hiperbolice.
Un grupoid (G, ) este un gyrogrup dac a satisface urm atoarele axiome:
(G1) n G exist a un unic element, 0, astfel nct 0 a = a, pentru orice a G.
(G2) pentru orice element a G exist a un element a G astfel nct aa = 0.
(G3) oricare ar a, /, c G exist a un unic element qjr[a, /]c G astfel nct
a (/ c) = (a /) qjr[a, /]c.
(G4) functia qjr[a, /] : G G dat a prin c qjr[a, /]c este un automorsm al
grupoidului (G, ). Operatorul qjr : GG nt(G, ) se numeste gyratorul lui G.
(G5) qjr[a, /] = qjr[a /, /].
Prin a / vom nota elementul a (/).
Un gyrogrup (G, ) se numeste gyrocomutativ dac a a/ = qjr[a, /](/ a), pentru
toti a, / G.
Dac a (G, ) este un gyrogrup, iar a, / G, atunci unica solutie n G a ecuatiei
a r = / este r = a /.
10
1. Modelul vitezei relativiste a lui Einstein 11
ntr-un gyrogrup (G, ) sunt adev arate relatiile:
a (a /) = /
qjr[a, /] = qjr[a, / a]
qjr[a, /] = qjr[a /, a]
qjr[/, a] = qjr[a, a /]
ntr-un gyrogrup gyrocomutativ (G, ) sunt adev arate relatiile:
(a /) = a /
qjr[a, /]/ (a c) = (a /) c
qjr[a, /]/ = (a /) a
(a /) (a c) = qjr[a, /](/ c)
qjr[a, /]qjr[/ a, c] = qjr[a, / c]qjr[/, c]
qjr[a, /]qjr[/, c]qjr[c, a] = qjr[a /, a c]
qjr[a, /]qjr[/, c]qjr[c, d] = qjr[a, d]
qjr[a, /] = qjr[a /, a /]qjr[a, /]
Numim gyrovector legat 1Q n gyrogrupul gyrocomutativ (G, ) o pereche or-
donat a de puncte 1, Q G. Convenim ca n G gyrovectorului 1Q s a i corespund a
valoarea 1 Q. Vom scrie
v =1Q = 1 Q
Gyrovectorii legati 1Qsi 1
t
Q
t
n gyrogrupul gyrocomutativ (G, ) se numesc echivalen ti,
scriem1Q ~ 1
t
Q
t
dac a au aceeasi valoare n G, adic a dac a 1Q = 1
t
Q
t
.
Relatia "~" este o relatie de echivalent a. Clasele de echivalent a rezultate le vom numi
gyrovectori.
Un spa tiu al gyrovectorilor (G, , ) este un grup gyrocomutativ (G, ) ce satisface
urm atoarele axiome:
(1) qjr[u, v]a qjr[u, v]b = a b, pentru orice a, b, u, v G.
(2) G admite nmultirea cu scalari, , n sensul urm ator:
Pentru orice r, r
1
, r
2
R si orice element a G avem:
(G1) 1 a = a
(G2) (r
1
+r
2
) a = r
1
a r
2
a
(G3) (r
1
r
2
) a = r
1
(r
2
a)
(G4)
[v[a
|va|
=
a
|a|
(G5) qjr[u, v](r a) = r qjr[u, v]a
(G6) qjr[r
1
v, r
1
v] =1
(3) (|G| , , ) este spatiu real vectorial, pentru multimea "vectorilor" |G| =
|a| : a G R,
Pentru orice r R si a, b G avem:
(G7) |r a| = [r[ |a|
1. Modelul vitezei relativiste a lui Einstein 12
(G8) |a b| _ |a| |b| .
Se veric a simplu c a (1) a = a, |a| = |a| , ar = r a. Din axioma (G1)
rezult a c a pentru orice :, t numere naturale sunt adev arate urm atoarele propriet ati:
: a =a a ... a
. .
a ori
si
a (t) = at.
Spatiul gyrovectorilor G = (G, , ) posed a legea de distributivitate la stnga
r (r
1
ar
2
a) = r (r
1
a) r (r
2
a).
Fie G = (G, , ) spatiul gyrovectorilor. Gyrometrica este dat a de functia gy-
rodistant a d

(a, b) :GG R
+
,
d

(a, b) =|a b| = |b a|
Fie a,b dou a puncte distincte din spatiul gyrovectorilor (G, , ). Gyrolinia n G
ce trece prin punctele a si b este format a din multimea punctelor 1 = a (a b)t
din G cu t R. Dou a gyrolinii ce trec prin aceleasi dou a puncte distincte coincid. Un
gyrosegment ab format din multimea punctelor 1 = a (a b)t cu t [0, 1].
Gyrolungimea [ab[ a gyrosegmentului ab este gyrodistanta dintre a si b,
[ab[ = d

(a, b) =|a b|
Dou a gyrosegmente sunt egale dac a au aceeasi gyrolungime.
Dac a un punct b apartine unui gyrosegment ac n spatiul gyrovectorilor (G, , ),
atunci
|a c| = |a b| |b c| .
Trei puncte a
1
, a
2
, a
3
n spatiul gyrovectorilor G = (G, , ) sunt gyrocoliniare dac a
apartin aceleiasi gyrolinii, adic a dac a exist a a, b G
a
I
= a (a b)t
I
pentru orice t
I
R, / = 1, 3. Dac a trei puncte a
1
, a
2
, a
3
n spatiul gyrovectorilor
G = (G, , ) sunt gyrocoliniare, atunci
qjr[a
1
, a
2
]qjr[a
2
, a
3
] = qjr[a
1
, a
3
].
Gyromijlocul p
n
ac
al oric aror dou a puncte distincte a si c din spatiul gyrovectorilor
(G, , ) este dat de ecuatia
p
n
ac
= a (a c)
1
2
Fie a
1
b
1
si a
2
b
2
doi gyrovectori nenuli n spatiul gyrovectorilor (G, , ).
Gyrocosinusul unghiului c, 0 _ c _ , dintre cei doi gyrovectori este dat de ecuatia
cos c =
a
1
b
1
|a
1
b
1
|

a
2
b
2
|a
2
b
2
|
1. Modelul vitezei relativiste a lui Einstein 13
Fie : o constant a pozitiv a, (R
a
, +, ) spatiul vectorilor : dimensionali si R
a
c
=
v R
a
: |v| < : : sfera vectorilor :-dimensionali avnd norma mai mic a dect :.
Adunarea Einstein este o operatie binar a pe R
a
c
dat a de ecuatia
u v =
1
1 +
uv
c
2
_
u +
1

u
v+
1
:
2

u
1 +
u
(u v)u
_
,
pentru toti u, v R
a
c
, unde
u
este factorul gamma dat de ecuatia

u
=
1
_
1
|u|
2
c
2
=
1
_
1
u
2
c
2
, (1.1)
u v reprezint a produsul scalar al vectorilor : dimensionali u si v, iar |u|
2
=
u u = u
2
. Din relatia precedent a rezult a o egalitate frecvent utilizat a
u
2
:
2
=
|u|
2
:
2
=

2
u
1

2
u
.
Perechea (R
a
c
, ) este grupoidul lui Einstein. Prin a b vom nota elementul a (b).
n general adunarea Einstein nu este comutativ a si nici asociativ a. Adunarea
Einstein satisface identitatea gamma

uv
=
u

v
_
1 +
u v
:
2
_
,
ce poate rescris a astfel

uv
=
u

v
_
1
u v
:
2
_
(1.2)
pentru toti u, v R
a
c
. Identitatea precedent a semnaleaz a apropierea dintre geometria
hiperbolic a si teoria special a a relativit atii studiat a pentru prima dat a de c atre Som-
merfeld si Varicak cu ajutorul "rapidit atii". Astfel, rapiditatea c
v
a vitezei relativiste
v este denit a de ecuatia
c
v
= tanh
1
|v|
:
(1.3)
astfel nct
coshc
v
=
v
sinhc
v
=
v
|v|
:
.
Sommerfeld si Varicak au ar atat c a
coshc
uv
= coshc
u
coshc
v
sinhc
u
sinhc
v
cos
unde unghiul este interpretat ca ind un unghi hiperbolic al unui "triunghi de viteze
relativiste" n modelul lui Beltrami al geometriei hiperbolice. Din relatia (1.2) rezult a
o egalitate util a
u v
:
2
= 1

uv

v
1. Modelul vitezei relativiste a lui Einstein 14
Doi gyrovectori u si v din R
a
c
sunt paraleli dac a exist a ` R astfel nct u =`v,
adunarea Einstein devenind
u v =
u +v
1 +
1
c
2
|u| |v|
, (1.4)
iar de aici rezult a
|u| |v| =
|u| +|v|
1 +
1
c
2
|u| |v|
.
Adunarea Einstein restrictionat a la forma (1.4) este comutativ a si asociativ a, R
a
c
mpreun a cu adunarea Einstein restrictionat a determinnd un grup, lucru observat de
c atre Einstein, care ns a nu a f acut nici o referire la ceea ce se ntmpl a dac a vectorii
vitez a nu sunt paraleli. Ungar a ar atat n 1988 c a R
a
c
mpreun a cu adunarea Einstein
formeaz a un gyrogrup gyrocomutativ. Gyratiile Einstein qjr[u, v] : R
a
c
R
a
c
sunt
automorsme ale gyrogrupului (R
a
c
, ), date de ecuatia
qjr[u, v]w = (u v)u(v w), (1.5)
iar produsul scalar n R
a
c
p astreaz a propriet atile produsului scalar din spatiul \,
qjr[u, v]aqjr[u, v]b = a b,
pentru toti a, b, u, v, w R
a
c
.
Din ecuatia (1.5) se obtine ecuatia gyratiei. Astfel, pentru orice u, v, w R
a
c
avem
qjr[u, v]w = w+
u+1v
1
,
unde
=
1
:
2

2
u

u
+ 1
(
v
1)(u w)+
1
:
2

v
(v w)
+
2
:
4

2
u

2
v
(
u
+ 1)(
v
+ 1)
(u v)(v w)
1 =
1
:
2

v
+ 1

u
(
v
+ 1)(u w)+(
u
1)
v
(v w)
1 =
u

v
_
1 +
u v
:
2
_
+ 1 =
uv
+ 1 1
nmultirea Einstein cu scalari r v n R
a
c
este dat a de ecuatia
r v =:
_
1 +
|v|
c
_
v

_
1
|v|
c
_
v
_
1 +
|v|
c
_
v
+
_
1
|v|
c
_
v
v
|v|
= : tanh(r tanh
1
|v|
:
)
v
|v|
,
unde r R, v R
a
c
, v ,= 0 si r 0 = 0.
1. Modelul vitezei relativiste a lui Einstein 15
nmultirea Einstein cu scalari poate rescris a n functie de factorul gamma astfel:
r v =
1 (
v

2
v
1)
2v
1 + (
v

2
v
1)
2v

v
_

2
v
1
v (1.6)
cu v ,= 0.
Gyrogrupul Einstein (R
a
c
, ) peste care denim nmultirea Einstein cu scalari de-
termin a spatiul Einstein al gyrovectorilor (R
a
c
, , ). Gyrometrica spatiului Einstein
al gyrovectorilor (R
a
c
, , ) este dat a de functia gyrodistant a
d(a, b) = [b a[ . (1.7)
Gyroliniile n spatiul Einstein al gyrovectorilor (\
c
, , ) coincid cu geodezicele mod-
elului pe disc al lui Beltrami - Klein al geometriei hiperbolice.
Un gyrotriunghi 1C n spatiul gyrovectorilor (\
c
, , ) este determinat de trei
puncte , 1, C G, numite vrfurile gyrotriunghiului si de gyrosegmentele 1, C
si 1C, numite laturile gyrotriunghiului. Laturile gyrotriunghiului determin a trei gy-
rounghiuri c, , si , 0 < c, ,, < corespunz atoare vrfurilor , 1, respectiv C.
Prezent am n continuare cteva teoreme demonstrate de c atre A. Ungar, utilizate
de c atre noi pentru obtinerea altor rezultate.
Teorema lui Menelaus n modelul vitezei relativiste a lui Einstein.
Fie a
1
, a
2
si a
3
trei puncte necoliniare n spatiul gyrovectorilor al lui Einstein
(\
c
, , ). Dac a o gyrolinie intersecteaz a gyrolaturile gyrotriunghiului a
1
a
2
a
3
n gy-
ropunctele a
12
, a
13
, a
23,
, atunci

a
1
a
12
|a
1
a
12
|

a
2
a
12
|a
2
a
12
|

a
2
a
23
|a
2
a
23
|

a
3
a
23
|a
3
a
23
|

a
3
a
13
|a
3
a
13
|

a
1
a
13
|a
1
a
13
|
= 1 (1.8)
unde
v
=
1
r
1
kvk
2
s
2
este factorul gamma. (vezi [135], p 463)
Teorema lui Ceva n modelul vitezei relativiste a lui Einstein.
Fie a
1
, a
2
si a
3
trei puncte necoliniare n spatiul gyrovectorilor al lui Einstein
(\
c
, , ), iar a
123
este un punct n planul gyrotriunghiului a
1
a
2
a
3
. Dac a gyroliniile
a
1
a
123
, a
2
a
123
, a
3
a
123
intersecteaz a dreptele a
2
a
3
, a
3
a
1
, respectiv a
1
a
2
, atunci

a
1
a
12
|a
1
a
12
|

a
2
a
12
|a
2
a
12
|

a
2
a
23
|a
2
a
23
|

a
3
a
23
|a
3
a
23
|

a
3
a
13
|a
3
a
13
|

a
1
a
13
|a
1
a
13
|
= 1, (1.9)
unde
v
=
1
r
1
kvk
2
s
2
este factorul gamma. (vezi [135], p 461)
1. Modelul vitezei relativiste a lui Einstein 16
Teorema sinusurilor n modelul vitezei relativiste a lui Einstein.
Fie 1C un gyrotriunghi n spatiul gyrovectorilor al lui Einstein (\
c
, , ), avnd
vrfurile , 1 si C, laturile a = 1C, b = C si c = 1. Fie a = |a| , / =
|b| , c = |c| lungimile gyrolaturilor gyrotriunghiului 1C, a, /, c (:, :), iar c =
\1C, , = \C1, = \C1 sunt gyrounghiurile gyrotriunghiului 1C. Atunci
urm atoarea egalitate este adev arat a:
sinc

o
a
=
sin,

b
/
=
sin

c
c
, (1.10)
unde
v
=
1
r
1
kvk
2
s
2
este factorul gamma. (vezi [135], p. 544)
Teorema cosinusului n modelul vitezei relativiste a lui Einstein.
Fie 1C un gyrotriunghi n spatiul gyrovectorilor al lui Einstein (\
c
, , ), avnd
vrfurile , 1 si C, laturile a = 1C, b = C si c = 1. Fie a = |a| , / =
|b| , c = |c| lungimile gyrolaturilor gyrotriunghiului 1C, iar c = \1C, , =
\C1, = \C1 sunt gyrounghiurile gyrotriunghiului 1C. Atunci urm atoarea
egalitate este adev arat a:

o
=
b

c
(1 /
c
c
c
cos c), (1.11)
unde
v
=
1
r
1
kvk
2
s
2
este factorul gamma. (vezi [135], p.542)
Teorema bisectoarei n modelul vitezei relativiste a lui Einstein.
Fie 1C un gyrotriunghi n spatiul gyrovectorilor al lui Einstein (\
c
, , ), avnd
vrfurile , 1 si C, laturile a = 1C, b = C si c = 1. Fie a = |a| , / =
|b| , c = |c| lungimile gyrolaturilor gyrotriunghiului 1C, iar 1 un punct pe latura
1C a gyrotriunghiului astfel nct 1 este bisectoarea gyrounghiului \1C. Atunci,

[11[
[11[

[C1[
[C1[
=

[1[
[1[

[C[
[C[
, (1.12)
unde
v
=
1
r
1
kvk
2
s
2
este factorul gamma. (vezi [136], p.151).
Chapter 2
Varianta hiperbolic a a unor
rezultate geometrice clasice
Geometria hiperbolic a a ap arut n prima jum atate a secolului al XIX-lea ca o ncercare
de a ntelege baza axiomatic a a geometriei lui Euclid. Este cunoscut de asemena
faptul c a desi sunt mai multe tipuri de geometrii neeucliediene, acestea au multe
caracteristici comune cu geometria euclidian a. Astfel, geometria hiperbolic a include
concepte similare, ca de exemplu cele de distant a si unghi.
2.1 Teorema lui Menelaus n modelul pe disc al lui Poincar
al geometriei hiperbolice
Menelaus din Alexandria, matematician si astronom grec, a fost primul care a g asit
geodezicele pe o suprafat a curb a ca analoage de linii drepte. Binecunoscuta teorem a
a lui Menelaus arm a c a dac a | este o dreapt a ce nu trece prin nici un vrf al unui
triunghi 1C, astfel nct dreapta | intersecteaz a laturile 1C, C, and 1 n 1, 1,
respectiv 1, atunci
11
1C

1C
1

1
11
= 1 [79]. Acest rezultat este simplu dar are o
mare utilizare n aplicatii. Mention am cteva demonstratii diferite date de c atre A.
Johnson [84], N. A. Court [55], C. Cosnit a [53], A. Ungar [135]. n cele ce urmeaz a
vom prezenta o demonstratie pentru varianta hiperbolic a a acestei teoreme utiliznd
modelul pe disc al lui Poincar. Autorul a publicat rezultatele de mai jos n lucrarea
[38].
Teorema 2.1.1. (Teorema lui Menelaus pentru un triunghi hiperbolic)
Dac a | este o dreapt a hiperbolic a ce nu trece prin nici un vrf al triunghiului hiperbolic
1C astfel nct | intersecteaz a 1C n 1, C n 1 si 1 n 1, atunci
(1)

(11)

(11)

(C1)

(C1)

(1)

= 1.
17
2. Varianta hiperbolic a a unor rezultate geometrice clasice 18
Teorema 2.1.2. (Reciproca teoremei lui Menelaus pentru un triunghi
hiperbolic) Dac a punctul 1 apartine dreptei hiperbolice 1C, 1 apartine dreptei
hiperbolice C, si 1 apartine dreptei hiperbolice 1 atfel nct
(1)

(11)

(11)

(C1)

(C1)

(1)

= 1,
atunci punctele 1, 1 si 1 sunt coliniare.
Teorema 2.1.3. (O teorem a a lui Titeica n modelul lui Poincar) Printr-
un punct O situat n interiorul unui triunghi hiperbolic 1C se duce o dreapt a
hiperbolic a ce intersecteaz a geodezicele 1C, C si 1 n
t
, 1
t
, respectiv C
t
. Dac a

tt
, 1
tt
, C
tt
sunt simetricele punctelor
t
, 1
t
, respectiv C
t
n raport cu punctul O, iar
dou a dintre dreptele
tt
, 11
tt
, CC
tt
sunt concurente, atunci toate sunt concurente.
2.2 Teorema lui Menelaus pentru patrulatere hiperbolice
O aplicatie a teoremei lui Menelaus o reprezint a forma pentru patrulaterele hiperbol-
ice, care n geometria euclidian a urm atoarea formulare: dac a A, 1, 7, \ sunt puncte
coliniare pe laturile 1, 1C, C1, respectiv 1, ale patrulaterului 1C1, atunci
A
1A

1Y
CY

CZ
1Z

1W
W
= 1 [17]. n continuare vom prezenta o varianta hiperbolic a a teo-
remei lui Menelaus pentru patrulatere n modelul pe disc al lui Poincar si n modelul
vitezei relativiste a lui Einstein. Autorul a publicat rezultatele de mai jos n lucr arile
[18] si [39].
Dac a , 1 si A sunt puncte distincte pe o dreapt a hiperbolic a /, se numeste ra tie
hiperbolica raportul /(, A, 1) =
sinh(o(,A))
sinh(o(A,1))
, dac a A este ntre si 1, si /(, A, 1) =

sinh(o(,A))
sinh(o(A,1))
pentru orice alt a situatie (unde d(', ) reprezint a distanta hiperbolic a
dintre punctele ' si ).
Ratia hiperbolic a are urm atoarele propriet ati:
1. /(, A, 1) =
1
I(1,A,)
,
2. dac a A este ntre si 1, atunci /(, A, 1) (0, 1),
3. dac a A este pe 1, dup a 1, atunci /(, A, 1) (, 1),
4. dac a A este pe 1, dup a , atunci /(, A, 1) (1, 0),
5. dac a A si 1 sunt puncte pe drepta hiperbolic a astfel nct /(, A, 1) =
/(, 1, 1), atunci A = 1.
Pentru mai multe detalii despre ratia hiperbolic a a se vedea, de exemplu, [130].
n demostratia pe care o vom da mai jos vom utiliza toerema lui Menealus pentru un
triunghi hiperbolic, al carei enunt este urm atorul: Dac a | este o dreapt a hiperbolic a
ce nu trece prin nici un vrf al triunghiului hiperbolic 1C astfel nct | intersecteaz a
1C n 1, C n 1 si 1 n 1, atunci
/(, 1, 1) /(1, 1, C) /(C, 1, ) = 1
(vezi [97], p. 113).
2. Varianta hiperbolic a a unor rezultate geometrice clasice 19
Teorema 2.2.1. (Teorema lui Menelaus pentru patrulatere hiperbolice
n modelul pe disc al lui Poincar). Dac a o dreapt a hiperbolic a | intersecteaz a
laturile 1, 1C, C1, 1 ale patrulaterului hiperbolic 1C1 n A, 1, 7, respectiv
\, atunci
/(, A, 1) /(1, 1, C) /(C, 7, 1) /(1, \, ) = 1
F. Smarandache a generalizat teorema lui Menelaus pentru orice poligon avnd : _
4 laturi, dup a cum urmeaz a: Dac a o dreapt a | intersecteaz a laturile
1

2
,
2

3
, ..., si

1
ale :-gonului
1

2
...
a
, respectiv n punctele '
1
, '
2
, ..., '
a
, atunci
'
1

1
'
1

2

'
2

2
'
2

3
...
'
a

a
'
a

1
= 1
[122]. n cele ce urmeaz a vom prezenta demonstratii pentru varianta hiperbolic a a
teoremei lui Menelaus pentru patrulatere si a teoremei lui Smarandache n geometria
hiperbolic a utiliznd modelul vitezei relativiste a lui Einstein.
Teorema 2.2.2. (Teorema lui Menelaus pentru patrulatere hiperbolice)
Dac a | este o dreapt a hiperbolic a ce nu trece prin nici un vrf al patrulaterului hiper-
bolic convex 1C1, astfel nct | intersecteaz a 1 n A, 1C n 1 , C1 n 7 si 1
n \, atunci

jAXj
[A[

jBXj
[1A[


jBY j
[1Y [

jCY j
[CY [


jCZj
[CZ[

jDZj
[1Z[


jDWj
[1W[

jAWj
[W[
= 1
D am n continuare o consecint a a acestei teoreme.
Corolarul 2.2.3. (Teorema transversalei pentru triunghiuri hiperbolice).
Fie 1 un punct pe latura 1C a triunghiului hiperbolic 1C si | o dreapt a hiperbolic a
ce nu trece prin nici un vrf al triunghiului, astfel nct | intersecteaz a pe 1 n ',
pe C n si pe 1 n 1. Atunci,

jAMj
[A[

jABj
[1[


jACj
[C[

jANj
[.[


jPNj
[1.[

jPMj
[1A[


jDBj
[11[

jDCj
[1C[
= 1
Teorema 2.2.4. (Teorema lui Menelaus pentru un poligon hiperbolic con-
vex) Dac a | este o dreapt a ce nu trece prin nici un vrf al jo|iqo:n|ni convex
1

2
...
a
astfel nct | intersecteaz a
1

2
n '
1
,
2

3
n '
2
, ..., si
a

1
n '
a
, atunci

jM
1
A
1
j
[A
1

1
[

jM
1
A
2
j
[A
1

2
[


jM
2
A
2
j
[A
2

2
[

jM
2
A
3
j
[A
2

3
[
...

jM
n
A
n
j
[A
n

n
[

jM
n
A
1
j
[A
n

1
[
= 1
2. Varianta hiperbolic a a unor rezultate geometrice clasice 20
2.3 Teorema lui Ceva n modelul pe disc al lui Poincar
al geometriei hiperbolice
n cele ce urmeaz a vom prezenta o demonstratie pentru varianta hiperbolic a a teoremei
lui Ceva utiliznd modelul pe disc al lui Poincar. Forma euclidian a a acestei teoreme
este urm atoarea: dac a ntr-un triunghi
1

3
consider am cevienele
1
1,
2
Q si

3
1 concurente, atunci

1
1
1
2

2
1
1
3

3
Q
Q
1
= 1 [84]. Teorema are o mare aplicabilitate n
aplicatiile n care sunt date drepte concurente. Mention am cteva demonstratii diferite
ale acestei teoreme, date de c atre N.A.Court [54], D.Grindberg [75], R.Honsberg [79],
A.Ungar [135]. Autorul a publicat rezultatele de mai jos n lucrarea [7].
Teorema 2.3.1. (Teorema lui Ceva pentru un triunghi hiperbolic) Dac a
' este un punct ce nu apartine nici unei laturi a unui triunghi hiperbolic
1

3
astfel nct
3
' si
1

2
se intersecteaz a n 1,
2
' si
3

1
n Q, iar
1
' si
2

3
se intersecteaz a n 1, atunci,
(
1
1)

(
2
1)

(
2
1)

(
3
1)

(
3
Q)

(
1
Q)

= 1.
Apare acum ntrebarea dac a exist a reciproca acestei teoreme. Vom ar ata n cele
ce urmeaz a c a teorema lui Ceva admite reciproc a n anumite conditii.
Teorema 2.3.2. (Reciproca teoremei lui Ceva pentru un triunghi hiper-
bolic) Dac a punctele 1, 1 si Q apartin dreptelor hiperbolice
3

2
,
2

1
, respectiv

3
astfel nct
(
1
1)

(
2
1)

(
2
1)

(
3
1)

(
3
Q)

(
1
Q)

= 1,
iar dou a dintre dreptele hiperbolice
1
1,
2
Q si
3
1 se intersecteaz a, atunci toate
dreptele hiperbolice
1
1,
2
Q,
3
1 trec printr-un punct comun.
Denitia 2.3.3. Numim simedian a hiperbolic a a unui triunghi hiperbolic,
simetrica unei mediane hiperbolice fat a de bisectoarea corespunz atoare aceluiasi unghi.
Corolarul 2.3.4. Medianele hiperbolice ale unui triunghi hiperbolic
1

3
sunt
concurente.
Denitia 2.3.5. Dreptele hiperbolice ' si '
t
se numesc i.oqo:a|c fat a de
unghiul
\
1C dac a sunt simetrice fat a de bisectoarea unghiului
\
1C.
Teorema 2.3.6. Dac a dreptele hiperbolice
1
1 si
1
Q sunt dou a izogonale ale
unghiului
\

3
al triunghiului hiperbolic
1

3
, iar punctele 1 si Q apartin
laturii
2

3
, atunci
(CQ)

(
2
Q)

(C1)

(
2
1)

=
_
(C
1
)

(
2

1
)

_
2
.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 21
Corolarul 2.3.7. Dac a dreapta hiperbolic a
1
1 este o simedian a hiperbolic a a
triunghiului hiperbolic
1

3
, iar punctul 1 apartine laturii
2

3
, atunci
(
3
1)

(
2
1)

=
_
(
3

1
)

(
2

1
)

_
2
.
Corolarul 2.3.8. Simedianele hiperbolice ale unui triunghi hiperbolic sunt con-
curente.
Corolarul 2.3.9. Bisectoarele interioare ale unui triunghi hiperbolic
1

3
sunt
concurente.
Teorema 2.3.10. (O teorem a a lui Titeica n modelul lui Poincar).
Fie
1
1
1
C
1
triunghiul hiperbolic cevian al unui punct 1 n raport cu un triunghi
hiperbolic 1C. O geodezic a | intersecteaz a laturile 1C, Csi 1 n punctele
2
, 1
2
,
respectiv C
2
. Dac a dreptele hiperbolice 1
1
C
2
si 1C se intersecteaz a n
3
, C
1

2
si
C se intersecteaz a n 1
3
,
1
1
2
si 1 se intersecteaz a n C
3
, iar dou a dintre dreptele
hiperbolice
3
, 11
3
, CC
3
se intersecteaz a, atunci dreptele hiperbolice
3
, 11
3
si
CC
3
sunt concurente.
2.4 Teorema lui Desargues n modelul pe disc al lui Poincar
n aceast a sectiune vom prezenta teorema lui Desargues n modelul pe disc al lui
Poincar al geometriei hiperbolice. Binecunoscuta teorem a a lui Desargues arm a c a
dac a trei drepte ce unesc vrfurile corespunz atoare a dou a triunghiuri sunt concurente,
atunci cele trei puncte determinate de intersectiile dreptelor suport ale laturilor core-
spunz atoare triunghiurilor respective sunt coliniare [84]. Aceasta teorem a are o mare
aplicabilitate n geometria proiectiv a. Mention am cteva demonstratii diferite ale aces-
tei teoreme, date de c atre N. A. Court [54], H. Coxeter [57], C. Durell [64], H. Eves
[67], C.Ogilvy [111], W. Graustein [74]. Autorul a publicat rezultatele de mai jos n
lucrarea [9].
Teorema 2.4.1. (Varianta hiperbolic a a teoremei lui Desargues) Dac a
1C si
t
1
t
C
t
sunt dou a triunghiuri astfel nct dreptele
t
, 11
t
si CC
t
se inter-
secteaz a n O, iar 1C si 1
t
C
t
se intersecteaz a n 1, C si C
t

t
se intersecteaz a n ',
1 si
t
1
t
se intersecteaz a n , atunci punctele 1, ' si sunt coliniare.
Teorema lui Desargues, varianta hiperbolic a, admite reciproc a n anumite conditii.
Vom da n continuare reciproca teoremei lui Desargues n modelul pe disc al lui
Poincar al geometriei hiperbolice.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 22
Teorema 2.4.2. (Varianta hiperbolic a a reciprocei teoremei lui Desar-
gues) Fie 1C si
t
1
t
C
t
dou a triunghiuri hiperbolice astfel nct 1C si 1
t
C
t
se
intersecteaz a n 1, C si C
t

t
se intersecteaz a n ', 1 si
t
1
t
se intersecteaz a
n , iar punctele 1, ' si sunt coliniare. Dac a dou a dintre dreptele hiperbolice

t
, 11
t
sau CC
t
se intersecteaz a ntr-un punct O, atunci si cea de a treia dreapt a
hiperbolic a trece prin O.
2.5 Teorema poligonului podar al lui Smarandache
n cele ce urmeaz a vom prezenta o demonstratie pentru varianta hiperbolic a a teoremei
poligonului podar al lui Smarandache utiliznd modelul pe disc al lui Poincar. Forma
euclidian a a acestei teoreme este urm atoarea: dac a '
i
, i = 1, : sunt proiectiile unui
punct ' pe laturile
i

i+1
, i = 1, :, unde
a+1
=
1
, unui poligon
1

2
...
a
, atunci
'
1

2
1
+'
2

2
2
+... +'
a

2
a
= '
1

2
2
+'
2

2
3
+... +'
a1

2
a
+'
a

2
1
[123]. Autorul a publicat rezultatele de mai jos n lucrarea [16].
Denitia 2.5.1. Fie ' un punct situat n interiorul poligonului hiperbolic con-
vex
1

2
...
a
. Poligonul hiperbolic ale c arui vrfuri sunt proiectiile punctului ' pe
laturile poligonului hiperbolic
1

2
...
a
se numeste poligonul hiperbolic podar
al punctului ' n raport cu
1

2
...
a
.
Vom utiliza, pentru a demonstra teorema lui Smarandache n varianta hiperbolic a,
teorema lui Pitagora, al c arei enunt este urm atorul:
Fie 1C un triunghi hiperbolic, n modelul pe disc al lui Poincar, n care laturile
a = 1 C, / = C , c = 1 au lungimile hiperbolice a = |a| , / = |b| , c =
|c|, iar c, , si sunt m asurile unghiurilor , 1 si C. Dac a c = ,2, atunci
a
2
= /
2
c
2
(vezi [135], p 290)
Teorema 2.5.2. Fie
1

2
...
a
un poligon hiperbolic convex n discul lui Poincar,
vrfurile
1
,
2
, ...,
a
, ind asezate pe disc n sens trigonometric, au axele a
1
=

1

2
, a
2
=
2

3
, ..., respectiv a
a
=
a

1
. Fie punctele '
i
, i = 1, :
situate respectiv pe laturile
i

i+1
, i = 1, : cu
a+1
=
1
. Dac a perpendicularele
ridicate pe laturile
i

i+1
, i = 1, : n punctele '
i
, i = 1, : sunt concurente, atunci:
[
1
'
1
[
2
['
1

2
[
2
[
2
'
2
[
2
['
2

3
[
2
...[
a
'
a
[
2
['
a

1
[
2
= 0.
Observatia 2.5.3. Pentru cazul particular : = 3 se obtine teorema hiperbolic a a
lui Carnot, demonstrat a de O. Demirel si E. Soytrk [60].
Teorema 2.5.4. Fie 1C un triunghi hiperbolic n discul lui Poincar, unde
punctele , 1 si C sunt citite pe disc n sens trigonometric. Fie punctele
t
, 1
t
si C
t
2. Varianta hiperbolic a a unor rezultate geometrice clasice 23
pe laturile 1C, C, respectiv 1 ale triunghiului hiperbolic 1C , iar
tt
simetricul
lui
t
fat a de mijlocul segmentului hiperbolic 1C; analog se construiesc punctele 1
tt
si C
tt
. Dac a perpendicularele ridicate din punctele
t
, 1
t
si C
t
pe laturile 1C, C,
respectiv 1 sunt concurente, iar dou a dintre perpendicularele ridicate din punctele

tt
, 1
tt
si C
tt
pe laturile 1C, C, respectiv 1 sunt concurente, atunci toate cele trei
perpendiculare sunt concurente.
2.6 O demonstratie trigonometric a a teoremei lui Steiner-
Lehmus n modelul pe disc al lui Poincar al geome-
triei hiperbolice
n cele ce urmeaz a vom prezenta versiunea hiperbolic a a teoremei lui Steiner-Lehmus
n modelul pe disc al lui Poincar al geometriei hiperbolice. Mention am c a N. Sonmez
[127] a prezentat o demonstratie trigonometric a n modelul semiplanului superior al lui
Poincar, dar abordarea sa difer a de cea pe care noi o vom prezenta n cele ce urmeaz a.
Forma euclidian a a binecunoscutei teoreme a lui Steiner-Lehmus este urm atoarea: dac a
dou a bisectoare interioare ale unui triunghi au aceeasi lungime, atunci triunghiul core-
spunz ator este isoscel [57]. Mention am cteva demonstratii diferite ale acestei teoreme,
date de c atre O.A.AbuArqob, H.E.Rabadi, J.S.Khitan [1], G.Gilbert, D.MacDonnell
[71], H.Hajja [78], M.Levin [91], J.V.Malesevic [95] si A.P.Pargeter [113]. Vom ar ata
c a aceast a teorem a nu mai este adev arat a pentru un triunghi hiperbolic. Autorul a
publicat rezultatele de mai jos n lucrarea [15].
Vom utiliza, pentru a demonstra teorema lui Steiner-Lehmus n varianta hiperbol-
ic a, teorema cosinusului, al c arei enunt este urm atorul:
Dac a 1C este un triunghi hiperbolic, n modelul pe disc al lui Poincar, n care
laturile a = 1 C, / = C , c = 1 au lungimile hiperbolice a = |a| , / =
|b| , c = |c|, iar c, , si sunt m asurile unghiurilor , 1 si C,
cos c =
a
2
c
+/
2
c
+c
2
c
a
2
c
/
2
c
c
2
c
2/
c
c
c

1
1 a
2
c
,
cos , =
a
2
c
/
2
c
+c
2
c
a
2
c
/
2
c
c
2
c
2a
c
c
c

1
1 /
2
c
,
cos =
a
2
c
+/
2
c
c
2
c
a
2
c
/
2
c
c
2
c
2/
c
a
c

1
1 c
2
c
,
unde a
c
=
o
c
(vezi [134], p. 259]).
Teorema 2.6.1. Dac a dou a bisectoare interioare ale unui triunghi hiperbolic sunt
egale, atunci triunghiul nu este isoscel.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 24
2.7 Teorema izogonalelor lui Steiner ntr-un triunghi hiper-
bolic
n cele ce urmeaz a vom prezenta versiunea hiperbolic a a unei teoreme a lui Steiner
n modelul pe disc al lui Poincar al geometriei hiperbolice. Teorema cevienelor izog-
onale n geometria euclidian a are urm atorul enunt: produsul rapoartelor lungimilor
segmentelor determinate de dou a izogonale ale unui vrf al unui triunghi pe cea de a
treia latur a este egal cu p atratul raportului lungimior laturilor ce formeaz a unghiul re-
spectiv [17]. Mention am cteva demonstratii diferite ale acestei teoreme, date de c atre
R.A. Johnson [84], N.A.Court [54], C. Cosnit a [53]. Autorul a publicat rezultatele de
mai jos n lucrarea [19].
Vom utiliza, pentru a demonstra teorema izogonalelor lui Steiner n varianta hiper-
bolic a, teorema sinusurilor, al c arei enunt este urm atorul: Dac a 1C este un triunghi
hiperbolic, n modelul pe disc al lui Poincar, n care laturile au lungimile hiperbolice
a, /, c, iar c, , si sunt m asurile unghiurilor , 1 si C, atunci
sinc
sinha
=
sin,
sinh/
=
sin
sinhc
(vezi [98], p.112).
Teorema 2.7.1. (Teorema izogonalelor lui Steiner). Dac a 1 si Q sunt
dou a geodezice izogonale ale vrfului al triunghiului hiperbolic 1C, iar punctele
1 si Q sunt pe latura 1C, atunci
sinh(d(C, 1))
sinh(d(1, 1))

sinh(d(C, Q))
sinh(d(1, Q))
=
_
sinh(d(, C))
sinh(d(, 1))
_
2
Corolarul 2.7.2. Dac a 1 este simedian a hiperbolic a n triunghiul hiperbolic
1C, iar punctul 1 apartine laturii 1C, atunci
sinh(d(C, 1))
sinh(d(1, 1))
=
_
sinh/
sinhc
_
2
.
n cele ce urmeaz a, mergnd n linii mari pe aceeasi idee ca n demonstratia teo-
remei precedente, vom prezenta versiunea hiperbolic a teoremei lui Steiner n modelul
vitezei relativiste a lui Einstein. Autorul a publicat rezultatele de mai jos n lucrarea
[31].
Teorema 2.7.3. Dac a dreptele hiperbolice 1 si Q sunt dou a izogonale ale
vrfului al triunghiului hiperbolic 1C, iar punctele 1 si Q sunt pe latura 1C,
atunci

[CQ[
[CQ[

[1Q[
[1Q[


[C1[
[C1[

[11[
[11[
=
_

[C[
[C[

[1[
[1[
_
2
2. Varianta hiperbolic a a unor rezultate geometrice clasice 25
Corolarul 2.7.4. Dac a 1 este simedian a hiperbolic a n triunghiul hiperbolic
1C, iar punctul 1 apartine laturii 1C, atunci

[C1[
[C1[

[11[
[11[
=
_

[C[
[C[

[1[
[1[
_
2
.
Teorema 2.7.5. Dac a dreptele hiperbolice 1 si Q sunt dou a izogonale ale
vrfului al triunghiului hiperbolic 1C, iar punctele 1 si Q sunt pe latura 1C,
atunci

[11[
[11[

[1Q[
[1Q[


[C1[
[C1[

[CQ[
[CQ[
=
_

[1[
[1[

[Q[
[Q[
_
2
Corolarul 2.7.6. Dac a dreptele 1 si Q sunt dou a izogonale ale vrfului al
triunghiului hiperbolic 1C, iar punctele 1 si Q sunt pe latura 1C, atunci

[1[
[1[

[Q[
[Q[
=

[1[
[1[

[1Q[
[1Q[


[C1[
[C1[

[C[
[C[
.
Corolarul 2.7.7. (O teorem a a lui T. Andreescu) Dac a dreptele hiperbolice
1 si Q sunt dou a izogonale ale vrfului al triunghiului hiperbolic 1C, iar
punctele 1 si Q sunt pe latura 1C, atunci

[CQ[
[CQ[

[1Q[
[1Q[
+

[C1[
[C1[

[11[
[11[
_ 2

[C[
[C[

[1[
[1[
2.8 Varianta hiperbolic a a teoremei lui Mathieu
n cele ce urmeaz a vom prezenta versiunea hiperbolic a a teoremei lui Mathieu n
modelul pe disc al lui Poincar al geometriei hiperbolice. Teorema lui Mathieu n
geometria euclidian a are urm atoarea form a: dac a trei ceviene ntr-un triunghi sunt
concurente, atunci si izogonalele lor sunt de asemenea concurente [85]. Mention am
cteva demonstratii diferite ale acestei teoreme, date de c atre T. Lalescu [88], C.
Barbu [17], C. Cosnit a [53]. Autorul a publicat rezultatele de mai jos n lucrarea [19].
Teorema 2.8.1. Fie 1
1
, 11
2
si C1
3
trei ceviene concurente ale unui triunghi
hiperbolic 1C si Q
1
, 1Q
2
, respectiv CQ
3
izogonalele lor. Dac a dou a dintre geo-
dezicele Q
1
, 1Q
2
, CQ
3
se intersecteaz a, atunci si cea de a treia trece prin punctul de
intersectie al primelor dou a.
Observatia 2.8.2. Punctul Q de concurent a al geodezicelor Q
1
, 1Q
2
si CQ
3
se
numeste izogonalul conjugat al punctului 1.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 26
Consecinta 2.8.3. Centrul cercului nscris ntr-un triunghi hiperbolic este pro-
priul s au izogonal conjugat.
Observatia 2.8.4. Din teorema lui Mathieu rezult a c a simedianele hiperbolice
ale unui triunghi 1C sunt concurente. Punctul de concurent a al simedianelor se
numeste punctul lui Lemoine al triunghiului hiperbolic 1C.
Consecinta 2.8.5. Izogonalul conjugat al centrului de greutate al triunghiului
hiperbolic 1C este punctul lui Lemoine corespunz ator triunghiului 1C.
Teoremei lui Mathieu i mai putem da o demonstratie n discul lui Poincar cu
ajutorul gyrovectorilor urmnd n linii mari demonstratia de mai sus.
2.9 Teorema lui Nobbs n geometria hiperbolic a
n cele ce urmeaz a vom prezenta versiunea hiperbolic a a teoremei lui Nobbs n modelul
pe disc al lui Poincar al geometriei hiperbolice. Teorema lui Nobbs n geometria
euclidian a are urm atoarea form a: dac a
t
, 1
t
, C
t
sunt punctele de contact dintre cercul
nscris cu laturile 1C, C, respectiv 1 ale unui triunghi 1C, iar
tt
, 1
tt
, C
tt
sunt
punctele de intersectie dintre 1C si 1
t
C
t
, C si
t
C
t
, respectiv 1 si
t
1
t
, atunci
punctele
tt
, 1
tt
si C
tt
sunt coliniare. Punctele
tt
, 1
tt
si C
tt
se numesc jn:ctc|c |ni
o//:, iar dreapta pe care se a a aceste puncte se numeste drcajta |ni Gcrqo::c.
Mention am cteva demonstratii diferite ale acestei teoreme, date de c atre C. Barbu
[17], C. Cosnit a [53]. Autorul a publicat rezultatele de mai jos n lucrarea [33].
Lema 2.9.1. Dac a
t
, 1
t
, C
t
sunt punctele de contact dintre cercul nscris cu
laturile 1C, C, respectiv 1 ale unui triunghi hiperbolic 1C, atunci d(, 1
t
) =
d(, C
t
), d(1, C
t
) = d(1,
t
) si d(C,
t
) = d(C, 1
t
).
Lema 2.9.2. Dac a
t
, 1
t
, C
t
sunt punctele de contact dintre cercul nscris cu
laturile 1C, C, respectiv 1 ale unui triunghi hiperbolic 1C, atunci geodezicele

t
, 11
t
si CC
t
sunt concurente.
Observatia 2.9.3. Punctul de concurent a al geodezicelor
t
, 11
t
si CC
t
se
numeste jn:ctn| |ni Gcrqo::c corespunz ator triunghiului 1C.
Teorema 2.9.4. (Teorema lui Nobbs n varianta hiperbolic a). Fie
t
, 1
t
, C
t
sunt punctele de contact dintre cercul nscris cu laturile 1C, C, respectiv 1 ale unui
triunghi hiperbolic 1C. Dac a geodezicele 1C si 1
t
C
t
, C si
t
C
t
, respectiv 1 si

t
1
t
se intersecteaz a, atunci punctele corespunz atoare de intersectie sunt coliniare.
Observatia 2.9.5. Teorema lui Nobbs arm a c a dac a exist a punctele lui Nobbs,
atunci acestea apartin dreptei hiperbolice a lui Gergonne.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 27
2.10 Transversala izotomic a n geometria hiperbolic a
n cele ce urmeaz a vom prezenta versiunea hiperbolic a a teoremei transversalei n mod-
elul pe disc al lui Poincar al geometriei hiperbolice. Teorema lui Nobbs n geometria
euclidian a are urm atoarea form a: dac a | este o dreapt a ce nu trece prin nici un vrf
al unui triunghi 1C astfel nct | intersecteaz a dreptele 1C, C si 1 n punctele

t
, 1
t
, respectiv C
t
, iar
tt
, 1
tt
si C
tt
sunt simetricele punctelor
t
, 1
t
, respectiv C
t
fat a de mijloacele laturilor 1C, C, respectiv 1, atunci
tt
, 1
tt
si C
tt
sunt coliniare
[86]. Mention am cteva demonstratii diferite ale acestei teoreme, date de c atre C.
Kimberling [86], C. Barbu [17], C. Cosnit a [53]. Autorul a publicat rezultatele de mai
jos n lucrarea [20].
Teorema 2.10.1. Fie | o dreapt a hiperbolic a ce nu trece prin nici un vrf al unui
triunghi hiperbolic 1C, astfel nct | intersecteaz a dreptele hiperbolice 1C, C si
1 n punctele
t
, 1
t
, respectiv C
t
. Dac a
tt
, 1
tt
si C
tt
sunt simetricele punctelor

t
, 1
t
, respectiv C
t
fat a de mijloacele laturilor 1C, C, respectiv 1, atunci punctele

tt
, 1
tt
si C
tt
sunt coliniare.
Denitia 2.10.2. Punctele
tt
, 1
tt
si C
tt
se numesc izotomicele punctelor
t
, 1
t
,
respectiv C
t
. Dreapta pe care sa a a punctele
tt
, 1
tt
si C
tt
se numeste transversala
izotomica corespunz atoare geodezicei |.
2.11 O teorem a a lui Neuberg n modelul pe disc al lui
Poincar
n continuare vom prezenta versiunea hiperbolic a a teoremei lui Neuberg n modelul
pe disc al lui Poincar al geometriei hiperbolice. Teorema lui Neuberg n geometria
euclidian a are urm atoarea form a: dac a 1
1
, 11
2
si C1
3
sunt trei ceviene concurente
ale unui triunghi 1C, iar Q
1
, Q
2
, Q
3
sunt simetricele punctelor 1
1
, 1
2
, respectiv
1
3
fat a de mijloacele laturilor 1C, C respectiv 1, atunci Q
1
, 1Q
2
si CQ
3
sunt
concurente [84]. Mention am cteva demonstratii diferite ale acestei teoreme, date de
c atre C. Barbu [17], C. Cosnit a [53]. Autorul a publicat rezultatele de mai jos n
lucrarea [20].
Teorema 2.11.1. Fie 1
1
, 11
2
si C1
3
trei ceviene concurente ale unui tri-
unghi hiperbolic 1C, iar Q
1
, Q
2
, Q
3
sunt simetricele punctelor 1
1
, 1
2
, respectiv
1
3
fat a de mijloacele laturilor 1C, C, respectiv 1. Dac a dou a dintre geodezicele
Q
1
, 1Q
2
, CQ
3
se intersecteaz a, atunci si cea de a treia trece prin punctul de inter-
sectie al primelor dou a.
Denitia 2.11.2. Dac a 1 este punctul de concurent a al geodezicelor 1
1
, 11
2
si 1Q
3
, atunci punctul Q de concurent a al geodezicelor Q
1
, 1Q
2
, CQ
3
se numeste
2. Varianta hiperbolic a a unor rezultate geometrice clasice 28
conjugatul izotomic al punctului 1. Dreptele Q
1
, 1Q
2
, CQ
3
se numesc cevienele
izotomice corespunz atoare cevienelor 1
1
, 11
2
si 1Q
3
.
Corolarul 2.11.3. Centrul de greutate G al unui triunghi hiperbolic este propriul
s au izotomic conjugat.
Corolarul 2.11.4. Dac a triunghiul hiperbolic 1C admite punct al lui Nagel,
atunci punctul lui Gergonne este izotomicul conjugat al s au.
2.12 Teorema lui Glicher n geometria hiperbolic a
n continuare vom prezenta versiunea hiperbolic a a teoremei lui Glicher n modelul
pe disc al lui Poincar al geometriei hiperbolice. Teorema lui Glicher n geometria
euclidian a are urm atoarea exprimare: dac a Q
1
Q
2
Q
3
este triunghiul cevian al unui
punct Q n raport cu un triunghi 1
1
1
2
1
3
iar 1
1
1
2
1
3
este triunghiul cevian al unui
punct 1 n raport cu triunghiul Q
1
Q
2
Q
3
, atunci dreptele 1
1
1
1
, 1
2
1
2
, si 1
3
1
3
sunt
concurente [77]. Autorul a publicat rezultatele de mai jos n lucrarea [34].
Teorema 2.12.1 (Teorema lui Glicher n varianta hiperbolic a). Fie Q
un punct situat n interiorul unui triunghi hiperbolic 1
1
1
2
1
3
si Q
1
Q
2
Q
3
triunghiul
hiperbolic cevian al punctului Q. Dac a 1
1
1
2
1
3
este triunghiul hiperbolic cevian al
unui punct 1 n raport cu triunghiul hiperbolic Q
1
Q
2
Q
3
, iar 1 este situat n interiorul
triunghiului hiperbolic Q
1
Q
2
Q
3
, atunci dreptele hiperbolice 1
1
1
1
, 1
2
1
2
si 1
3
1
3
sunt
concurente.
2.13 Varianta hiperbolic a a teoremei bisectoarei
n continuare vom prezenta versiunea hiperbolic a a teoremei bisectoarei n modelul
pe disc al lui Poincar al geometriei hiperbolice. Teorema bisectoarei n geometria
euclidian a are urm atoarea exprimare: dac a 1 este bisectoarea interioar a a unghiului
al unui triunghi 1C, 1 (1C), atunci
11
1C
=
1
C
. Mention am cteva demonstratii
diferite ale acestei teoreme, date de c atre C. Cosnit a [53], A. Johnson [84]. Autorul a
publicat rezultatele de mai jos n lucrarea [34].
Teorema 2.13.1. (Teorema bisectoarei interioare). Fie 1C un triunghi
hiperbolic n discul lui Poincar si 1 un punct pe latura 1C astfel nct 1 este
bisectoarea unghiului \1C . Atunci,
(11)

(1C)

=
(1)

(C)

,
2. Varianta hiperbolic a a unor rezultate geometrice clasice 29
unde

=

1
2
.
Teorema 2.13.2. (Reciproca teoremei bisectoarei interioare). Fie 1C un
triunghi hiperbolic n discul lui Poincar, iar 1 un punct pe latura 1C astfel nct
(11)

(1C)

=
(1)

(C)

, unde

=

1
2
. Atunci, 1 este bisectoarea unghiului \1C.
Teorema 2.13.3. (Teorema bisectoarei exterioare). Fie 1C un triunghi
hiperbolic n discul lui Poincar. Dac a 1 un punct pe dreapta hiperbolic a 1C astfel
nct 1 este bisectoarea exterioar a a unghiului . Atunci,
(11)

(1C)

=
(1)

(C)

, unde

=

1
2
.
Teorema 2.13.4. (Reciproca teoremei bisectoarei exterioare). Fie 1C un
triunghi hiperbolic n discul lui Poincar. Dac a o dreapt a hiperbolic a ce trece prin
intersecteaz a dreapta hiperbolic a 1C n 1 astfel nct
(11)

(1C)

=
(1)

(C)

, unde

=

1
2
,
iar bisectoarea exterioar a a unghiului intersecteaz a geodezica 1C, atunci 1 este
bisectoarea exterioar a a unghiului .
Corolarul 2.13.5. Fie 1C un triunghi hiperbolic n discul lui Poincar. Dac a 1
un punct pe dreapta 1C astfel nct 1 este bisectoarea exterioar a a unghiului , iar
11 si C1 sunt bisectoarele interioare ale unghiurilor 1, respectiv C ale triunghiului
hiperbolic 1C, atunci punctele 1, 1 si 1 sunt coliniare.
Corolarul 2.13.6. (O teorem a a lui P atrascu n geometria hiperbolic a).
Fie 1 un punct pe latura 1C a unui triunghi hiperbolic 1C, iar 1 si 1 puncte pe
laturile C, respectiv 1 astfel nct 11 si 11 sunt bisectoarele unghiurilor \1C,
respectiv \11. Atunci, dreptele hiperbolice 1, 11 si C1 sunt concurente.
Teorema 2.13.7. Fie Q un punct situat n interiorul unui triunghi hiperbolic
1
1
1
2
1
3
si Q
1
Q
2
Q
3
triunghiul hiperbolic cevian al punctului Q. Dac a bisectoarele
unghiurilor triunghiului hiperbolic 1
1
1
2
1
3
intersecteaz a laturile Q
2
Q
3
, Q
3
Q
1
si Q
1
Q
3
n punctele 1
1
, 1
2
, respectiv 1
3
, atunci dreptele hiperbolice Q
1
1
1
, Q
2
1
2
si Q
3
1
3
sunt
concurente.
Observatia 2.13.8. Teorema 2.13.1 n varianta hiperbolic a are o form a similar a
cu cea din geometria euclidian a.
2.14 Teorema lui Zajic n modelul pe disc al lui Poincar
al geometriei hiperbolice
n continuare vom prezenta versiunea hiperbolic a a teoremei lui Zajic n modelul pe
disc al lui Poincar al geometriei hiperbolice. Teorema lui Zajic n geometria euclidian a
are urm atoarea exprimare: dac a
t
este punctul de contact dintre cercul nscris ntr-un
triunghi 1C cu latura 1C, A este un punct pe latura 1C, T
1
si T
2
sunt punctele de
2. Varianta hiperbolic a a unor rezultate geometrice clasice 30
contact dintre cercurile nscrise n triunghiurile 1A, respectiv CA cu latura 1C,
atunci segmentele
t
A si T
1
T
2
sunt congruente [79]. Autorul a publicat rezultatele de
mai jos n lucrarea [30].
Teorema 2.14.1. (Teorema lui Zajic n geometria hiperbolic a). Dac a

t
este punctul de contact dintre cercul nscris ntr-un triunghi hiperbolic 1C cu
latura 1C, A este un punct pe latura 1C, T
1
si T
2
sunt punctele de contact dintre
cercurile nscrise n triunghiurile hiperbolice 1A, respectiv CA cu latura 1C,
atunci distantele hiperbolice d(
t
, A) si d(T
1
, T
2
) sunt egale.
Corolarul 2.14.2. Fie A un punct pe latura 1C a triunghiului hiperbolic 1C,
iar
t
,
1
,
2
punctele de contact dintre cercurile nscrise n triunghiurile 1C, 1A,
respectiv CA cu 1C. Atunci, d(
t
,
1
) = d(A,
2
) si d(
t
,
2
) = d(A,
1
).
Corolarul 2.14.3. (Teorema lui Honsberger n variant a hiperbolic a).
Dac a
t
este punctul de contact dintre cercul nscris n triunghiul hiperbolic 1C
cu latura 1C, atunci cercurile nscrise n triunghiurile hiperbolice 1
t
si C
t
sunt
tangente geodezicei
t
n acelasi punct.
2.15 Teorema lui Carnot n modelul semiplanului supe-
rior al lui Poincar
Prezent am n cele ce urmeaz a versiunea hiperbolic a a teoremei lui Carnot n modelul
semiplanului superior al lui Poincar al geometriei hiperbolice. Teorema lui Carnot n
geometria euclidian a are urm atoarea exprimare: dac a punctele
t
, 1
t
, C
t
sunt situate
pe laturile 1C, C, respectiv 1 ale triunghiului 1C, atunci perpendicularele duse
din
t
, 1
t
, C
t
pe laturi sunt concurente dac a si numai dac a
C
t2
1C
t2
+1
t2
C
t2
+C1
t2
1
t2
= 0.
Demonstratia standard a acestei teoreme se bazeaz a pe teorema lui Pitagora. Speci-
c am cteva demonstratii diferite ale acestei teoreme, date de c atre C. Barbu [17],
J. Gabay, L. Nicolescu, V. Bosko. Mention am c a O. Demirel si E. Soytrk [60] au
dat forma teoremei lui Carnot n modelul pe disc al lui Poincar. Autorul a publicat
rezultatele de mai jos n lucrarea [41].
n demonstratia teoremelor ce urmeaz a vom utiliza teorema lui Pitagora n variant a
hiperbolic a, si anume: Fie 1C un triunghi hiperbolic, unghiul drept ind n C. Dac a
a, /, c sunt lungimile hiperbolice ale laturilor 1C, C, respectiv 1, atunci
coshc = cosha cosh/.
Demonstratia acestei teoreme se g aseste, de exemplu, n [98].
2. Varianta hiperbolic a a unor rezultate geometrice clasice 31
Teorema 2.15.1. (Teorema lui Carnot n modelul semiplanului supe-
rior al lui Poincar). Fie punctele
t
, 1
t
, C
t
situate pe laturile 1C, C, respectiv
1 ale unui triunghi hiperbolic 1C. Dac a perpendicularele duse din
t
, 1
t
, C
t
pe
dreptele hiperbolice 1C, C, respectiv 1 sunt concurente ntr-un punct ', atunci
urm atoarele relatii sunt adev arate:
i) cosh'
t
(cosh
t
1 cosh
t
C) + cosh'1
t
(cosh1
t
C cosh1
t
)+
cosh'C
t
(coshC
t
coshC
t
1) = 0,
ii)
cosh
t
1
cosh
t
C

cosh1
t
C
cosh1
t

coshC
t

coshC
t
1
= 1.
Natural, acum ne ntreb am dac a exist a varianta hiperbolic a a reciprocei teoremei
lui Carnot. ntradev ar, n anumite conditii aceast a reciproc a are loc, dup a cum vom
vedea n teorema de mai jos.
Teorema 2.15.2. (Teorema reciproc a a lui Carnot n modelul semiplan-
ului superior al lui Poincar). Fie punctele
t
, 1
t
, C
t
situate pe laturile 1C, C,
respectiv 1 ale unui triunghi hiperbolic 1C. Dac a perpendicularele duse din 1
t
si C
t
pe dreptele hiperbolice C, respectiv 1 sunt concurente ntr-un punct ', iar
egalitatea urm atoare are loc:
cosh
t
1
cosh
t
C

cosh1
t
C
cosh1
t

coshC
t

coshC
t
1
= 1,
atunci punctul ' apartine si perpendicularei duse din
t
pe 1C.
Observatia 2.15.3. Teoremele precedente pot generalizate, demonstratia ind
aceeasi, astfel:
Fie
1

2
...
a
un poligon hiperbolic convex n modelul semiplanului superior al
lui Poincar, a
1
=
1

2
, a
2
=
2

3
, ..., a
a
=
a

1
laturile acestui poligon, iar
punctele '
i
, i = 1, : sunt situate pe laturile a
1
, a
2
, ..., a
a
. Dac a perpendicularele
pe laturile poligonului n punctele '
1
, '
2
, ..., '
a
sunt concurente ntr-un punct ',
atunci urm atoarele relatii sunt adev arate:
a

i=1
cosh'
i
(cosh'
i

i
cosh'
i

i+1
) = 0,
cosh'
1

1
cosh'
1

2

cosh'
2

2
cosh'
2

3
...
cosh'
a

a
cosh'
a

1
= 1.
cu
a+1
=
1
,
Fie
1

2
...
a
un poligon hiperbolic convex n modelul semiplanului superior al lui
Poincar, a
1
=
1

2
, a
2
=
2

3
, ..., a
a
=
a

1
laturile acestui poligon, iar punctele
'
i
, i = 1, : sunt situate pe laturile a
1
, a
2
, ..., a
a
. Dac a perpendicularele pe laturile
poligonului n punctele '
1
, '
2
, ..., '
a1
sunt concurente ntr-un punct ', iar relatia
urm atoare are loc
cosh'
1

1
cosh'
1

2

cosh'
2

2
cosh'
2

3
...
cosh'
a

a
cosh'
a

1
= 1,
atunci punctul ' apartine si perpendicularei duse din '
a
pe
a

1
.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 32
2.16 Teorema ortopolulul n geometria hiperbolic a
n continuare vom prezenta versiunea hiperbolic a a teoremei de existent a a ortopolului
unei drepte n modelul pe disc al lui Poincar al geometriei hiperbolice. Teorema
ortopolului n geometria euclidian a are urm atoarea exprimare: dac a vrfurile , 1, C
ale triunghiului 1C se proiecteaz a pe o dreapt a d oarecare ce nu trece prin vrfurile
triunghiului 1C n
t
, 1
t
, respectiv C
t
, atunci perpendicularele duse din
t
, 1
t
, C
t
pe dreptele 1C, C, respectiv 1 sunt concurente. Mention am cteva demonstratii
diferite ale acestei teoreme, date de c atre R. Goormaghtigh [73], J. Neuberg [105], W.
Gallaty [70]. Autorul a publicat rezultatele de mai jos n lucrarea [40].
Teorema 2.16.1. (Teorema lui Soons n modelul pe disc al lui Poincar).
Dac a vrfurile , 1, C ale triunghiului hiperbolic 1C se proiecteaz a pe o dreapt a
hiperbolic a d oarecare ce nu trece prin vrfurile triunghiului 1C n punctele
t
, 1
t
,
respectiv C
t
, iar dou a dintre perpendicularele duse din
t
, 1
t
, C
t
pe dreptele hiperbo-
lice 1C, C, respectiv 1 sunt concurente, atunci toate perpendicularele sunt con-
curente.
Teorema 2.16.2. (Teorema lui Soons n modelul semiplanului superior al
lui Poincar). Dac a vrfurile , 1, C ale triunghiului hiperbolic 1C se proiecteaz a
pe o dreapt a hiperbolic a d oarecare ce nu trece prin vrfurile triunghiului 1C n
punctele
t
, 1
t
, respectiv C
t
, iar dou a dintre perpendicularele duse din
t
, 1
t
, C
t
pe
dreptele hiperbolice 1C, C, respectiv 1 sunt concurente, atunci toate perpendicu-
larele sunt concurente.
Observatia 2.16.3. Punctul de concurent a al dreptelor hiperbolice
t

tt
, 1
t
1
tt
si C
t
C
tt
se numeste ortopolul dreptei hiperbolice d n raport cu triunghiul hiperbolic
1C.
2.17 Forma hiperbolic a a teoremei lui Stewart
n cele ce urmeaz a vom prezenta o demonstratie pentru varianta hiperbolic a a teoremei
lui Stewart utiliznd modelul vitezei relativiste a lui Einstein. Binecunoscuta teorem a
a lui Stewart are urm atoarea forma euclidian a: dac a 1 apartine laturii C a unui
triunghi 1C, atunci
1
2
1C +1C
2
1 11
2
C = C 1C 1
[58]. Mention am cteva demonstratii diferite ale acestei teoreme, date de c atre O.
Demirel [61], W. Stothers [130]. Autorul a publicat rezultatele de mai jos n lucrarea
[22].
2. Varianta hiperbolic a a unor rezultate geometrice clasice 33
Teorema 2.17.1. (Teorema lui Stewart n variant a hiperbolic a). Dac a 1
este un punct pe latura C a unui triunghi hiperbolic 1C, atunci

[1[

[1C[
[1C[ +
[C[

[11[
[11[
[1[

[1C[

[11[
[[11[ +[1C[] = 0,
unde prin [1C[ , [11[ si [1C[ am notat lungimile hiperbolice ale segmentelor 1C, 11,
respectiv 1C.
Corolarul 2.17.2. (Teorema medianei n geometria hiperbolic a). Fie 1C
un triunghi hiperbolic, iar 1 mijlocul segmentului hiperbolic 1C. Atunci, urm atorea
egalitate este adev arat a:

[1[
=

[1[
+
[C[
2
[1C[
.
Corolarul 2.17.3. Fie 1C un triunghi hiperbolic si 1 un punt pe latura 1C,
astfel nct 1 este bisectoarea unghiului \1C. Atunci

[1[
=

[1[
[1C[

[11[
[[11[ +[1C[]

_
1 +
[1[
[C[
_
.
2.18 Teorema lui Van Aubel n geometria hiperbolic a
n cele ce urmeaz a vom prezenta versiunea hiperbolic a a teoremei lui Van Aubel
n modelul vitezei relativiste a lui Einstein. Teorema lui Van Aubel n geometria
euclidian a are urm atoarea form a: dac a 1C este un triunghi si 1, 11, C1 sunt
trei ceviene concurente n 1, atunci
1
11
=
1
1C
+
1
11
[Barbu, 11]. Mention am cteva
demonstratii diferite ale acestei teoreme, date de c atre C. Barbu [17], N. Minculete
[99]. Autorul a publicat rezultatele de mai jos n lucrarea [25].
Teorema 2.18.1. Dac a 1 este un punct situat n interiorul unui triunghi hiper-
bolic 1C, iar 1, 1, 1 intersectiile dintre dreptele hiperbolice 1, 11, C1 cu 1C, C,
respectiv 1, atunci

[1[
[1[

[11[
[11[
=

[1C[
[1C[
2
_

[1[
[1[

[1C[
[1C[

1

[11[
[11[
+

[1[
[1[

[11[
[11[

1

[C1[
[C1[
_
.
Corolarul 2.18.2. Fie G centrul de greutate al triunghiului hiperbolic 1C si
1, 1, 1 mijloacele laturilor 1C, C, respectiv C. Atunci,

[G[
[G[

[G1[
[G1[
=

[1C[
[1C[
2
_
1

[11[
[11[
+
1

[C1[
[C1[
_
.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 34
Corolarul 2.18.3. Fie 1 centrul cercului nscris n triunghiul hiperbolic 1C, iar
1, 11 si C1 bisectoarele interioare ale unghiurilor triunghiului 1C. Atunci,

[1[
[1[

[11[
[11[
=
1
2
_

[1[
[1[

[11[
[11[
+

[C[
[C[

[C1[
[C1[
_
.
2.19 Varianta hiperbolic a a teoremei de minima lui Smaran-
dache
n cele ce urmeaz a vom prezenta versiunea hiperbolic a a teoremei de minim a lui
Smarandache n Einstein Relativistic Velocity Model. Teorema lui Smarandache n
geometria euclidian a are urm atoarea form a: dac a 1C este un triunghi si
t
, 11
t
, CC
t
sunt trei ceviene concurente n 1, atunci
1
1
0

11
11
0

1C
1C
0
_ 8 si
1
1
0
+
11
11
0
+
1C
1C
0
_ 6
[125]. Autorul a publicat rezultatele de mai jos n lucrarea [23].
Teorema 2.19.1. Dac a 1C este un triunghi hiperbolic si
t
, 11
t
, CC
t
sunt
trei ceviene hiperbolice concurente n 1, atunci

[1[
[1[

[1
0
[
[1
t
[


[11[
[11[

[11
0
[
[11
t
[


[C1[
[C1[

[1C
0
[
[1C
t
[
_ 1,
si

[1[
[1[

[1
0
[
[1
t
[
+

[11[
[11[

[11
0
[
[11
t
[
+

[C1[
[C1[

[1C
0
[
[1C
t
[
_ 3.
Teorema de minim a lui Smarandache n varianta hiperbolic a are o form a similar a
cu cea din geometria euclidian a. Trecnd la limit a, pentru : atunci factorul
gamma
v
=
1
r
1
kvk
2
s
2
1, relatiile precedente devenind
1
1
t

11
11
t

1C
1C
t
_ 1,
respectiv
1
1
t
+
11
11
t
+
1C
1C
t
_ 3,
n geometria euclidian a. Observ am c a inegalit atile astfel obtinute sunt mai "slabe"
dect cele din teorema euclidian a a lui Smarandache, obtinndu-se astfel o neconcor-
dant a ntre cele dou a geometrii.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 35
2.20 Teorema diviziunii armonice a lui Pappus
n cele ce urmeaz a vom prezenta versiunea hiperbolic a a teoremei diviziunii armonice
a lui Pappus n modelul vitezei relativiste a lui Einstein. Teorema lui Pappus n
geometria euclidian a are urm atoarea form a: dac a
t
1
t
C
t
este triunghiul cevian al
unui punct ' n raport cu un triunghi 1C, astfel nct dreptele 1
t
C
t
si 1C se
intersecteaz a n
tt
, atunci

00
1

00
C
=

0
1

0
C
[57]. Autorul a publicat rezultatele de mai jos
n lucrarea [29].
Teorema 2.20.1. (Teorema diviziunii armonice a lui Pappus). Dac a

t
1
t
C
t
este triunghiul hiperbolic cevian al unui punct ' n raport cu un triunghi
hiperbolic 1C astfel nct dreptele hiperbolice 1
t
C
t
si 1C se intersecteaz a n
tt
,
atunci

[A
0
B[
[
0
1[

[A
0
C[
[
0
C[
=

[A
00
B[
[
00
1[

[A
00
C[
[
00
C[
.
Corolarul 2.20.2. Dac a
t
1
t
C
t
este triunghiul hiperbolic cevian al unui punct
' n raport cu un triunghi hiperbolic 1C astfel nct dreptele hiperbolice 1
t
C
t
si
1C se intersecteaz a n
tt
, iar
t
este bisectoarea interioar a a unghiului ]1C,
atunci

[A
00
B[
[
00
1[

[A
00
C[
[
00
C[
=

jABj
[1[

jACj
[C[
.
Denitia 2.20.3. Se numeste antibisectoare a unui triunghi hiperbolic, izo-
tomica unei bisectoare a unui unghi a triunghiului hiperbolic.
Corolarul 2.20.4. Fie
t
1
t
C
t
triunghiul hiperbolic cevian al unui punct ' n
raport cu un triunghi hiperbolic 1C astfel nct dreptele hiperbolice 1
t
C
t
si 1C se
intersecteaz a n
tt
. Dac a
t
este bisectoarea interioar a a unghiului ]1C, iar
1
este antibisectoarea unghiului ]1C, atunci

[A
00
B[
[
00
1[

[A
00
C[
[
00
C[
=
_

jA
1
Bj
[
1
1[

jA
1
Cj
[
1
C[
_
1
.
Corolarul 2.20.5. Fie
t
1
t
C
t
triunghiul hiperbolic cevian al unui punct ' n
raport cu un triunghi hiperbolic 1C astfel nct dreptele 1
t
C
t
si 1C se intersecteaz a
n
tt
. Dac a
t
este simedian a, punctul
t
ind pe latura 1C, atunci

[A
00
B[
[
00
1[

[A
00
C[
[
00
C[
=
_

jABj
[1[

jACj
[C[
_
2
.
Teorema 2.20.6. Fie
t
1
t
C
t
triunghiul hiperbolic cevian al unui punct ' n
raport cu un triunghi hiperbolic 1C astfel nct dreptele hiperbolice 1
t
C
t
si 1C se
2. Varianta hiperbolic a a unor rezultate geometrice clasice 36
intersecteaz a n
tt
. Dac a
t
este bisectoarea interioar a a gyrounghiului ]1C, iar
gyrodreptele
t
C
t
si 11
t
se intersecteaz a n 1,
t
1
t
si CC
t
se intersecteaz a n 1, 1
si 1C se intersecteaz a n 1
t
, 1 si 1C se intersecteaz a n 1
t
, atunci

[A
00
B[
[
00
1[

[A
00
C[
[
00
C[
=

[D
0
B[
[1
0
1[

[D
0
A
0
[
[1
0

0
[


[E
0
A
0
[
[1
0

0
[

[E
0
C[
[1
0
C[
.
2.21 Teorema triunghiului cevian al lui Smarandache
n continuare vom prezenta versiunea hiperbolic a a teoremei triunghiului cevian al
lui Smarandache n modelul vitezei relativiste a lui Einstein al geometriei hiperbolice.
Teorema lui Smarandache n geometria euclidian a are urm atoarea exprimare: dac a

1
1
1
C
1
este triunghiul cevian al unui punct 1 n raport cu un triunghi 1C, atunci
1
1
1

11
11
1

1C
1C
1
=
1 1C C

1
1 1
1
C C
1

[124]. Autorul a publicat rezultatele de mai jos n lucrarea [13].

Teorema 2.21.1. Dac a
1
1
1
C
1
este triunghiul hiperbolic cevian al unui punct
1 n raport cu un triunghi hiperbolic 1C, atunci

jPAj
[1[

jPA
1
j
[1
1
[


jPBj
[11[

jPB
1
j
[11
1
[


jPCj
[1C[

jPC
1
j
[1C
1
[
=

jABj
[1[

jBCj
[1C[

jCAj
[C[

jAB
1
j
[1
1
[

jBC
1
j
[1C
1
[

jCA
1
j
[C
1
[
.
2.22 Inegalit ati ntr-un triunghi hiperbolic
n continuare vom prezenta cteva inegalit ati ce au loc ntr-un triunghi hiperbolic.
Autorul a publicat unele dintre aceste rezultate n lucrarea [31].
Teorema 2.22.1. Fie 1 punctul de intersectie al bisectoarelor unghiurilor unui
triunghi hiperbolic 1C. Dac a

<

1 <

C, atunci d(, 1) d(1, 1) d(C, 1).
Teorema 2.22.2. Fie 1C un triunghi hiperbolic. Dac a mediatoarea laturii
C intersecteaz a latura 1C n punctul 1, iar ' este un punct oarecare pe aceast a
mediatoare, atunci
d(', ) +d(', 1) d(1, ) +d(1, 1).
2. Varianta hiperbolic a a unor rezultate geometrice clasice 37
Teorema 2.22.3. Fie 1C un triunghi hiperbolic, iar
t
, 11
t
si CC
t
medianele
sale. Atunci,
d(,
t
) +d(1, 1
t
) +d(C, C
t
) < d(, 1) +d(1, C) +d(C, )
Teorema 2.22.4. Fie 1C un triunghi hiperbolic, iar
t
, 1
t
si C
t
mijloacele
segmentelor 1C, C, respectiv 1. Atunci,
2 [d(
t
, 1
t
) +d(1
t
, C
t
) +d(C
t
,
t
)] < d(, 1) +d(1, C) +d(C, )
Teorema 2.22.5. n orice triunghi hiperbolic sunt adev arate inegalit atile:
cosha + cosh/ + coshc _ c + 2
_
sinh
2
a
2
+ sinh
2
/
2
+ sinh
2
c
2
_
,
cosha + cosh/ _ 2
_
cosh
2
a
2
+ cosh
2
/
2
_
,
sinha + sinh/ + sinhc <
4
_
sinh
a
2
+ sinh
/
2
+ sinh
c
2
+ sinh
a
2
sinh
2
a
4
+ sinh
/
2
sinh
2
/
4
+ sinh
c
2
sinh
2
c
4
_
unde c _ 3, iar a, /, c sunt lungimile hiperbolice ale laturilor triunghiului.
Teorema 2.22.6. Dac a a, /, c sunt distantele hiperbolice ale laturilor unui triunghi
hiperbolic 1C, atunci:
3 cosh
a +/ +c
3
_ cosha + cosh/ + coshc
Observatia 2.22.7. Din teoremele 2.22.5 si 2.22.6 rezult a:
3 cosh
a +/ +c
3
_ cosha + cosh/ + coshc _ c + 2
_
sinh
2
a
2
+ sinh
2
/
2
+ sinh
2
c
2
_
,
unde c _ 3.
Corolarul 2.22.8. ntr-un triunghi hiperbolic este adev arat a inegalitatea:
sinh
2
a
2
+ sinh
2
/
2
+ sinh
2
c
2
_
3
2
_
1 cosh
a +/ +c
3
_
.
Teorema 2.22.9. ntr-un triunghi hiperbolic este adev arat a inegalitatea:
cosh
c
2
< cosh
2
a
2
+ cosh
2
/
2
.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 38
Teorema 2.22.10. ntr-un triunghi hiperbolic este adev arat a inegalitatea:
sinha
a
+
sinh/
/
+
sinhc
c
< 2 +
2
3
_
cosh
2
a
2
+ cosh
2
/
2
+ cosh
2
c
2
_
.
Corolarul 2.22.11. ntr-un triunghi hiperbolic este adev arat a inegalitatea:
sinha
a
+
sinh/
/
+
sinhc
c
<
2
3
_
5 + sinh
2
a
2
+ sinh
2
/
2
+ sinh
2
c
2
_
.
Teorema 2.22.12. ntr-un triunghi hiperbolic este adev arat a inegalitatea:
6 sinh
a +/ +c
6
_ sinha + sinh/ + sinhc.
Observatia 2.22.13. ntr-un triunghi hiperbolic este adev arat a inegalitatea:
sinh
a +/ +c
6
<
2
3
_
sinh
a
2
+ sinh
/
2
+ sinh
c
2
+ sinh
a
2
sinh
2
a
4
+ sinh
/
2
sinh
2
/
4
+ sinh
c
2
sinh
2
c
4
_
Teorema 2.22.14. ntr-un triunghi hiperbolic este adev arat a inegalitatea:
sinh
a
3
<
2
3
_
sinh
a
2
+ sinh
/
2
+ sinh
c
2
+ sinh
a
2
sinh
2
a
4
+ sinh
/
2
sinh
2
/
4
+ sinh
c
2
sinh
2
c
4
_
2.23 Inegalitatea lui Andrica-Iwata ntr-un triunghi hiper-
bolic
n studiile realizate de c atre D. Andrica [5] si S. Iwata [81] apare o inegalitate care
poate o foarte buna surs a pentru obtinerea de noi inegalit ati pentru un triunghi
euclidian. Teorema lui Andrica - Iwata arm a c a dac a a, /, c sunt lungimile laturilor
1C, C, respectiv 1 ale unui triunghi 1C, atunci urm atoarea inegalitate are loc:
a
/ +c
_ sin

2
.
Mention am cteva demonstratii diferite de ale autorilor date de c atre D. Mitrinovic,
J. Pecaric, V. Volenec [102], C. Tiu. Vom da n cele ce urmeaz a varianta hiperbolic a
a inegalit atii lui Andrica-Iwata. Rezultatele din aceast a sectiune au fost publicate n
[35].
2. Varianta hiperbolic a a unor rezultate geometrice clasice 39
n teoremele pe care le vom demonstra vom utiliza teoremele sinusurilor, cosinusu-
lui si medianei ntr-un triunghi hiperbolic.Astfel,
Teorema cosinusului pentru un triunghi hiperbolic se enunt a astfel:
Dac a 1C este un triunghi hiperbolic ale c arui laturi au lungimile hiperbolice
d(1, C) = a, d(C, ) = /, d(, 1) = c, atunci
sinh(/) sinh(c) cos() = cosh(/) cosh(c) cosh(a)
(vezi [57], p.238).
Teorema sinusurilor pentru un triunghi hiperbolic se enunt a astfel:
Dac a 1C este un triunghi hiperbolic ale c arui laturi au lungimile hiperbolice
d(1, C) = a, d(C, ) = /, d(, 1) = c, atunci
sinh(a)
sin
=
sinh(/)
sin1
=
sinh(c)
sinC
(vezi [57], p.238).
Teorema medianei pentru un triunghi hiperbolic se enunt a astfel:
Dac a 1C este un triunghi hiperbolic ale c arui laturi au lungimile hiperbolice
d(1, C) = a, d(C, ) = /, d(, 1) = c, iar 1 este median a n triunghiul 1C avnd
distanta hiperbolic a d(, 1) = d, atunci
cosh(d) =
cosh(/) + cosh(c)
2 cosh
_
o
2
_
(vezi [130]).
Teorema 2.23.1. (Varianta hiperbolic a a teoremei lui Andrica-Iwata).
Fie 1C un triunghi hiperbolic ascutitunghic sau dreptunghic n n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
sinh(a)
sinh(/) + sinh(c)
<
1
_
2 cos
.+
2
,
unde - = 1 C este defectul triunghiului 1C.
Corolarul 2.23.2. Fie 1C un triunghi hiperbolic ascutitunghic sau dreptunghic
n n care laturile au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c.
Atunci urm atoarea inegalitate este adev arat a
sinh(a)
sinh(/) + sinh(c)
<
1
_
2 cos

2
.
Corolarul 2.23.3. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
sinh(a) < sinh(/) + sinh(c).
2. Varianta hiperbolic a a unor rezultate geometrice clasice 40
Corolarul 2.23.4. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
sinh(a)
sinh(/) + sinh(c)
<
1
cos
.
2
.
Corolarul 2.23.5. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
sinh(a)
sinh(/) + sinh(c)
+
sinh(/)
sinh(a) + sinh(c)
+
sinh(c)
sinh(/) + sinh(a)
<
3
cos
.
2
.
Teorema 2.23.6. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
sinh(a)
sinh(/) + sinh(c)
+
sinh(/)
sinh(a) + sinh(c)
+
sinh(c)
sinh(/) + sinh(a)
_
3
2
.
Observatia 2.23.7. Egalitatea
sinh(a)
sinh(/) + sinh(c)
+
sinh(/)
sinh(a) + sinh(c)
+
sinh(c)
sinh(/) + sinh(a)
=
3
2
are loc dac a si numai dac a 1C este un triunghi echilateral, deoarece sinh(a) =
sinh(/) = sin(c), adic a dac a si numai dac a a = / = c.
Teorema 2.23.8. Fie 1C un triunghi hiperbolic n care laturile au lungimile
hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea inegalitate este
adev arat a
cosh(/) + cosh(c) 2 cosh
_
a
2
_
.
Teorema 2.23.9. Dac a 1C este un triunghi hiperbolic ale c arui laturi au
lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c, iar 1 este median a
n triunghiul 1C avnd distanta hiperbolic a d(, 1) = d, atunci
sinh(d)
cosh(/) cosh(c)
2 sinh
_
o
2
_ .
Corolarul 2.23.10. Dac a 1C este un triunghi hiperbolic ale c arui laturi au
lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c, iar 1 este median a n
triunghiul 1C avnd distanta hiperbolic a d(, 1) = d, atunci
2
_
sinh
/ +c
2

sinh
/ c
2

sinh
_
a
2
_
< sinh(d) <
1
_
2 cos C
_
sinh
_
a
2
_
+ sinh(/)
_
2. Varianta hiperbolic a a unor rezultate geometrice clasice 41
Teorema 2.23.11. Dac a 1C este un triunghi hiperbolic ale c arui laturi au
lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c, atunci
sinh(a) _
_
cosh(a) cosh(/ c)
Observatia 2.23.12. Utiliznd formula
cosh(/) cosh(c) = 2 sinh
_
/ +c
2
_
sinh
_
/ c
2
_
,
n rezultatul precedent, obtinem
sinh(a) _
_
2 sinh
_
a +/ c
2
_
sinh
_
a +c /
2
_
.
Inegalit ati similare se obtin si pentru sinh(/) si sinh(c).
Corolarul 2.23.13. Dac a 1C este un triunghi hiperbolic ale c arui laturi au
lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c, atunci
2
_
2

cic|ic
sinh(: a) _

cic|ic
sinh(a) <

cic|ic
[sinh(a) + sinh(/)]
2
_
2

cic|ic
cos

2
unde : este semiperimetrul triunghiului 1C.
2.24 Aplicatii ale inegalit atii lui Cusa ntr-un triunghi
hiperbolic
n cele ce urmeaz a vom da cteva aplicatii ale inegalit atii Cusa-Huygens ntr-un tri-
unghi hiperbolic. Dubla inegalitate a lui Cusa-Huygens are urm atoarea form a:
(cos r)
13
<
sinr
r
<
2 + cos r
3
_
0 < r <

2
_
.
Inegalitatea din stnga a ap arut prima dat a n [101], iar inegalitatea din dreapta a fost
mentionata prima dat a de c atre losoful Nicolaus de Cusa (1401-1464). Mention am
cteva demonstratii ale inegalit atii lui Cusa, date de c atre Baricz [42], Huygens [80],
Kln, Visuri, Vuorinen [87], Mortici [104], Neuman, Sndor [108]. Neuman [106] a dat
forma hiperbolic a a inegalit atii lui Cusa, astfel:
(coshr)
13
<
sinhr
r
<
2 + coshr
3
(r ,= 0).
n demersul nostru vom apela la urm atoarele inegalit ati, demonstrate n [87]:
cosh
_
rj _
coshr + coshj
2
,
2. Varianta hiperbolic a a unor rezultate geometrice clasice 42
sinhr
r
<
1
2
+
1
2
coshr,
sinh
_
rj
_
rj
<
1
2
_
sinhr
r
+
sinhj
j
_
,
unde r, j (0, ). Rezultatele de mai jos au fost publicate n [37].
Teorema 2.24.1. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
3 cos
1
3
(- +) < 1 +
_
sinh/ + sinhc
sinha
_
2
,
unde - = (+1 +C) este defectul triunghiului 1C.
Teorema 2.24.2. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
cos + cos 1 + cos C <
3(1 +1
2
)
2
41
4

sin
_
+.2
3
_
sin(-,2)
,
unde 1 =
_
sin(+.2) sin(1+.2) sin(C+.2)
sin(.2)
.
Corolarul 2.24.3. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
cos + cos 1 + cos C <
3(1 +1
2
)
2
41
4
sin(-,2)
.
Teorema 2.24.4. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
cos cos 1cos C <
(1 +1
2
)
6
641
10

1
sin
2
(-,2)
.
Teorema 2.24.5. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
cos

2
_
1 +1
2
21
2

_
sin(+-,2)
sin(-,2)
,
where 1 =
_
sin(+.2) sin(1+.2) sin(C+.2)
sin(.2)
.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 43
Urm atoarele trei rezultate sunt consecinte ale teoremei precedente.
Corolarul 2.24.6. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
cos

2
_
1 +1
2
21
2

1
_
sin(-,2)
Corolarul 2.24.7. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
8 cos

2
cos
1
2
cos
C
2
_
_
1 +1
2
_
3
1
5

1
_
sin(-,2)
.
Corolarul 2.24.8. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
cos

2
+ cos
1
2
+ cos
C
2
_
3(1 +1
2
)
21
2

_
sin
_
+.2
3
_
sin(-,2)
Teorema 2.24.9. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
sin+ sin1 + sinC _
3(1 +1
2
)
1
2

_
sin
_
+.2
3
_
sin(-,2)
.
Teorema 2.24.10. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
sinsin1sinC _
_
1 +1
2
_
3
1
5

1
_
sin(-,2)
.
Teorema 2.24.11. Fie r 0. Atunci urm atoarea inegalitate este adev arat a
sinh
_
rj
_
rj
<
1
4
(2 + coshr + coshj)
2. Varianta hiperbolic a a unor rezultate geometrice clasice 44
Corolarul 2.24.12. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
sinh
_
a/
_
a/
+
sinh
_
/c
_
/c
+
sinh
_
ca
_
ca
<
3
2
+
1
2
(cosha + cosh/ + coshc)
Corolarul 2.24.13. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
cosh
_
a/ + cosh
_
/c + cosh
_
ca _ cosha + cosh/ + coshc
Teorema 2.24.14. Fie r 0. Atunci urm atoarea inegalitate este adev arat a
_
sinhr
r
<
1
2
_
2
_
1 + 2 cosh
r
2
_
Corolarul 2.24.15. Fie 1C un triunghi hiperbolic ascutitunghic n care laturile
au lungimile hiperbolice d(1, C) = a, d(C, ) = /, d(, 1) = c. Atunci urm atoarea
inegalitate este adev arat a
_
sinha
a
+
_
sinh/
/
+
_
sinhc
c
<
3
2
_
2
+
1
_
2
(cosha + cosh/ + coshc) .
2.25 Forma hiperbolic a a unei inegalit ati a lui Panaitopol
si consideratii asupra inegalit atii lui Jordan
n cele ce urmeaz a vom da forma hiperbolic a a unei inegalit ati a lui Panaitopol precum
si cteva aplicatii ale inegalit atii Jordan. Panaitopol propune n culegerea "Probleme
de geometrie rezolvate trigonometric" urm atoarele dou a inegalit ati:
Problema 1. Dac a 0 < r < ,2 si a, / (0, ), atunci
_
1 +
a
sinr
_
_
1 +
/
cos r
_
_
_
1 +
_
2a/
_
2
.
Problema 2. Dac a 0 < r < ,2 si : este un num ar natural, atunci
_
1 +
1
sin
a
r
__
1 +
1
cos
a
r
_
_
_
1 + 2
n
2
_
2
.
2. Varianta hiperbolic a a unor rezultate geometrice clasice 45
n cele ce urmeaz a vom considera inegalit ati de tipul precedent utiliznd functii trigono-
metrice hiperbolice. Vom realiza diferite ncadr ari pentru produse de tipul
_
1 +
c
sinh
n
r
_
_
1 +
,
cosh
a
r
_
,
unde :, :, c si , sunt numere pozitive.
Lazarevic [89] (sau vezi Mitrinovic [101]) demonstreaz a inegalitatea:
_
sinhr
r
_
q
< coshr, (r ,= 0, _ 3).
Urm atoarele inegalit ati:
sinhr < r +
r
3
5
, (0 < r < 1),
sinh/r
/r
_
sinhr
r
, (r 0),
1
coshr
< 1
r
2
3
, (0 < r < 1),
1
coshr
<
sinr
r
<
r
sinhr
, (0 < r <

2
),
au fost stabilite de c atre R. Kln, M. Visuri si M. Vuorinen [87].
Inegalitatea
_
r
sinhr
_
c
< (1 j) +j
_
1
coshr
_
c
,
cu r 0, c 0 si j _ 1,3 a fost studiat a recent de c atre Zhu n [139].
Urm atoarele inegalit ati au fost stabilite de c atre Jordan:
2

r _ sinr _ r,
si au solicitat atentia a numerosi cercet atori.
Rezultatele de mai jos au fost publicate n [36].
Teorema 2.25.1. Fie r, c si , numere pozitive. Inegalitatea urm atoare este ade-
v arat a:
_
1 +
_
2c,
sinh2r
_
2
_
_
1 +
c
sinhr
_
_
1 +
,
coshr
_
Utiliznd teorema precedent a putem da urm atorul rezultat:
Teorema 2.25.2. Fie r 0 si / . Dac a c 0 si , 0, atunci urm atoarea
inegalitate are loc:
_
1 +
_
2c,
sinh2
I+1
r
_
2
_
_
1 +
c
sinh2
I
r
_
_
1 +
,
cosh2
I
r
_
2. Varianta hiperbolic a a unor rezultate geometrice clasice 46
Teorema 2.25.3. Fie r 0 si / . Dac a :, :, c si , sunt numere pozitive,
atunci urm atoarele inegalit ati sunt adev arate:
_
_
1 +
c
sinh
n
r
_
_
1 +
,
cosh
a
r
_
_ c,
unde
=
_
1 +
_
c,
sinh
n
rcosh
a
r
_
2
si
c = 1 +
_
(c
2
+,
2
)
_
1
sinh
2n
r
+
1
cosh
2a
r
_
+
c,
sinh
n
rcosh
a
r
.
Teorema 2.25.4. Fie r
_
0,

2
_
. Dac a c, , (0, ), atunci urm atoarea inegali-
tate este adev arat a:
_
1 +
_
2c,
sinh2r
_
2
< 1 +
c
sinhr
+
,r
sinhr
+
c,r
sinh
2
r
Corolarul 2.25.5. Dac a r
_
0,

2
_
, atunci
2r
sinh2r
<
_
r
sinhr
_
2
Corolarul 2.25.6. Dac a r
_
0,

2
_
, atunci
tanhr < r
Observatia 2.25.7. Inegalitatea precedent a este o form a mai slab a a inegalit atii
lui Mitrinovic care o demonstreaz a pentru orice valoare pozitiv a a lui r.
nlocuind c si , cu 1 n Teorema 2.25.4, obtinem:
Corolarul 2.25.8. Dac a r
_
0,

2
_
, atunci
_
1 +
_
2
sinh2r
_
2
<
_
1 +
1
sinhr
_
_
1 +
r
sinhr
_
Teorema 2.25.9. Fie r (0, 1) si _ 3. Inegalit atile urm atoare sunt adev arate:
q
_
3
3 /
2
r
2
<
sinhr
r
< 1 +
r
2
5
2. Varianta hiperbolic a a unor rezultate geometrice clasice 47
Teorema 2.25.10. Fie r (0, 1), c 0 si j _ 1,3. Inegalitatea urm atoare este
adev arat a:
_
r
sinhr
_
c
< (1 j) +j
_
1
r
2
3
_
c
Corolarul 2.25.11. Fie r (0, 1) si j _ 1,3. Inegalitatea urm atoare este ade-
v arat a:
r
sinhr
< 1 j
r
2
3
Teorema 2.25.12. Fie r (0, 1). Inegalit atile urm atoare sunt adev arate:
1
r
2
2
_
1
coshr
_ 1
r
2
3
Teorema 2.25.13. Fie r 0. Functia
)(t) =
1
cosh
t a
t
este cresc atoare pe (0, ).
Corolarul 2.25.14. Fie r (0, ). Inegalitatea urm atoare este adev arat a:
cosh
r
3
<
2
3
+
1
3
coshr
Teorema 2.25.15. Fie r (0, ). Inegalitatea urm atoare este adev arat a:
sinhr
r

1
cosh
a
3
Corolarul 2.25.16. Fie r (0, ). Inegalitatea urm atoare este adev arat a:
r
sinhr
<
2
3
+
1
3
coshr
Teorema 2.25.17. Fie r (0, ). Inegalitatea urm atoare este adev arat a:
sinr
r
< coshr.
Observatia 2.25.18. Kln, Visuri si Vuorinen au demonstrat n [87] c a inegal-
it atile
1
coshr
<
sinr
r
<
r
sinhr
2. Varianta hiperbolic a a unor rezultate geometrice clasice 48
sunt adev arate pentru r (0, ,2). Din teorema 2.25.16 si deoarece inegalitatea din
stnga a relatiei precedente este adev arat a pentru orice r (0, ), avem
1
coshr
<
sinr
r
< coshr
Teorema 2.25.19. Pentru orice r (0, ,2) are loc inegalitatea:
sinr
r
<
_
coshr.
Teorema 2.25.20. Pentru orice r, / (0, ) are loc inegalitatea:
sinr
r
<
sinh/r
/r
.
Teorema 2.25.21. Pentru orice r (0, ) si / [1, ) are loc inegalitatea:
sinr
r
<
sinh/r
r
Teorema 2.25.22. Fie r, j, .
_
0,
1
2
_
. Inegalitatea urm atoare este adev arat a:
1
cosh
a+j
2
+
1
cosh
j+:
2
+
1
cosh
:+a
2
_
1
coshr
+
1
coshj
+
1
cosh.
Teorema 2.25.23. Fie r, j, . (0, 1). Inegalitatea urm atoare este adev arat a:
1
sinh
a+j
2
+
1
sinh
j+:
2
+
1
sinh
:+a
2
_
1
sinhr
+
1
sinhj
+
1
sinh.
Corolarul 2.25.24. Fie r, j, . (0, 1). Inegalitatea urm atoare este adev arat a:
6
sinhr + sinhj + sinh. + sinh
a+j+:
3
_
1
sinhr
+
1
sinhj
+
1
sinh.
Chapter 3
Inegalitatea fundamental a a
triunghiului ntre clasic si
hiperbolic
3.1 Forma euclidian a a inegalit atii lui Blundon
ntr-un triunghi 1C e O centrul cercului circumscris, 1 centrul cercului nscris, G
centrul de greutate, punctul lui Nagel, : semiperimetrul, 1 raza cercului circum-
scris si r raza cercului nscris. n cele ce urmeaz a prezent am o demonstratie geometric a
a inegalit atii fundamentale a triunghiului. Aceast a relatie contine de fapt dou a ine-
galit ati si a fost demonstrat a pentru prima oar a de c atre E. Rouch [117] n 1851,
r aspunznd unei ntreb ari a lui Ramus referitoare la conditii necesare si suciente pen-
tru a exista un triunghi avnd date numerele reale pozitive :, 1, r . O demonstratie
relativ simpl a a inegalit atii fundamentale a triunghiului a fost dat a de W.J.Blundon
[45] si se bazeaz a pe urm atoarea proprietate algebric a a r ad acinilor unei ecuatii de
gradul trei: R ad acinile r
1
, r
2
, r
3
ale ecuatiei
r
3
+a
1
r
2
+a
2
r +a
3
= 0
sunt laturile unui triunghi dac a si numai dac a, urm atoarele conditii sunt vericate:
i) 18a
1
a
2
a
3
+ a
2
1
a
2
2
27a
3
3
4a
3
2
4a
3
1
a
3
0 ; ii) a
1
0, a
2
0, a
3
0; iii)
a
3
1
4a
1
a
2
+ 8a
3
0. Mai multe detalii se pot g asi n monograa scris a de c atre D.
Mitrinovic, J. Pecaric si V. Volenec [102], precum si n articolele lui C.Niculescu [109],
[110], R.A.Satnoianu [119], S.Wu [142]. Mention am c a G. Dospinescu, M. Lascu, C.
Pohoat a si M Tetiva au dat o demonstratie algebric a unei forme mai slabe a inegalit atii
lui Blundon : _ 21 + (3
_
3 4)r. Aceast a inegalitate este o consecint a a inegalit atii
fundamentale a triunghiului.
Reamintim cteva distante importante ce au loc ntr-un triunghi 1C. Faimoasa
formul a pentru distanta O1 este numit a relatia lui Euler si este dat a de
O1
2
= 1
2
21r
49
3. Inegalitatea fundamental a a triunghiului ntre clasic si hiperbolic 50
O demonstratie standard a acestei relatii g asim n H.S.M.Coxeter, S.L.Greitzer
[56] si T.Lalescu [88]. O demonstratie cu ajutorul numerelor complexe ntlnim n
T.Andreescu si D.Andrica [4]. Urm atoarea distant a de care avem nevoie este O si
este dat a de
O = 1 2r
Relatia precedent a ne d a o demonstratie geometric a a inegalit atii lui Euler 1 _ 2r si
joac a un rol important n obtinerea rezultatelor noastre. O demonstratie cu ajutorul
numerelor complexe ntlnim n T.Andreescu si D.Andrica [4]. O alt a distant a util a
este OG dat a de:
OG
2
= 1
2

a
2
+/
2
+c
2
9
,
unde a, / si c sunt lungimile laturilor triunghiului 1C. Demonstratia standard a
relatiei precedente utilizeaz a relatia lui Leibniz [4].
Suma a
2
+/
2
+c
2
poate scris a n functie de :, 1, r astfel:
a
2
+/
2
+c
2
= 2(:
2
r
2
41r)
Demonstratia aceastei formule se g aseste de exemplu n cartea D.S.Mitrinovic, J.E.
Pecaric, V.Volenec [102]. Rezultatele ce urmeaz a au fost publicate n [8].
Urm atorul rezultat contine o demonstratie geometric a simpl a a inegalit atii funda-
mentale a triunghiului.
Teorema 3.1.1. Dac a 1C nu este un triunghi echilateral, atunci urm atoarea
relatie este adev arat a:
cos
[
1O =
21
2
+ 101r r
2
:
2
2(1 2r)
_
1
2
21r
.
Teorema 3.1.2. (Rouch) Conditia necesar a si sucient a pentru a exista un
triunghi avnd elementele :, 1 si r, este
21
2
+101rr
2
2(12r)
_
1
2
21r _ :
2
_ 21
2
+101rr
2
+2(12r)
_
1
2
21r.
Not am cu T (1, r
o
) familia triunghiurilor avnd aceeasi raz a a cercului circumscris
1 si aceeasi exraz a r
o
. Inegalit atile precedente ne dau intervalul exact n care se
"misc a" : pentru toate triunghiurile din familia T (1, r
o
). Avem :
2
nia
= 21
2
+101r
r
2
2(12r)
_
1
2
21r si :
2
noa
= 21
2
+101rr
2
+2(12r)
_
1
2
21r. Dac a x am
punctele Osi 1
o
astfel nct O1 =
_
1
2
21r, atunci triunghiul din familia T (1, r
o
) cu
semiperimetrul minim, corespunde cazului cos
[
1O = 1, ceea ce nseamn a c a punctele
1, O, sunt coliniare, iar punctele 1 si apartin aceleiasi raze avnd originea n O.
Deoarece punctele O, G, H sunt coliniare, apartinnd dreptei lui Euler a triunghiului,
rezult a c a punctele O, 1, G sunt coliniare, deci n acest caz triunghiul 1C este isoscel.
n Figura 3.1 acest triunghi este notat cu
min
1
min
C
min
. De asemenea, triunghiul din
familia T (1, r) cu semiperimetrul maxim, corespunde cazului cos
[
1O = 1, ceea ce
inseamn a c a punctele 1, O, sunt coliniare, iar O este situat ntre 1 si . Utiliznd
dreapta lui Euler rezult a c a triunghiul 1C este isoscel. n Figura 3.1. acest triunghi
3. Inegalitatea fundamental a a triunghiului ntre clasic si hiperbolic 51
este notat cu
max
1
max
C
max
. Triunghiurile familiei T (1, r) sunt "situate" ntre aceste
dou a cazuri extreme (vezi Figura 3.1.). n concordanta cu teorema de nchidere a lui
Poncelet, aceste triunghiuri sunt nscrise n acelasi cerc ((O; 1), iar laturile lor sunt
tangente exterioare la acelasi cerc ((1; r).
Figure 3.1.
Din Teorema 3.1.1 rezult a o cale natural a de constructie a unui triunghi 1C n
care se dau centrul cercului nscris 1, centrul cercului circumscris Osi punctul lui Nagel
. Tinnd cont de faptul c a punctele 1, G, sunt coliniare, andu-se pe dreapta lui
Nagel a triunghiului 1C, gasim centrul de greutate G pe segmentul 1 astfel nct
1G =
1
3
1. Apoi, utiliznd faptul c a punctele O, G, H sunt coliniare, determin am
ortocentrul H pe raza (OG astfel nct OH = 3OG. Am redus astfel constructia
cerut a la faimoasa problem a a lui Euler de constructie a unui triunghi n care stim 1,
O si H [68]. Problema de constructie a lui Euler a fost studiat a de c atre B.Scimemi
[120], G.C.Smith [126], J.Stern [129] si P.Yiu [144].
3. Inegalitatea fundamental a a triunghiului ntre clasic si hiperbolic 52
3.2 Forma dual a a inegalit atii lui Blundon
n aceast a sectiune consider am un triunghi 1C avnd centrul cercului circumscris O,
centrul cercului nscris 1, centrele cercurilor exnscrise 1
o
, 1
b
, 1
c
si
o
,
b
,
c
punctele
adjuncte corespunz atoare punctului lui Nagel . Denitii si caracteriz ari al punctelor

o
,
b
,
c
g asim n lucrarea lui D.Andrica si K.L.Nguyen [12].
Fie :, 1, r, r
o
, r
b
, r
c
respectiv semiperimetrul, raza cercului circumscris, raza cercu-
lui nscris si razele cercurilor exnscrise corespunz atoare triunghiului 1C. Cunoastem
faptul c a punctele
o
, G, 1
o
sunt coliniare si

o
1
o
= 3G1
o
.
Propriet ati analoage se dau pentru tripletele de puncte
b
, G, 1
b
si
c
, G, 1
c
. Sunt
adev arate urm atoarele relatii:
O1
2
o
= 1
2
+ 21r
o
, O1
2
b
= 1
2
+ 21r
b
, O1
2
c
= 1
2
+ 21r
c
si
O
o
= 1 + 2r
o
, O
b
= 1 + 2r
b
, O
c
= 1 + 2r
c
Demonstratii ale relatiilor precedente se pot g asi n [12].
Teorema 3.2.1. Urm atoarea relatie este adev arat a:
cos
\
1
o
O
o
=
1
2
31r
o
r
2
o
c
(1 + 2r
o
)
_
1
2
+ 21r
o
,
unde c =
o
2
+b
2
+c
2
4
.
Teorema 3.2.2. (Forma dual a a inegalit atii lui Blundon). Urm atoarele inegalit ati
sunt adev arate:
0 _
a
2
+/
2
+c
2
4
_ 1
2
31r
o
r
2
o
+ (1 + 2r
o
)
_
1
2
+ 21r
o
.
Not am cu T (1, r
o
) familia triunghiurilor avnd aceeasi raz a a cercului circum-
scris 1 si aceeasi exraz a r
o
. Inegalitatea precedent a ne d a intervalul exact n care
se "misc a" c pentru toate triunghiurile din familia T (1, r
o
). Avem c
nia
= 0 si
c
noa
= 1
2
31r
o
r
2
o
+ (1 + 2r
o
)
_
1
2
+ 21r
o
. Dac a x am punctele O si 1
o
astfel
nct O1
o
=
_
1
2
+ 21r
o
, atunci triunghirile din familia T (1, r
o
) ce au valoarea c
minim a degenereaz a ntr-un punct si se corespund punctelor de intersectie dintre cer-
curile ((O; 1) si ((1
o
; r
o
). n Figura 3.2. aceste puncte sunt notate cu
t
min
si
tt
min
.
De asemenea, triunghiul din familia T (1, r
o
) pentru care valoarea lui c este maxim a,
corespunde cazului cos
\
1
o
O
o
= 1, ceea ce nseamn a c a punctele 1
o
, O,
o
sunt col-
iniare, iar O este situat ntre 1
o
si
o
. n Figura 3.2 acest triunghi este notat cu

max
1
max
C
max
. Utiliznd dreapta lui Euler rezult a c a triunghiul
max
1
max
C
max
este
isoscel. n concordanta cu teorema de nchidere exterioar a a lui Poncelet, triunghiurile
familiei T (1, r
o
) sunt "situate" ntre aceste dou a cazuri extreme (vezi Figura 3.2.).
3. Inegalitatea fundamental a a triunghiului ntre clasic si hiperbolic 53
Figure 3.2.
Din Teorema 3.2.1. rezult a o cale natural a de constructie a unui triunghi 1C n care
se dau centrul cercului exnscris 1
o
, centrul cercului circumscris O si punctul lui Nagel
adjunct
o
. Tinnd cont de faptul c a punctele 1
o
, G,
o
sunt coliniare, g asim centrul
de greutate G pe segmentul 1
o

o
astfel nct 1
o
G =
1
3
1
o

o
. Apoi, utiliznd faptul c a
punctele O, G, H sunt coliniare, determin am ortocentrul H pe raza (OG astfel nct
OH = 3OG. Am redus astfel constructia cerut a la faimoasa problem a a lui Euler de
constructie a unui triunghi n care stim 1, O si H [68].
Observatia 3.2.3.
1) Din Teorema 3.2.1. apare ntrebarea reasc a: care este expresia lui c n functie
de :, 1, r
o
? Pentru a r aspunde la aceast a ntrebare vom ar ata mai nti c a:
a/ +/c +ca =
:
6
+r
o
(41 + 3r
o
):
4
+r
2
o
(3r
2
o
161
2
):
2
+r
5
o
(r
o
41)
(:
2
+r
2
o
)
2
.
2) Formula precedent a ne d a o expresie complicat a a lui c n functie de :, 1, r
o
,
dualitatea dintre formulele din teoremele (3.1.1) si (3.2.1) rezultnd din faptul c a
putem scrie cos
[
1O n functie de c, 1, r, astfel
cos
[
1O =
1
2
+ 31r r
2
c
(1 2r)
_
1
2
21r
.
3. Inegalitatea fundamental a a triunghiului ntre clasic si hiperbolic 54
Transformarea formal a r r
o
ne d a dualitatea ntre formulele teoremelor (3.1.1) si
(3.2.1).
3.3 Cteva inegalit ati cu s; R si r
a
n aceast a sectiune vom obtine cteva consecinte ale Teoremei 3.2.1 ce implic a
inegalit ati ntre :, 1 si r
o
.
Corolarul 3.3.1. n orice triunghi avnd semiperimetrul : urm atoarele inegalit ati
au loc:
21
2
+r
2
+ 41r 61r
o
2r
2
o
2(1 + 2r
o
)
_
1
2
+ 21r
o
_ :
2
_
21
2
+r
2
+ 41r 61r
o
2r
2
o
2(1 + 2r
o
)
_
1
2
+ 21r
o
.
Utiliznd faptul c a r < r
o
si inegalitatea din dreapta a relatiei precedente obtinem
:
2
< 21
2
21r
o
r
2
o
+ 2(1 + 2r
o
)
_
1
2
+ 21r
o
.
Corolarul 3.3.2. n orice triunghi avnd semiperimetrul : urm atoarele inegalit ati
au loc:
:
2
< :i:41
2
+ 41r
o
+ 3r
2
o
, 41
2
+ 41r
b
+ 3r
2
b
, 41
2
+ 41r
c
+ 3r
2
c
.
Corolarul 3.3.3. n orice triunghi urm atoarele inegalit ati au loc:
a
2
+/
2
+c
2
< :i:81
2
+ 4r
2
o
, 81
2
+ 4r
2
b
, 81
2
+ 4r
2
c
.
Teorema 3.3.4. n orice triunghi este adev arat a inegalitatea:
:
2
_ 2
_
2(21 +r
o
)r
o
Observatia 3.3.5. Analog se obtin inegalit atile:
i) :
2
_ 2
_
2(21 +r
b
)r
b
;
si
ii) :
2
_ 2
_
2(21 +r
c
)r
c
.
3. Inegalitatea fundamental a a triunghiului ntre clasic si hiperbolic 55
Teorema 3.3.6. n orice triunghi este adev arat a inegalitatea:
:
2
_ 2
_
31(1 + 2r
o
).
Observatia 3.3.7. Analog se obtin inegalit atile:
i) :
2
_ 2
_
31(1 + 2r
b
);
si
ii) :
2
_ 2
_
31(1 + 2r
c
).
Observatia 3.3.8. Deoarece O1
2
o
= 1
2
+ 21r
o
, inegalitatea din teorema 3.3.6
poate rescris a astfel: :
2
_ 2
_
3O1
2
o
sau : _
4
_
12O1
o
.
Teorema 3.3.9. n orice triunghi este adev arat a inegalitatea: : _ 2 O1
o
.
Teorema 3.3.10. n orice triunghi este adev arat a inegalitatea:
i):
2
_ min121r
o
, 121r
b
, 121r
c
.
3.4 O ranare a inegalit atii lui Blundon
Deoarece distanta O este constant a, ind egal a cu O = 12r, punctul lui Nagel
se "misc a" pe cercul de diametru
min

max
, iar m asura unghiului
[
1O variaz a ntre 0
si 180

. S. Wu n [141] a dat o nou a versiune a inegalitatii lui Blundon introducnd un

parametru, dup a cum urmeaz a: pentru orice triunghi
1

3
, urm atoarele inegalit ati
au loc:
21
2
+101rr
2
2(12r)
_
1
2
21r cos c _ :
2
_ 21
2
+101rr
2
+2(12r)
_
1
2
21r cos c.
unde c = min
1i<)3
[
i

)
[ . Rezultatul ce urmeaz a v-a publicat n [10].
Teorema 3.4.1. n orice triunghi 1C urm atoarele inegalit ati au loc:
cos c _ cos
[
1O _ cos c,
unde c = min[1[ , [1 C[ , [C [, egalitatea avnd loc dac a si numai dac a
triunghiul 1C este echilateral.
Observatia 3.4.2. Num arul c mparte triunghiurile familiei T (1, r) n functie de
pozitia punctului pe cercul O(1).
3. Inegalitatea fundamental a a triunghiului ntre clasic si hiperbolic 56
3.5 Forma hiperbolic a a inegalit atii lui Blundon
Expresia hiperbolic a a inegalit atii lui Blundon a fost dat a de c atre D. Svrtan si D.
Veljan [131] si are urm atoarea exprimare:
Teorema 3.5.1. Dac a un triunghi hiperbolic admite un cerc circumscris de raz a
1, iar r este raza cercului nscris, : este semiperimetrul triunghiului si - este defectul
triunghiului, atunci are loc inegalitatea
1
:
t2
_ 0,
unde
1 = :
t2
[(r
t2
1
t2
-
t2
+ 4r
t4
1
t4
-
t2
4r
t3
1
t3
-
t2
1 + 6r
t
1
t
12r
t2
1
t2
+ 8r
t3
1
t3
):
t4
+r
t2
1
t
-
t
(1 4r
t
1
t
+ 4r
t2
1
t2
-
t
8r
t2
1
t2
-
t2
+ 9-
t
+ 18r
t
1
t
-
t
):
t3
+r
t2
(r
t2
1
t2
10r
t
1
t
12r
t2
1
t2
-
t2
2):
t2
6r
t4
1
t
-
t
:
t
r
t4
],
iar r
t
= tanh
v
I
, 1
t
= tanh
1
I
, -
t
= cot
.
2
, :
t
= sinh
c
I
.
3.6 O extindere natural a a inegalit atii lui Blundon
Fie 1 un punct n planul triunghiului 1C, iar 111 triunghiul cevian corespunz ator
punctului 1 n raport cu triunghiul 1C. Dac a 1 are coordonatele baricentrice t
1
:
t
2
: t
3
, atunci coordonatele baricentrice ale vrfurilor triunghiului 111 sunt: 1(0 :
t
2
: t
3
), 1(t
1
: 0 : t
3
), 1(t
1
: t
2
: 0). Coordonatele baricentrice au fost introduse de
c atre Mbius n 1927. Enumer am cteva lucr ari despre coordonatele baricentrice ale
lui C. Bradley [48], C. Coand a [51], C. Cosnit a [53], C. Kimberling [86], O. Bottema
[47], J. Scott [121] si P. Yiu [144]. n lucrarea [26] am introdus notiunea de cevian a de
rang (/, |, :) astfel: Dac a 1 este un punct pe latura (1C) a unui triunghi neisoscel
1C, astfel nct:
11
1C
=
_
c
/
_
I

_
: c
: /
_
|

_
a +/
a +c
_
n
/, |, : R, atunci 1 o vom numi ceviana de rang (k, l , m), iar dac a 1 1C [1C],
astfel nct
11
1C
=
_
c
b
_
I

_
cc
cb
_
|

_
o+b
o+c
_
n
, /, |, : R
+
, atunci 1 o vom numi
exceviana de rang (k, l , m) n lucrarea [26] am ar atat c a cevienele de rang (/, |, :)
sunt concurente ntr-un punct 1(/, |, :) numit punct cevian de rang (k, l , m), iar
coordonatele baricentrice ale lui 1(/, |, :) sunt:
a
I
(: a)
|
(/ +c)
n
: /
I
(: /)
|
(a +c) : c
I
(: c)
|
(a +/)
n
.
3. Inegalitatea fundamental a a triunghiului ntre clasic si hiperbolic 57
Dac a ' este un punct din planul unui triunghi 1C, atunci urm atoarea egalitate are
loc:
(t
1
+t
2
+t
3
)

'1 = t
1

'+t
2

'1 +t
3

'C.
Pentru cazul particular ' = 1, egalitatea precedent a devine
t
1

1+t
2

11 +t
3

1C =

0 .
Teorema 3.6.1. Dac a ' este un punct din planul unui triunghi 1C, atunci
urm atoarea egalitate are loc:
(t
1
+t
2
+t
3
)
2
'1
2
= (t
1
'
2
+t
2
'1
2
+t
3
'C
2
)(t
1
+t
2
+t
3
)(t
2
t
3
a
2
+t
3
t
1
/
2
+t
1
t
2
c
2
).
Observatia 3.6.2. Dac a t
1
, t
2
, t
3
si t
1
+t
2
+t
3
sunt nenule, atunci:
'1
2
=
t
1
'
2
+t
2
'1
2
+t
3
'C
2
t
1
+t
2
+t
3

t
1
t
2
t
3
(t
1
+t
2
+t
3
)
2
_
a
2
t
1
+
/
2
t
2
+
c
2
t
3
_
.
Corolarul 3.6.3. Urm atoarea egalitate are loc:
1
2
O1
2
=
t
1
t
2
t
3
(t
1
+t
2
+t
3
)
2
_
a
2
t
1
+
/
2
t
2
+
c
2
t
3
_
cu t
1
, t
2
, t
3
0.
Corolarul 3.6.4. n orice triunghi 1C avnd semiperimetrul :, urm atoarea
egalitate are loc:
1
2
O1
2
_
4:
2
t
1
t
2
t
3
(t
1
+t
2
+t
3
)
3
cu t
1
, t
2
, t
3
0.
C. Cosnit a [Cosnit a] a formulat urm atoarea teorem a: dac a punctele 1 si Q au
coordonatele baricentrice t
1
: t
2
: t
3
, respectiv n
1
: n
2
: n
3
, n raport cu un triunghi
1C, atunci
1Q
2
= c,
_
a
2
c
+
/
2
,
+
c
2

_
unde
c =
n
1
n
1
+n
2
+n
3

t
1
t
1
+t
2
+t
3
; , =
n
2
n
1
+n
2
+n
3

t
2
t
1
+t
2
+t
3
; =
n
3
n
1
+n
2
+n
3

t
3
t
1
+t
2
+t
3
.
Teorema 3.6.5. Dac a punctele 1 si Q au coordonatele baricentrice t
1
: t
2
: t
3
,
respectiv n
1
: n
2
: n
3
, n raport cu un triunghi 1C, atunci
cos
\
1OQ =
21
2

t
1
t
2
t
3
(t
1
+t
2
+t
3
)
2
_
o
2
t
1
+
b
2
t
2
+
c
2
t
3
_

&
1
&
2
&
3
(&
1
+&
2
+&
3
)
2
_
o
2
&
1
+
b
2
&
2
+
c
2
&
3
_
+c,
_
o
2
c
+
b
2
o
+
c
2

_
2
_
_
1
2

t
1
t
2
t
3
(t
1
+t
2
+t
3
)
2
_
o
2
t
1
+
b
2
t
2
+
c
2
t
3
__

_
1
2

&
1
&
2
&
3
(&
1
+&
2
+&
3
)
2
_
o
2
&
1
+
b
2
&
2
+
c
2
&
3
__
3. Inegalitatea fundamental a a triunghiului ntre clasic si hiperbolic 58
cu
c =
n
1
n
1
+n
2
+n
3

t
1
t
1
+t
2
+t
3
; , =
n
2
n
1
+n
2
+n
3

t
2
t
1
+t
2
+t
3
; =
n
3
n
1
+n
2
+n
3

t
3
t
1
+t
2
+t
3
,
iar t
i
si n
i
, i = 1, 3, sunt nenule.
Teorema 3.6.6. Urm atoarele inegalit ati au loc:
2
_
_
1
2

t
1
t
2
t
3
(t
1
+t
2
+t
3
)
2
_
a
2
t
1
+
/
2
t
2
+
c
2
t
3
__

_
1
2

n
1
n
2
n
3
(n
1
+n
2
+n
3
)
2
_
a
2
n
1
+
/
2
n
2
+
c
2
n
3
__
_
c,
_
a
2
c
+
/
2
,
+
c
2

_
+21
2

_
t
1
t
2
t
3
(t
1
+t
2
+t
3
)
2
_
a
2
t
1
+
/
2
t
2
+
c
2
t
3
_
+
n
1
n
2
n
3
(n
1
+n
2
+n
3
)
2
_
a
2
n
1
+
/
2
n
2
+
c
2
n
3
__
_
2
_
_
1
2

t
1
t
2
t
3
(t
1
+t
2
+t
3
)
2
_
a
2
t
1
+
/
2
t
2
+
c
2
t
3
__

_
1
2

n
1
n
2
n
3
(n
1
+n
2
+n
3
)
2
_
a
2
n
1
+
/
2
n
2
+
c
2
n
3
__
cu
c =
n
1
n
1
+n
2
+n
3

t
1
t
1
+t
2
+t
3
; , =
n
2
n
1
+n
2
+n
3

t
2
t
1
+t
2
+t
3
; =
n
3
n
1
+n
2
+n
3

t
3
t
1
+t
2
+t
3
,
iar t
i
si n
i
, i = 1, 3, sunt nenule.
Corolarul 3.6.7. (Inegalitatea lui Blundon). Conditia necesar a si sucient a
pentru a exista un triunghi avnd elementele :, 1 si r, este
21
2
+101rr
2
2(12r)
_
1
2
21r _ :
2
_ 21
2
+101rr
2
+2(12r)
_
1
2
21r.
Observatia 3.6.8. Fie 1
1
, 1
2
, 1
3
trei puncte ceviene de rang (k, l , m) avnd coor-
donatele baricentrice:
1
i
[a
I
i
(: a)
|
i
(/ +c)
n
i
: /
I
i
(: /)
|
i
(a +c)
n
i
: c
I
i
(: c)
|
i
(a +/)
n
i
], i = 1, 3.
Teorema 3.6.9. Urm atoarele inegalit ati au loc:
2
_
,
12

12
a
2

12
c
12
/
2
c
12
,
12
c
2

_
,
23

23
a
2

23
c
23
/
2
c
23
,
23
c
2
_
a
2
(,
12

12
+,
23

23
,
31

31
)/
2
(
12
c
12
+
23
c
23

31
c
31
)+c
2
(c
12
,
12
+c
23
,
23
c
31
,
31
) _
2
_
,
12

12
a
2

12
c
12
/
2
c
12
,
12
c
2

_
,
23

23
a
2

23
c
23
/
2
c
23
,
23
c
2
Bibliography
[1] AbuArqob, O., Rabadi, H., Khitan, J., A New Proof for the Steiner-Lehmus
Theorem, International Mathematical Forum, 3 (20), 2008, 267-970.
[2] Agarwal, R. P., Kim, Y.-H., Sen, S. K., A new rened Jordans inequality and its
application, Mathematical Inequalities & Applications, 12 (2), 2009, 255264.
[3] Anderson, J., Hyperbolic geometry, Springer-Verlag, London, 2005.
[4] Andreescu, T., Andrica, D., Complex Number from A to..Z, Birkhauser, Boston-
Basel-Berlin, 2006.
[5] Andrica, D., O inegalitate n triunghi si aplica tiile acesteia, Gazeta Matematic a,
Seria B, Bucuresti, 1, 1986, 2-4.
[6] Andrica, D., Barbu, C., The Hyperbolic Ceva Theorem in The Poincar Disc
Model of Hyperbolic Geometry, Proceedings of the 13
tI
International Conference
on Applied Mathematics and Computer Science, August 2010, Cluj Napoca.
[7] Andrica, D., Barbu, C., The Hyperbolic Version of Cevas Theorem in The
Poincar Disc Model, Automation, Computers, Applied Mathematics, 19 (1),
2010, 35-43.
[8] Andrica, D., Barbu, C., A geometric Proof to Blundons Inequalities, Mathe-
matical Inequalities and Applications, 15 (2), 2012, 361-370.
[9] Andrica, D., Barbu, C., The Hyperbolic Desargues Theorem in The Poincar
Model of Hyperbolic Geometry, (submitted).
[10] Andrica, D., Barbu, C., The natural approach of Blundon - Wu inequalities,
Journal of Inequalities and Applications, (submitted).
[11] Andrica, D., Barbu, C., Minculete, N., Geometric inequalities obtained by the
law of cosines theorem, Acta Universitatis Apulensis, 31, 2012.
[12] Andrica, D., Nguyen, K., A note on the Nagel and Gergonne points, Creative
Math.& Inf., 17, 2008.
[13] Barbu, C., Smarandaches Cevian Triangle Theorem in The Einstein Relativis-
tic Velocity Model of Hyperbolic Geometry, Progress in Physics, 3, 2010, 69-70.
59
BIBLIOGRAPHY 60
[14] Barbu, C., Smarandaches Cevians Triangle Theorem in the Einstein Relativis-
tic Velocity Model of Hyperbolic Geometry, Annual Meeting of the Four Corners
Section of the American Physical Society, Weber State University, Ogden, UT,
USA, October 15-16, 2010.
[15] Barbu, C., Trigonometric Proof of Steiner-Lehmus Theorem in Hyperbolic
Geometry, Acta Universitatis Apulensis, 23, 2010, 63-67.
[16] Barbu, C., Smarandaches Pedal Polygon Theorem in The Poincar Disc Model
of Hyperbolic Geometry, International Journal of Mathematical Combinatorics,
1, 2010, 99-102.
[17] Barbu, C., Teoreme fundamentale din geometria triunghiului, Ed. Unique,
Bac au, 2008.
[18] Barbu, C., Menelauss Theorem for Hyperbolic Quadrilaterals in The Einstein
Relativistic Velocity Model of Hyperbolic Geometry, Scientia Magna, 1, 2010,
19-24.
[19] Barbu, C., Mathieus theorem in the Poincar disc model of hyperbolic geome-
try, Creative Mathematics and Informatics, 20 (1), 2011, 16-19.
[20] Barbu, C., The Isotomic Transversal Theorem and the Neubergs Theorem in
the Poincar Model of Hyperbolic Geometry, Scientic Studies and Research Se-
ries Mathematics and Informatics, 20 (1), 2010, 37 - 44.
[21] Barbu, C., A new proof of Mathieus Theorem in the Poincar Model of Hyper-
bolic Geometry, Proceedings of the International Conference of Applied Mathe-
matics, p.85, Septembrie 2010, Baia Mare.
[22] Barbu, C., The Hyperbolic Stewart Theorem in the Einstein Relativistic Veloc-
ity Model of Hyperbolic Geometry, Annals of Oradea University - Mathematics
Fascicola, 28 (1), 2011, 133-138.
[23] Barbu, C., Smarandaches Minimum Theorem in the Einstein Relativistic Ve-
locity Model of Hyperbolic Geometry, Progress in Physics, Vol. 1, 2011, 68-71.
[24] Barbu, C., Smarandaches Minimum Theorem in the Einstein Relativistic Ve-
locity Model of Hyperbolic Geometry, Joint Fall 2010 Meeting of the Texas Sec-
tions of the American Physical Society, AAPT, Zone 13 of SPS and the National
Society of Hispanic Physicists, University of Texas at San Antonio, USA, Octo-
ber 21-23, 2010.
[25] Barbu, C., Van Aubels Theorem in the Einstein Relativistic Velocity Model of
Hyperbolic Geometry, Progress in Physics, 1, 2012, 30-32.
[26] Barbu, C., Minculete, N., Cevians of rank (/; |; :) in a triangle, International
Journal of Geometry, 1 (2), 2012, 22-33.
[27] Barbu, C., Minculete, N., About the area of triangle determined by cevians of
rank (k; l ; m), Scientic Studies and Research Bacau, 21 (1), 2011, 139-148.
BIBLIOGRAPHY 61
[28] Barbu, C., Piscoran, L., The orthopole theorem in the Poincar Disc Model of
Hyperbolic Geometry, Sapientia, (submitted).
[29] Barbu, C., Piscoran, L., Pappuss Harmonic Theorem in the Einstein Relativis-
tic Velocity Model of Hyperbolic Geometry, Studia Universitaris Babes - Bolyai
Mathematica, 56 (1), 2011, 101-108.
[30] Barbu, C., Piscoran, L., The Hyperbolic Zajic Theorem in the Poincar Disc
Model of Hyperbolic Geometry, International Journal Forum, 5 (66), 2010, 3251-
3254.
[31] Barbu, C., Piscoran, L., New inequalities on hyperbolic triangles, International
Journal of Pure and Applied and Technology, 1, 2010, 7-10.
[32] Barbu, C., Piscoran, L., Some hyperbolic theorems in the Poincar disk model
of hyperbolic geometry, Carpathian Journal of Mathematics, 28 (1), 2012, 9-15.
[33] Barbu, C., Piscoran, L., The Hyperbolic Nobbs Theorem in the Poincar Disc
Model of Hyperbolic Geometry, International Journal Forum, 5 (66), 2010, 3255-
3258.
[34] Barbu, C., Piscoran, L., Glichers Theorem in the Poincar Disc Model of
Hyperbolic Geometry, Mathematica Aeterna, 1 (5), 2011, 305-311.
[35] Barbu, C., Piscoran, L., Andrica - Iwatas inequality in hyperbolic triangle,
Mathematical Inequalities & Applications, 15 (3), 2012, 631-637.
[36] Barbu, C., Piscoran, L., On Panaitopol and Jordan Type inequalities, Journal
of Inequalities and Applications, (submitted).
[37] Barbu, C., Piscoran, L., Applications of Cusas Inequality in a hyperbolic tri-
angle, Filomat, (submitted).
[38] Barbu, C., Smarandache, F., The Hyperbolic Menelaus Theorem in The
Poincar Disc Model of Hyperbolic Geometry, Italian Journal of Pure and Ap-
plied Mathematics, accepted.
[39] Barbu, C., Smarandache, F., A new proof of Menelauss Theorem of Hyperbolic
Quadrilaterals in the Poincar Model of Hyperbolic Geometry, Scientia Magna,
(submitted).
[40] Barbu, C., Snmez, N., The orthopole theorem in the Poincar upper half-plane
of hyperbolic geometry, Global Journal of Advanced Research on Classical and
Modern Geometries, 1 (2), 2012, 71-74.
[41] Barbu, C., Snmez, N., On the Carnot theorem in the Poincar upper half-plane
model of hyperbolic geometry, Acta Universitatis Apulensis, 31, 2012.
[42] Baricz, ., Generalized Bessel functions of the rst kind, Ph.D. thesis, Babes-
Bolyai University, Cluj Napoca, Romania, 2008.
BIBLIOGRAPHY 62
[43] Bechenbach, E., Bellman, F., Inequalities, Springer, Berlin, Gttingen and Hei-
delberg, 1961.
[44] Bergstrm, A., A triangle inequality for matrices, Den Elfte Skandinaviske
Matematikerkongress, Trodheim, Johan Grundt Tanums Forlag, Oslo, 1952,
264267.
[45] Blundon, W., Inequalities associated with the triangle, Canad. Math. Bull. 8,
1965, 615-626.
[46] Bonola, R., Non - Euclidean geometry, The Open Court Publishing Company,
Chicago, 1912.
[47] Bottema, O., On the Area of a Triangle in Barycentric Coordinates, Crux. Math.,
8 (1982) 228-231.
[48] Bradley, C.J., The Algebra of Geometry: Cartesian, Areal and Projective Coor-
dinates, Bath: Highperception, 2007.
[49] Brnzei, D., Modele geometrice, Ed. Universitatea "Alexandru Ioan Cuza", Iasi,
1982.
[50] Carmo, M., Riemannian Geometry, Birkhuser, Boston, 1992.
[51] Coand a, C., Geometrie analitica n coordonate baricentrice, Editura Reprograph,
Craiova, 2005.
[52] Coolidge, J., The Elements of Non-Euclidean Geometry, Oxford, Clarendon
Press, 1909.
[53] Cosnit a, C., Coordonnes Barycentriques, Paris, Librairie Vuibert, 1941.
[54] Court, N.A., A Second Course in Plane Geometry for Colleges, New York, John-
son Publishing Company, 1925.
[55] Court, N.A., An introduction to the Modern Geometry of the Triangle and the
Circle, Dover Publications, Inc., New York, 2007.
[56] Coxeter, H.S., Greitzer, S., Geometry Revisited, The Mathematical Association
of America, New Mathematical Library, 19, 1967.
[57] Coxeter, H.S., The Beauty of Geometry: Twelve Essays, New York: Dover, 1999,
244.
[58] Coxeter, H.S., Non - Euclidean Geometry, The Mathematical Association of
America, Washington, 1998.
[59] Debnath, L., Zhao, C.-J., New strengthened Jordans inequality and its applica-
tions, Applied Mathematics Letters, 16 (4), 2003, 557560.
[60] Demirel, O., Soytrk, E., The hyperbolic Carnot theorem in the Poincar disc
model of hyperbolic geometry, Novi Sad J. Math., 38, 2008, 33-39.
BIBLIOGRAPHY 63
[61] Demirel, O., The theorems of Stewart and Steiner in the Poincar disc model
of hyperbolic geometry, Commentationes Mathematicae Universitatis Carolinae,
50 (30), 2009, 359-371.
[62] Dospinescu, G., Lascu, M., Pohoat a, C., Tetiva, M., An Elementary proof of
Blundons Inequality, JIPAM, 9, 2008.
[63] Dragutin, S., Darko, V., NonEuclidean versions of some classical triangle in-
equalities, Forum Geometricorum, 12, 2012, 197-209.
[64] Durell, C., Modern Geometry: The Straight Line and Circle, London, Macmillan,
1928, 44.
[65] Einstein, A., Relativity the special and general theory, New York, Crown Pub-
lishers, 1961.
[66] Emelyanov, L., Emelyanov, E., Eulers Formula and Poncelets Porism, Forum
Geometricorum, 1, 2001, 137-140.
[67] Eves, H., DesarguesTwo-Triangle Theorem, A Survey of Geometry, Ed. Boston,
MA: Allyn & Bacon, 1965.
[68] Euler, L., Solutio facilis problematum quorundam geometricorum dicillimorum,
Novi Comm. Acad. Scie. Petropolitanae 11, 1765; reprinted in Opera omnia,
serie prima, 26 (ed.by A.Speiser), 139-157.
[69] Fenchel, W., Elementary geometry in hyperbolic space, de Gruyter, Berlin, New
York, (de Gruyter studies in mathematics), 1989.
[70] Gallaty, W., The Modern Geometry of the Triangle, Hodgson Pub., London,
1922, 46.
[71] Gilbert, G., MacDonnell, D., The Steiner-Lehmus Theorem, The American
Mathematical Monthly, 70, 1963, 79-80.
[72] Goodman, S., Compass and straightedge in the Poincar disk, American Mathe-
matical Monthly 108, 2001, 3849.
[73] Goormaghtigh, R., A generalization of the orthopole theorem, 36, 1929, 422-424.
[74] Graustein, W., Introduction to Higher Geometry, New York: Macmillan, 1930.
[75] Grinberg, D., A new proof of the Ceva Theorem,
http://www.cip.i.lmu.de/~grinberg/geometry2.html.
[76] Guinand, A., Euler lines, tritangent centers, and their triangles, Amer. Math.
Monthly 91, 1984, 290-300.
[77] Glicher, H., Problem 1581, Mathematics Magazine, 72 (4), 1999.
[78] Hajja, H., A Short Trigonometric Proof of the Steiner-Lehmus Theorem, Forum
Geometricorum, 8, 2008, 39-42.
BIBLIOGRAPHY 64
[79] Honsberger, R., Episodes in Nineteenth and Twentieth Century Euclidean Geom-
etry, Washington, DC: Math. Assoc. Amer., 1995.
[80] Huygens, C., Oeuvres completes, Socit hollandaise des science, Haga, 1888-
1940.
[81] Iwata, S., Encyclopedia of Geometry (Japanese), Tokyo, 5, 1971, 345.
[82] Iversen, B., Hyperbolic geometry, Cambridge University Press, 2008.
[83] Jiang, W.D., Yun, H., Sharpening of Jordans inequality and its applications,
Journal of Inequalities in Pure and Applied Mathematics, 7 (3), 2006, 14.
[84] Johnson, A.R., Advanced Euclidean Geometry, New York, Dover Publications,
Inc., 1962.
[85] Johnson, A.R., Modern Geometry: An Elementary Treatise on the Geometry of
the Triangle and the Circle, Boston, MA: Houghton Mi-in, 1929, 154.
[86] Kimberling, C., Triangle Centers and Central Triangles, Congressus Numeran-
tium 129, Utilitas Mathematica Publishing, 1998.
[87] Kln, R., Visuri, M., Vuorinen, M., On Jordan Type Inequalities for Hyperbolic
Functions, Journal of Inequalities and Applications, 2010.
[88] Lalescu, L., Geometria triunghiului, Ed. Tineretului, Bucuresti, 1958.
[89] Lazarevic, I., Neke nejednakosti sa hiperbolickim funkcijama, Univerzitetu
Beogradu. Publikacije Elektrotehnickog Fakulteta. Serija Matematika i Fizika,
170, 1996, 4148.
[90] Leonard, I.E., Lewis, J.E., The Median Triangle in Hyperbolic Geometry, Math-
ematics Magazine, 4, 2004.
[91] Levin, M., On the Steiner-Lehmus Theorem, Mathematics Magazine, 47, 1974,
87-89.
[92] Li, J.-L., An identity related to Jordans inequality, International Journal of
Mathematics and Mathematical Sciences, Article ID 76782, 6 pages, 2006.
[93] Li, J.-L., Li, Y.-L., On the strengthened Jordans inequality, Journal of Inequal-
ities and Applications, Article ID 74328, 8 pages, 2007.
[94] Lindn, H., Convexity and inequalities for power series, Turku Analysis Seminar,
2006.
[95] Malesevic, J., A Direct Proof of the Steiner-Lehmus Theorem, Mathematics Mag-
azine, 43, 1970, 101-102.
[96] McCleary, J., Geometry from a dierentiable viewpoint, Cambridge University
Press, Cambridge, 1994.
BIBLIOGRAPHY 65
[97] Mih aileanu, N., Geometrie neeuclidiana, Ed. Academiei, Bucuresti, 1954.
[98] Mih aileanu, N., Neumann, M., Fundamentele geometriei, E.D.P., Bucuresti,
1973.
[99] Minculete, N., Teoreme si probleme specice de geometrie, Ed. Eurocarpatica,
Sf. Gheorghe, 2007.
[100] Miron, R., Brnzei, D., Fundamentele aritmeticii si geometriei, Ed. Academiei,
1983.
[101] Mitrinovic, D., Analytic Inequalities, Die Grundlehren der mathematischen Wis-
senschaften, Springer, New York, NY, USA, 16, 1970, in cooperation with P. M.
Vasic.
[102] Mitrinovic, D., Pecaric, J., Volenec, V., Recent advances in geometric inequali-
ties, Kluver Acad. Publ.. Amsterdam, 1989.
[103] Moise, E., Elementary Geometry from on Advanced Standpoint, Addison Wesley
Publishing Company, Inc., Rerading, 1990.
[104] Mortici, C., The natural approach of Wilker-Cusa-Huygens inequalities, Mathe-
matical Inequalities & Applications, preprint.
[105] Neuberg, J., Nouvelle Correspondance Mathmatique, 1875, 189.
[106] Neuman, E., Sndor, J., On some inequalities involving trigonometric and hy-
perbolic functions with emphasis on the Cusa-Huygens, Wilker and Huygens in-
equalities, Mathematical Inequalities & Applications, submitted.
[107] Neuman, E., Inequalities involving inverse cicular and inverse hyperbolic func-
tions, Journal of Inequalities and Applications, 4 (1), 2010.
[108] Neuman, E., On Wilker and Huyhens Type Inequalities, Mathematical Inequal-
ities & Applications, (preprint).
[109] Niculescu, C.P., A new look at Newtons inequality, Journal of Inequalities in
Pure and Applied Mathematics, 1 (2), article 17, 2000.
[110] Niculescu, C.P., On the algebraic character of Blundons inequality, Inequality
Theory and Applications, 3, 2003, 139-144.
[111] Ogilvy, C.S., Excursions in Geometry, New York: Dover, 1990, 89-92.
[112] zban, A., Z., A new rened form of Jordans inequality and its applications,
Applied Mathematics Letters, 19 (2), 2006, 155160.
[113] Pargeter, A., Steiner-Lehmus theorem: a direct proof, The Mathematical
Gazette, 55 (391), 1971, 58.
[114] Pecaric, J. E., Proschan, F., Tong, Y.L., Convex functions, partial orderings,
and statistical applications, Academic Press, 2011, 171.
BIBLIOGRAPHY 66
[115] Pop, O.T., About Bergstrms inequality, Journal of Mathematical Inequalities,
3 (2), 2009, 237-242.
[116] Popoviciu, T., Sur certaines ingalits qui caractrisent les fonctions convexes,
Analele stiintice Univ. Al.I. Cuza Iasi, Sectia I a Mat., 11, 1965, 155164.
[117] Rouch, , Ramus, Question 233, Nouv. Ann. Math., 10, 1851, 353-355.
[118] Sndor, J., On the concavity of sin x/x, Octogon Mathematical Magazine, 13
(1), 2005, 406407.
[119] Satnoianu, R.A., General power inequalities between the sides and the crum-
scribed and inscribed radii related to the fundamental triangle inequality, Math.
Inequal. Appl., 5 (4), 2002, 747-751.
[120] Scimemi, B., Paper-folding and Eulers theorem revisited, Forum Geom. 2, 2002,
93-104.
[121] Scott, J.A., Some examples of the use of areal coordinates in triangle geometry,
The Mathematical Gazette, 11, 1999, 472-477.
[122] Smarandache, F., Gnralisation du Thorem de Mnlaus, Rabat, Morocco,
Seminar for the selection and preparation of the Moroccan students for the
International Olympiad of Mathematics in Paris, 1983.
[123] Smarandache, F., Problmes avec et sans. . . problms!, Somipress, Fs, Moro-
coo, 1983.
[124] Smarandache, F., Eight Solved and Eight Open Problems in Elementary Geom-
etry, in arXiv.org.
[125] Smarandache, F., Nine Solved and Nine Open Problems in Elementary Geome-
try, arxiv.org/abs/1003.2153.
[126] Smith, G., Statics and moduli space of triangles, Forum Geom., 5, 2005, 181-190.
[127] Sonmez, N., Trigonometric Proof of Steiner-Lehmus Theorem in Hyperbolic
Geometry, KoG, 12, 2008, 35-36.
[128] Stahl, S., The Poincar half plane a gateway to modern geometry, Jones and
Barlett Publishers, Boston, 1993.
[129] Stern, J., Eulers triangle determination problem, Forum Geom., 7, 2007, 1-9.
[130] Stothers, W., Geometry Pages http://www.maths.gla.ac.uk/.
[131] Svrtan, D., Veljan, D., Non-Euclidean version of some classical triangle inequal-
ities, Geometric Topology, 2007.
[132] Sun, Z., Zhu, L., On New Wilker - Type Inequalities, ISRN Mathematical Analy-
sis, Volume 2011, Article ID 681702.
BIBLIOGRAPHY 67
[133] Ungar, A., Thomas precession:its underlying gyrogroup axioms and their use in
hyperbolic geometry and relativistic physics, Found. Phys., 27, 1997, 881-951.
[134] Ungar, A., Analytic Hyperbolic Geometry Mathematical Foundations and Appli-
cations, Hackensack, NJ:World Scientic Publishing Co.Pte. Ltd., 2005.
[135] Ungar, A., Analytic Hyperbolic Geometry and Albert Einsteins Special Theory
of Relativity, Hackensack, NJ:World Scientic Publishing Co.Pte. Ltd., 2008.
[136] Ungar, A., Gyrovector Space Approach to Hyperbolic Geometry, Morgan & Clay-
pool Publishers, 2009.
[137] Ungar, Hyperbolic Triangle Centers, Springer, New York, 2010.
[138] Varicak, V., Beitrage zur nichteuklidischen geometrie, Jber. Dtsch. Mat.Ver.,
1908.
[139] Zhu, L., Inequalities for hyperbolic function and their applications, Hindawi Pub-
lishing Corporation Journal of Inequalities and Applications Volume 2010, Arti-
cle ID 130821.
[140] Wu, S., A sharpened version of the fundamental triangle inequality, Math. In-
equalities Appl., 11 (3), 2008, 477-482.
[141] Wu, S., Srivastava, H. M., A weighted and exponential generalization of Wilkers
inequality and its applications, Integral Transforms and Special Functions, 18
(7-8), 2007, 529535.
[142] Wu, S., Srivastava, H. M., A further renement of a Jordan type inequality and
its application, Applied Mathematics and Computation, 197 (2), 2008, 914923.
[143] Qi, F., Niu, D.-W., Guo, B.-N., Ranements, generalizations, and applications
of Jordans inequality and related problems, Journal of Inequalities and Applica-
tions, vol. 2009, Article ID 271923, 52 pages, 2009.
[144] Yiu, P., Conic Solution of Eulers Triangle Determination Problem, Journal for
Geometry and Graphics, 12 (1), 2008, 75-80.
[145] Zhang, X., Wang, G., Chu, Y., Extensions and sharpenings of Jordans and
Kobers inequalities, Journal of Inequalities in Pure and Applied Mathematics,
7 (2), 2006, 13.
[146] Zhu, L., Inequalities for Hyperbolic Functions and Their Applications, Journal
of Inequalities and Applications, Vol. 2010.
[147] Zhu, L., On Wilker-type inequalities, Mathematical Inequalities & Applications,
10 (4), 2007, 727731.
[148] Zhu, L., Sharpening of Jordans inequalities and its applications, Mathematical
Inequalities & Applications, 9 (1), 2006, 103106.