2 Funcţii omografice 71
2.1 Definiţie şi proprietăţi . . . . . . . . . . . . . . . . . . 71
2.2 Mulţimi importante de transformări omografice . . . . 82
2.3 Puncte fixe. Clasificarea funcţiilor
omografice . . . . . . . . . . . . . . . . . . . . . . . . . 87
2.4 Un model de geometrie neeuclidiană . . . . . . . . . . 94
2.5 O generalizare a Lemei lui Schwarz . . . . . . . . . . . 125
7
8 Cuprins
Folosirea numerelor
complexe ı̂n geometria
plană
9
10 Folosirea numerelor complexe ı̂n geometria plană
y z
-
O x
Fig.1.1.
⇔ arg z1 = arg z2
Combinând (1.16) şi (1.17) putem scrie z = reiθ , unde r = |z| şi
θ ∈ Argz.
Pentru z1 , z2 ∈ C∗ , din (1.7), (1.12) şi (1.16) obţinem
k ∈ {0, 1, . . . , n − 1}.
Dacă z1 , z2 ∈ C∗ sunt priviţi ca vectori, atunci suma, diferenţa,
produsul şi câtul lor este reprezentat de vectorii z3 , z4 , z5 şi z6 din
Fig.1.2-1.5, mai precis z4 = z1 − z2 şi z6 = z2 /z1 .
6 6
z2
z3
z2 7
* z1
: z1
- -
s
z4
Fig.1.2. Fig.1.3.
14 Folosirea numerelor complexe ı̂n geometria plană
z5
6 6
z2
7
z2
z6
>
z1 z1
1 1
- -
O 1 O 1
Fig.1.4. Fig.1.5.
În Fig.1.4 triunghiurile (O, 1, z1 ) şi (O, z2 , z5 ) s-au construit ase-
menea, de unde rezultă
|z5 | |z1 |
= sau |z5 | = |z1 ||z2 |,
|z2 | 1
deci z5 = z1 z2 .
În Fig.1.5 triunghiurile (O, 1, z1 ) şi (O, z6 , z2 ) s-au construit ase-
menea, de unde rezultă printr-un raţionament de acelaşi fel, că
z6 = z2 /z1 .
În diverse cazuri este necesară extinderea mulţimii C a numere-
lor complexe cu un nou element (un număr impropriu) notat cu ∞
(infinit). Prin definiţie C∞ = C ∪ {∞} şi ∞ 6∈ C. Unele operaţii cu
numere complexe pot fi extinse la C∞ convenind ca:
a + ∞ = ∞ + a = ∞, pentru a ∈ C∞ ,
Capitolul 1 15
a · ∞ = ∞ · a = ∞, pentru a ∈ C∞ \ {0},
a a
∞ = 0 pentru a ∈ C∞ şi 0 = ∞ pentru a ∈ C∞ \ {0},
|∞| = +∞, unde +∞ este unul dintre cele două elemente care se
ataşează lui R.
Nu au sens operaţii precum: ∞ − ∞, 0 · ∞, 0/0, ∞/∞.
C∞ se numeşte planul complex extins (ı̂nchis, compactificat, pla-
nul lui Gauss). Convenim să considerăm pe ∞ ca aparţinând oricărei
drepte din C∞ şi neaparţinând vreunui cerc sau semiplan.
Convenţiile de mai sus referitoate la elementul ∞ (şi altele care
vor fi făcute ulterior) pot fi ı̂n bună parte justificate prin apelarea
la un model geometric al lui C∞ . Pentru aceasta raportăm spaţiul
euclidian R3 la sistemul de axe rectangulare ξ, η şi ζ, iar axele ξ şi η
le considerăm suprapuse cu axele x şi y ale planului complex. Fie S2
sfera unitate din R3 de ecuaţie:
S2 : ξ 2 + η2 + ζ 2 = 1
P (ζ, 2, 3)
2
O - y
/
x ζ
Fig.1.6.
z1 6
z3
O
t(z2 − z1 )
z
z2 − z1
j
*z z′
2
z
-
O
z1 z2
Fig.1.7. Fig.1.8.
Relaţia (1.20) se mai poate scrie
z1 + z2 + z3
z= .
3
z1 − kz2
(1.21) z= .
1−k
18 Folosirea numerelor complexe ı̂n geometria plană
M (z)
M2 (z2 )
M1 (z1 )
Fig.1.9.
M M1
Dacă M M2 = k, atunci relaţia aceasta este echivalentă cu
z − z1
(1.22) = k,
z − z2
deoarece arg(z − z1 ) = arg(z − z2 ) sau arg(z − z1 ) = − arg(z − z2 ),
iar din (1.22) rezultă (1.21).
Observăm că (1.21) se poate scrie
1 k 1 k
z= z1 − z2 , unde − = 1.
1−k 1−k 1−k 1−k
Am obţinut astfel că
1.2.4. Punctele z, z1 şi z2 sunt coliniare dacă satisfac condiţia
(1.23) z = k1 z1 + k2 z2 , k1 , k2 ∈ R, k1 + k2 = 1.
De aici rezultă
1.2.5. Ecuaţia dreptei care conţine punctele z1 şi z2 este
z = (1 − t)z1 + tz2 , t ∈ R.
z1 + z3 = z2 + z4 .
Capitolul 1 19
(x − p)2 + (y − q)2 = r 2 ,
6 z2 6
z3
z1 1
* α
z2
6 - -
Fig.1.10. Fig.1.11.
1.2.9. O condiţie necesară şi suficientă ca punctele distincte
z1 , z2 , z3 să fie coliniare este
z3 − z1
arg ∈ {0, π}.
z3 − z2
Această condiţie este echivalentă cu
z3 − z1
(1.25) = t ∈ R,
z2 − z1
de unde, considerând pe z3 drept un punct variabil z, se regăseşte
ecuaţia dreptei de la 1.2.5.
Tot din (1.25) se obţine o altă formă a ecuaţiei dreptei.
1.2.10. Ecuaţia dreptei care conţine punctele z1 şi z2 este
z − z1
Im = 0.
z2 − z1
1.2.11. Dacă [z1 , z2 ] ⊥ [z3 , z4 ], atunci
z1 − z2
Re =0
z3 − z4
Capitolul 1 21
şi reciproc.
Într-adevăr, arg zz13 −z π π
−z4 ∈ − 2 , 2 , deci
2 z1 −z2
z3 −z4 este un număr com-
plex pur imaginar.
Definim biraportul a 4 puncte distincte (sau raportul anarmonic)
prin
z1 − z3 z1 − z4
(1.26) (z1 , z2 , z3 , z4 ) = : , z1 , z2 , z3 , z4 ∈ C.
z2 − z3 z2 − z4
Definiţia se extinde şi ı̂n cazul când unul din puncte este ∞; de
exemplu
z1 − z3
(1.27) (z1 , z2 , z3 , ∞) = .
z2 − z3
Se observă uşor că (1.27) se obţine din (1.26) dacă z4 → ∞ sau
dacă ı̂nlocuim cu 1 binoamele din membrul drept ı̂n care apare z4 .
Aceeaşi regulă se aplică şi dacă z4 este pe altă poziţie.
Numim cerc ı̂n sens larg un cerc sau o dreaptă. Această denu-
mire este bine motivată de faptul că cercurilor şi dreptelor din planul
complex extins le corespund cercurile de pe sfera lui Riemann.
1.2.12. Fie z1 , z2 , z3 , z4 patru puncte distincte din C∞ ; atunci
(z1 , z2 , z3 , z4 ) ∈ R dacă şi numai dacă z1 , z2 , z3 , z4 sunt pe un cerc ı̂n
sens larg.
Pentru a verifica această proprietate presupunem mai ı̂ntâi că
(z1 , z2 , z3 , z4 ) ∈ R şi toate punctele sunt din C. Atunci
z1 − z3 z1 − z4
(1.29) arg ≡ arg ≡ α (modπ).
z2 − z3 z2 − z4
22 Folosirea numerelor complexe ı̂n geometria plană
z2
z1
z1 ?
z3
z4 z4 z2
z3
Fig.1.12. Fig.1.13.
Dacă (z1 , z2 , z3 , z4 ) ∈ R şi, de exemplu z4 = ∞, atunci având
z1 − z3
arg(z1 , z2 , z3 , z4 ) = arg ≡0
z2 − z3
sau
1 1 1
(1.32) z1 z2 z3 = 0.
′
z1 z2′ z3′
Am obţinut astfel
1.2.14. Triunghiul (z1 , z2 , z3 ) este echilateral dacă şi numai dacă
este verificată una din condiţiile (1.33) sau (1.34).
Din (1.33) se poate obţine următoarea proprietate
1.2.15. Triunghiul (z1 , z2 , z3 ) este echilateral dacă şi numai dacă
verifică o relaţie de forma
(1.35) z1 + εz2 + ε2 z3 = 0
unde ε este una din cele două rădăcini complexe de ordinul 3 ale
unităţii (ε = 1, ε 6= 1).
Observăm că dacă ε este una dintre rădăcini, atunci ε2 este cea-
laltă şi ε + ε2 = −1. Relaţia (1.33) este echivalentă cu
6 6 z′
z′
K z
arg a
1 z
z0
z0
- -
O O
Fig.1.14. Fig.1.15.
1.3.3. Omotetia. Dacă z0 ∈ C şi a ∈ R \ {0}, atunci
ϕ(z) = z0 +a(z−z0 ) este o omotetie de centru z0 şi raport a. Ea trans-
formă pe z ı̂n z ′ = z0 +a(z −z0 ) (Fig.1.15), unde (z0 −z ′ )/(z0 −z) = a
(v. 1.2.3).
26 Folosirea numerelor complexe ı̂n geometria plană
(1.36) OM · OM ′ = k.
arg(z − z0 ) = arg(z ′ − z0 )
sau
(1.38) arg[(z − z0 )(z ′ − z0 )] = 0.
k
(1.39) z ′ = z0 + .
z − z0
6
-z z
T M ′ (z ′ )
-
O
M (z)
O
z
−z
Fig.1.16. Fig.1.17.
1.35. Simetrii. Transformările z = z, z ′ = −z şi z ′ = −z sunt
′
M A · BC ≤ M B · CA + M C · AB
M B · CA ≤ M C · AB + M A · BC
28 Folosirea numerelor complexe ı̂n geometria plană
M C · AB ≤ M A · BC + M B · CA.
Egalitatea are loc ı̂n una din relaţii dacă M se găseşte pe cercul cir-
cumscris triunghiului ABC. Egalitatea are loc ı̂n două relaţii dacă
M se găseşte ı̂n unul din vârfurile triunghiului.
Demonstraţie. Fie A(a), B(b), C(c) şi M (z). Din relaţia
sau
arg[(b − z)(a − c)] = arg[(c − z)(b − a)].
β + β ′ = γ + γ ′ + 2π
sau
(β − γ) + (β ′ − γ ′ ) = 2π.
Capitolul 1 29
6 A
C
B
M
γ ′′ γ β β′
6 -
O
γ −1
Fig.1.18.
(β − γ) + (β ′ − γ ′′ ) = π
adică
dC) + m(BAC)
m(BM d =π
|z − a| ≤ |z − b| + |z − c| + |z − d|.
sau
n
X p
X n
X
(1.42) εk−1 (ak − bk )p = (a − b)j µp−j Cpj εj+1
k−1 .
k=1 j=0 k=1
32 Folosirea numerelor complexe ı̂n geometria plană
deci n
X 1 − (εn1 )j+1
(1.43) εj+1
k−1 = , j ∈ {0, 1, . . . , p}
k=1 1 − εj+1
1
iar de aici, prin trecerea câte unui termen ı̂n membrul celălalt şi
aplicând modulul obţinem n inegalităţi, cum este de exemplu
n
X Xn
p p
|εk−1 ||ak − bk | ≥ εk−1 (ak − bk ) = |ε0 ||a1 − b1 |p
k=2 k=2
care ı̂nseamnă
A′′3
I
6
6 A′2 A′′2
7
A′2
7
A′3
* A2
K
2π/n A1
:
- -
O O
Fig.1.19. Fig.1.20.
4π
Analog A′2 (ε2 a3 )se obţine din A3 prin rotirea cu n ş.a.m.d. Din
(1.45) avem
−→ −→ −→ −→
(1.46) OA1 + OA′2 + OA′3 + · · · + OA′n = 0.
34 Folosirea numerelor complexe ı̂n geometria plană
−→ −→ −→
Construim acum A1 A′′2 echipolent cu OA′2 , A′2 A′′3 echipolent cu
−→ −→ −→
OA′3 , . . . , A′′n−1 A′′n echipolent cu OA′n . Relaţia (1.46) spune că acest
contur este ı̂nchis, mai exact A′′n = O. Deci poligonul căutat este
OA1 A′′2 . . . A′′n−1 .
Prezentăm ı̂n continuare o ultimă generalizare a Teoremei lui
D. Pompeiu.
1.4.6. Teorema lui M. Dincă. Fie poligoanele regu-
late A1 A2 . . . An şi B1 B2 . . . Bn orientate ı̂n acelaşi fel. Dacă
Aj Bj = xj , j ∈ {1, . . . , n}, atunci cu segmentele care au
lungimile egale cu produsele x1 x2 . . . xk , x2 x3 . . . xk+1 , . . . ,
xn x1 x2 . . . xk−1 se poate construi un poligon convex, unde
1 ≤ k ≤ n − 2.
Demonstraţia se găseşte ı̂n [DiC, pag. 88].
Următoarele două teoreme sunt reciproce ale Teoremei lui
Pompeiu.
1.4.7. Teoremă. Fiind dat un triunghi ABC, dacă cu distanţele
la orice punct M la vârfurile triunghiului se poate forma un triunghi,
eventual degenerat, atunci triunghiul ABC este echilateral.
Demonstraţie ([DiC]). Fie A(a), B(b), C(c) şi M (z); au loc ine-
galităţile
(1.47) |z − a| + |z − b| ≥ |z − c|,
(1.48) |z − b| + |z − c| ≥ |z − a|,
(1.49) |z − c| + |z − a| ≥ |z − b|.
|a − b| ≥ |a − c| şi |a − c| ≥ |a − b|,
Capitolul 1 35
de unde rezultă
(1.50) |a − b| = |a − c|.
(1.51) |a − b| = |b − c|.
avem
(1.54) aeiα + beiβ + ceiγ = 0.
iα
z = r + ae
⇔ r(1 − ε) = bε2 eiβ − aeiα ⇔
r(1 − ε2 ) = cεeiγ − aeiα
iα
z = r + ae
⇔ r(1 − ε2 ) = cεeiγ − aeiα ⇔
0 = cεeiγ − aeiα − (1 + ε)[bε2 eiβ − aeiα ]
iα
z = r + ae
⇔ r = (cεeiγ − aeiα )/(1 − ε2 ) ⇔
0 = cεeiγ + aεeiα − (ε + 1)bε2 eiβ
Capitolul 1 37
iα
z = r + ae
⇔ r = (cεeiγ − aeiγ )/(1 − ε2 )
0 = (ceiγ + aeiα + beiβ )ε
R′
Q′
A, P
Q M( z) M2
M, B C
M3
A2 M1 A3
R
Fig.1.21. Fig.1.22.
Soluţie. Fie Ak (ak ) şi Mk (zk ), k ∈ {1, 2, 3} (Fig.1.22). Faptul că
A1 , M1 şi A3 sunt coliniare este echivalent cu (v. 1.2.9)
z1 − a3
(1.56) ∈ R.
z1 − a2
Analog
z2 − a1
(1.57) ∈R
z2 − a3
z3 − a2
(1.58) ∈ R.
z3 − a1
Vom folosi notaţia C(A1 M2 M3 ) pentru cercul determinat de
A1 , M2 şi M3 . Din 1.2.12 avem că dacă z ∈ C(A1 M2 M3 ), atunci
z − z2 z − z3
(1.59) (z, a1 , z2 , z3 ) = : ∈ R.
a1 − z2 a1 − z3
Capitolul 1 39
(z1 , w2 , z2 , w1 )(z3 , w4 , z4 , w3 )
= (z1 , z2 , z3 , z4 )(w1 , w2 , w3 , w4 ).
(z2 , w3 , z3 , w2 )(z4 , w1 , z1 , w4 )
Din faptul că membrul stâng al acestei egalităţi este real, dacă
z1 , z2 , z3 , z4 sunt conciclice, atunci (z1 , z2 , z3 , z4 ) ∈ R şi deci şi
(w1 , w2 , w3 , w4 ) ∈ R, de unde rezultă că şi w1 , w2 , w3 , w4 sunt conci-
clice.
1.4.11. Să se arate că punctele de contact a patru cercuri tangente
câte două sunt conciclice ([Mih]).
Soluţie. Fie cercul C2 tangent la C1 şi C3 ı̂n z1 şi z2 (Fig.1.24).
Capitolul 1 41
A3
C4
C1
W Z4
Z1 Z3
M2
C
A2 C3
Z2
M3
C2
A1
M1
Fig.1.23. Fig.1.24.
Construim cercul C prin z1 şi z2 . El mai taie C1 ı̂n z4 şi C3 ı̂n
z3 . Ducem apoi cercul C4 tangent ı̂n z3 la C3 şi care trece prin z4 .
El retaie C1 ı̂n w, distinct sau nu de z4 . Arătăm că w = z4 . Avem
următoarea situaţie
α = arg(a, b, c, d).
42 Folosirea numerelor complexe ı̂n geometria plană
d − m(BCA)
d = arg b−d b−c
α = m(BDA) − arg =
a−d a−c
a−c a−d
= arg : = arg(a, b, c, d).
b−c b−d
A
α
C
D
Fig.1.25.
Observăm că dacă biraportul este real, atunci cercurile sunt tan-
gente, iar dacă este pur imaginar, atunci cercurile sunt ortogonale.
1.4.13. Fie ABCD şi A′ B ′ C ′ D′ două paralelograme. Să se arate
că punctele A1 , B1 , C1 şi D1 care ı̂mpart ı̂n acelaşi raport segmentele
[AA′ ], [BB ′ ], [CC ′ ] şi [DD′ ] sunt vârfurile unui alt paralelogram.
Soluţie. Fie A(a), . . . , A′ (a′ ), . . . , A1 (a1 ), . . . , D1 (d1 ). Deoarece
ABCD şi A′ B ′ C ′ D′ sunt paralelograme avem relaţiile (v. 1.2.6)
(1.63) a + c = b + d, a′ + c′ = b′ + d′ .
Capitolul 1 43
a + c − k(a′ + c′ ) b + d − k(b′ + d′ )
a1 + c1 = = = b1 + d1 .
1−k 1−k
1.4.14 (D.V. Ionescu [Ion]). Fie ABC şi A′ B ′ C ′ două triunghiuri
asemenea (direct) şi O un punct ı̂n planul lor. Prin A′ , B ′ şi C ′ du-
cem segmentele [A′ A1 ], [B ′ B1 ], [C ′ C1 ] paralele şi de acelaşi sens
cu [OA], [OB], [OC] astfel ca A′ A1 = k · OA, B ′ B1 = k · OB,
C ′ C1 = k · OC, k ∈ R. Triunghiul A1 B1 C1 astfel obţinut este aseme-
nea cu triunghiurile date.
Soluţie. Fie O originea, A(a), . . . , C1 (c1 ). Avem a1 − a′ = ka,
b1 − b′ = kb, c1 − c′ = kc.
Din asemănarea triunghiurilor ABC şi A′ B ′ C ′ obţinem (v. 1.2.13,
relaţia (1.32)) condiţia necesară şi suficientă
1 1 1
a b c = 0,
′
a b′ c′
condiţie echivalentă cu
a′ (b − c) + b′ (c − a) + c′ (a − b) = 0.
Atunci
a1 (b − c) + b1 (c − a) + c1 (a − b) =
a1 + b1 + c1 a + b + c − k(a′ + b′ + c′ ) g − kg′
g1 = = = .
3 3(1 − k) 1−k
a1 + a3 = a2 + a4
a1 + εa2 + ε2 b1 = 0,
a2 + εa3 + ε2 b2 = 0,
....................
an + εa1 + ε2 bn = 0,
a1 + a2 + · · · + an − (b1 + b2 + · · · + bn ) = 0.
a1 = (z − (−r))i − r = (z + r)i − r
b1 = (z − r)(−i) + r
46 Folosirea numerelor complexe ı̂n geometria plană
(am folosit doar translaţii cu −r, respectiv r şi rotaţii cu −π/2 şi
π/2).
A1 (a1 )
S(z)
] C(c) *]
B1 (b1 )
*
-
A(−γ) B(Γ)
Fig.1.26.
αx + βy + γ = 0, α, β, γ ∈ R
obţinem
α(z + z) − βi(z − z) + 2γ = 0
(1.64) az + a z + b = 0, a ∈ C, b ∈ R.
d: az + a z + b = 0 şi d′ : a′ z + a′ z + b′ = 0
este
i aa′
(1.69) θ = u′ − u = log ′ .
2 aa
În particular, d este paralelă cu d′ dacă şi numai dacă
aa′ a a′
(1.70) = 1 sau = ′,
aa′ a a
iar d este perpendiculară pe d′ dacă şi numai dacă
aa′ a a′
(1.71) = −1 sau + = 0.
aa′ a a′
Dacă pornim de la ecuaţia dreptei sub forma (1.66) şi dezvoltăm
determinantul obţinem
z(z 1 − z 2 ) − z(z1 − z2 ) + z1 z 2 − z 1 z2 = 0
Capitolul 1 49
sau echivalent
a
(1.76) χ=− ,
a
iar legătura dintre panta dreptei şi panta complexă este
1−χ
(1.77) m = tg u = i.
1+χ
i
(1.78) u = − log χ.
2
50 Folosirea numerelor complexe ı̂n geometria plană
(1.80) χ = χ′ ,
(1.81) χ + χ′ = 0.
(z − a)(z − a) = r 2
zz − az − az + aa − r 2 = 0.
Notăm c = −a şi d = aa − r 2 ; atunci ecuaţia cercului este de
forma
(1.84) zz + cz + c z + d = 0, c ∈ C, d ∈ R.
Dacă z = x + iy, c = α − iβ, atunci ecuaţia (1.84) corespunde ı̂n
cazul real ecuaţiei
x2 + y 2 + 2αx + 2βy + d = 0.
p = |z − z0 |2 − r 2 ,
52 Folosirea numerelor complexe ı̂n geometria plană
p = z0 z 0 + cz0 + c z 0 + d.
Se ştie că axa radicală a două cercuri este locul geometric al punc-
telor care au aceeaşi putere faţă de cele două cercuri. Fie cercurile de
ecuaţii (1.84) şi
zz + c′ z + c′ z + d′ = 0.
p′ = z0 z 0 + c′ z0 + c′ z 0 + d′ .
(c − c′ )z + (c − c′ )z + d − d′ = 0.
unde a, d ∈ R, b, c ∈ C.
Legătura ı̂ntre cele două ecuaţii este dată de egalităţile
∂f ∂f ∂z ∂f ∂z ∂f ∂z
= + = + ,
∂x ∂z ∂x ∂z ∂x ∂z ∂z
∂f ∂f ∂z ∂f ∂z ∂f ∂f
= + =i − ,
∂y ∂z ∂y ∂z ∂y ∂z ∂z
de unde centrul conicei se poate obţine din sistemul
∂f ∂f
(1.87) = 0, = 0.
∂z ∂z
Din (1.85) şi (1.87) obţinem
(1.88) bz + az + c = 0, az + b z + c = 0.
Fie z ∈ C, t ∈ R şi
avem egalitatea
∂F ∂F ∂F
z +z +t = 2F (z, z, t).
∂z ∂z ∂t
Când centrul conicei este pe conică (ı̂n caz de degenerare) afixul
lui verifică pe lângă (1.87) şi ecuaţia
∂F
(1.89) = 0 sau cz + c z + d = 0
∂t
(deoarece el verifică F (z, z, 1) = 0).
54 Folosirea numerelor complexe ı̂n geometria plană
Conica este parabolă când (1.88) nu are soluţii finite, adică atunci
când
a b
δ= = a2 − bb = 0.
b a
pe cercul cu centrul ı̂n origine şi raza 1, |a| = |b| = |c| = 1. De aici
deducem
c−b c−b
χ′ = = 1 1 = bc.
b − c
bb cc
b − c
Deci ecuaţia ı̂nălţimii ha este:
(1.92) z = a + b + c,
BC : z − z2 = χ(z − z 2 ),
unde
z3 − z2 z3 − z2
χ=
z3 − z2
= 1 1 = −z2 z3 ,
z3 − z2
deci BC : z − z2 = −z2 z3 (z − z 2 ).
Perpendiculara din M pe BC are ecuaţia
M A1 : z − z0 = z2 z3 (z − z 0 ).
C1 A1 C
B
B1
Fig.1.27.
Capitolul 1 57
(1.95) σ1 = z1 + z2 + z3 , σ2 = z1 z2 + z1 z3 + z2 z3 , σ3 = z1 z2 z3
şi obţinem
1 z2 z3 σ3 z1 z3 − z1 z2
z − σ3 z 0 z = z0 + z2 + z3 − − 2 − + z1
2 z0 z0 z0
58 Folosirea numerelor complexe ı̂n geometria plană
1
(1.96) z − σ3 z 0 z = (z0 + σ1 − σ2 z 0 − σ3 z 20 ).
2
1.6.4 ([Mod]). Fie ABC un triunghi ı̂nscris ı̂n cercul unitate.
Fie z1 , z2 , z3 afixele punctelor A, B, C. Numim punct Boutain pen-
tru triunghiul ABC un punct cu proprietatea că dacă se alege repe-
rul astfel ca el să fie punctul unitate (adică z = 1), atunci are loc
egalitatea
σ3 = z1 z2 z3 = 1.
Să se arate că pentru un triunghi ABC dat ı̂nscris ı̂n cercul uni-
tate există trei puncte Boutain şi acestea formează un triunghi echi-
lateral.
Soluţie. Fie α punctul de pe cercul unitate (|α| = 1) care ı̂n
urma rotirii reperului devine noul punct unitate. Atunci noile afixe
ale punctelor ABC sunt z1 /α, z2 /α şi z3 /α. Punctul α va fi punct
Boutain dacă
z1 z2 z3
= 1 sau σ3 = α3 .
α3
√ √ √ √
Deci α ∈ 3 σ3 , ε 3 σ3 , ε2 3 σ3 , unde 3 σ3 este una dintre cele trei
valori ale rădăcinii cubice a lui σ3 , iar ε3 = 1. Este evident că cele
trei puncte α formează un triunghi echilateral.
1.6.5. Să se arate că dacă se ia ca punct unitate punctul Bou-
tain M ı̂n raport cu triunghiul ABC ı̂nscris ı̂n cercul unitate,
atunci dreapta Simson corespunzătoare punctului M va fi coliniară cu
diametrul cercului unitate ce trece prin M .
Soluţie. Dacă z0 = 1 este punct Boutain, atunci σ3 = 1 şi ecuaţia
dreptei Simson (1.96) devine
1
z − z = (σ1 − σ2 ),
2
Capitolul 1 59
z−0 z
(1.97) =
1−0 1
deci cu aceeaşi pantă.
1.6.6. Dacă dreapta Simson corespunzătoare punctului M si
triunghiului ABC este paralelă cu diametrul cercului ce conţine punc-
tul M , atunci M este un punct Boutain.
Soluţie. Fie z0 = 1; atunci panta dreptei Simson, care are ecuaţia
(1.96), este σ3 , iar din faptul că această dreaptă este paralelă cu
diametrul de ecuaţie (1.97), a cărui pantă este 1, rezultă σ3 = 1, deci
z0 este punct Boutain.
1.6.7 ([Mod]). Fie ABC un triunghi ı̂nscris ı̂n cercul unitate. Să
se arate că:
a) Punctul P de afix σ2 = z1 z2 + z1 z3 + z2 z3 (unde zi este afixul
lui Ai ) este simetricul ortocentrului H al triunghiului ABC faţă de
diametrul δ al cercului unitate care este paralel cu dreapta Simson a
punctului M şi triunghiului ABC.
b) Punctul Q de afix σ3 = z1 z2 z3 este simetric cu punctul unitate
ı̂n raport cu acelaşi diametru.
Soluţie. Ecuaţia dreptei Simson pentru punctul z0 = 1 este
1
z − σ3 z = (1 + σ1 − σ2 − σ3 ),
2
deci
δ: z − σ3 z = 0
d: z − σ1 = −σ3 (z − σ 1 ).
d1 ; z − 1 = −σ3 (z − 1).
A(a)
P N
B(b) C(c)
Fig.1.28.
|z − h| = 1.
Într-adevăr
|a − h| = |p + n − (m + n + p)| = |m| = 1,
(a − h) + (b − h) + (c − h) = a + b + c − 3h = 2(m + n + p) − 3h = −h,
A
B1
D
C1
N
P H
E O
B A1 M C
Fig.1.29.
Avem
b+c a+h
m= , d= , h = a + b + c.
2 2
Obţinem
b+c
d=a+
2
de unde (m + d)/2 = (a + b + c)/2, iar deoarece e = h2 , avem
a+b+c
(1.98) e= .
2
De aici rezultă că E este mijlocul segmentului M D,
DE = EM.
64 Folosirea numerelor complexe ı̂n geometria plană
A1 E = EM.
Din simetrie (expresia (1.98) este simetrică ı̂n a, b şi c), sau făcând
acelaşi raţionament ı̂n continuare, rezultă că şi celelalte şase puncte
sunt pe acelaşi cerc.
Observaţie. Apartenenţa lui A1 la cercul lui Euler se poate de-
monstra folosind exprimarea lui a1 ı̂n funcţie de afixele vârfurilor
triunghiului ABC, ca la problema 1.6.3; astfel conform formulei (1.93)
avem a1 = (a + b + c − bc/a)/2 şi
a + b + c a+b+c bc bc 1
A1 E = |e − a1 | = − + = = .
2 2 2a 2a 2
a1 + a2 + a3 .
|z − (a1 + a2 + a3 )| = 1,
ş.a.m.d.
Punctul z4 = a1 + a2 + a3 + a4 verifică ecuaţiile tuturor acestor
patru cercuri, deoarece |ai | = 1, Ai fiind pe cercul |z| = 1. Punctul
z4 este deci ortocentrul patrulaterului ı̂nscris.
În cazul pentagonului se procedează analog şi se obţine ortocen-
trul z5 = a1 + a2 + a3 + a4 + a5 , dacă ne referim la pentagonul
A1 A2 A3 A4 A5 .
Rezultă că unui poligon ı̂nscris ı̂i putem asocia un punct H, de
afix n
X
(1.99) h= ai .
i=1
Observaţie. Punctul G de afix
n
1X
(1.100) g= ai
n i=1
66 Folosirea numerelor complexe ı̂n geometria plană
1 1
g= h sau OG = OH.
n n
de unde
1 1
o = 0 · h, e=
h, g= h,
2 n
deci cele patru puncte sunt coliniare.
1.7.5. Teorema lui Iaglom pentru poligonul ı̂nscris ([Mih]).
Fie A1 A2 . . . An un poligon ı̂nscris şi E centrul cercului Euler.
1) Ortocentrele poligoanelor formate din k vârfuri ale poligonului
ı̂nscris şi din cele n − k rămase sunt simetrice ı̂n raport cu E.
2) Perpendicularele duse din centrele cercurilor Euler ale poligoa-
nelor formate din n − 2 vârfuri pe latura opusă (rămasă) trec prin
E.
68 Folosirea numerelor complexe ı̂n geometria plană
1
z = a2 + (a1 − a2 ) + (a3 − a4 )ti, t∈R
2
sau
a1 + a2
z− = (a3 − a4 )ti, t ∈ R,
2
deci ecuaţia se poate scrie
z − a1 +a
2
2
(1.102) Re = 0.
a3 − a4
Capitolul 1 69
A1 A4
O
A2
A3
Fig.1.30.
a3 + a4
Re =0
a3 − a4
Funcţii omografice
az + b
(2.1) h(z) = , a, b, c, d ∈ C, ad − bc 6= 0,
cz + d
d a
h − =∞ şi h(∞) = când c 6= 0;
c c
h(∞) = ∞, când c = 0.
dw − b
(2.2) z = h−1 (w) =
−cw + a
71
72 Funcţii omografice
az + b
(h1 ◦ h2 )(z) = ,
cz + d
unde
a = a1 a2 + b1 c2 , b = a1 b2 + b1 d2 , c = c1 a2 + d1 c2 ,
Un cerc ı̂n sens larg are ecuaţia (v. 1.64 şi 1.84)
(2.3) azz + bz + bz + c = 0, a, c ∈ R, b ∈ C.
cww + bw + bw + a = 0, c, a ∈ R, b ∈ C
Dar
z2 w2 − z1 w1 = z2 w2 − z2 w1 + z2 w1 − z1 w1 =
= z2 (w2 − w1 ) + w1 (z2 − z1 ) =
= (z2 λ + w1 )(z2 − z1 ).
Analog
z3 w3 − z1 w1 = (z3 λ + w1 )(z3 − z1 )
de unde
(2.7) cλ(z3 − z2 ) = 0,
P
M′
M
O
P′ Γ
C
Fig.2.1.
OM · OM ′ = r 2
P2. Dacă fasciculul de cercuri care trec prin M şi M ′ este orto-
gonal pe C, atunci M şi M ′ sunt inverse faţă de C.
Folosim tot Fig.2.1. Din faptul că fasciculul de cercuri ce trec prin
M şi M ′ este ortogonal pe C rezultă că M şi M ′ se găsesc pe aceeaşi
semidreaptă ce porneşte din O. Fie acum Γ un cerc din fascicul şi
P ∈ Γ ∩ C. Deoarece Γ ⊥ C rezultă că raza [OP ] a cercului C este
dM ≡ OM
tangentă la Γ, deci OP d′ P , de unde △P OM ∼ △M ′ OP şi
de aici OM · OM ′ = r 2 , deci M şi M ′ sunt inverse faţă de C.
Demonstrăm acum proprietatea 2.1.9. Fie M şi M ′ inverse faţă de
C. Din P1 deducem că toate cercurile Γ care trec prin M şi M ′ sunt
ortogonale pe C. Aplicând transformarea h, care conservă cercurile
ı̂n sens larg şi păstrează unghiurile (v. 2.1.3 şi 2.1.7), cercurile h(Γ)
formează un fascicul de cercuri care trec prin h(M ) şi h(M ′ ) şi sunt
ortogonale pe h(C). Pe baza proprietăţii P2 rezultă că h(M ) şi h(M ′ )
sunt inverse faţă de h(C).
2.1.12. Observaţie. Dacă polul transformătii h este pe C, atunci
h(C) este o dreaptă, iar h(M ) şi h(M ′ ) sunt simetrice faţă de ea
(deoarece fasciculul de cercuri h(Γ) este ortogonal pe dreapta h(C)).
Iată motivul pentru care inversiunea faţă de cerc se mai numeşte şi
simetrie faţă de cerc.
2.1.13. Am văzut (2.1.7) că o funcţie omografică transformă cer-
curile ı̂n sens larg ı̂n cercuri ı̂n sens larg. Dar un cerc (sau dreaptă)
ı̂mparte planul ı̂n două domenii; ı̂n continuare aducem unele pre-
cizări privitoare la imaginile acestor domenii. Considerăm un cerc C
determinat de punctele z1 , z2 şi z3 . Cu ajutorul acestor puncte pu-
tem stabili un sens pe C şi putem caracteriza interiorul şi exteriorul
cercului. Dacă z ∈ C descrie un arc (z1 , z2 ), atunci m(z2 ,d z, z1 ) are
80 Funcţii omografice
^ z1 W
z2 /
Y z1] 7 z2 z3
α
? -
z3
z
Fig.2.2. Fig.2.3.
Pentru un cerc determinat de z1 , z2 , z3 se vede că dacă z este
interior, atunci m(z2 ,d z, z1 ) ∈ (−π, α − π) ∪ (α, π) iar când z este
exterior, atunci m(z2 ,d z, z1 ) ∈ (α − π, α).
Presupunem că z3 se află pe acel arc de cerc astfel ca
m(z2 , z3 , z1 ) = α. În acest caz spunem că sensul este direct faţă de
interior (interiorul se află la stânga faţă de sensul de parcurs al cer-
cului). Dacă z este interior, atunci
z1 − z3 z1 − z
arg(z1 , z2 , z3 , z) = arg : =
z2 − z3 z2 − z
z2 − z z2 − z3
= arg − arg =
z1 − z z1 − z3
z, z1 ) − m(z2 ,d
= m(z2 ,d z3 , z1 ) ∈ (0, π)
z, z1 ) − m(z2 ,d
arg(z1 , z2 , z3 , z) = m(z2 ,d z3 , z1 ) ∈ (−π, 0)
z, z1 ) ∈ (−π, 0) şi
Dacă z este la dreapta, atunci m(z2 ,d
az + b
(2.10) h(z) = , ad − bc > 0, a, b, c, d ∈ R.
cz + d
(ad − bc)y
v= ,
(cx + d)2 + c2 y 2
obţinem
z0 − a z − a
w = w0 · ,
z0 − a z − a
sau
z−a
w=k , k ∈ C.
z−a
84 Funcţii omografice
de unde k = ρreiθ , θ ∈ R.
Am obţinut că funcţiile omografice care transformă U (0; r) ı̂n
U (0; ρ) sunt
z−a
(2.12) h(z) = rρeiθ , a ∈ C, |a| < r, θ ∈ R.
r 2 − az
z−a
(2.13) h(z) = eiθ , a ∈ C, |a| < 1, θ ∈ R.
1 − az
ds1 r 2 − |ζ1 |2
= 2 ,
ds r − |ζ|2
cz 2 + (d − a)z − b = 0,
w =z+b
w = az + b.
88 Funcţii omografice
ρ = Kemθ
sau
(2.16) |z − λ| = Kem arg(z−λ)
|w − λ| = Kem[arg a+arg(z−λ)] ,
|w − λ| = Kem[arg(z−λ)] ,
|w − λ| = Kem arg(w−λ) ,
W = h1 (Z) = Z + b,
90 Funcţii omografice
(z) 6 (Z) 6 3 4
2
1
λ
b
- -
4 O 3 O
1
2
Fig.2.4. Fig.2.5.
Capitolul 2 91
3 6 6
(W ) 4 (w)
2
1
λ
- 4 -
O O
1 3
2
Fig.2.6. Fig.2.7.
2.3.2.2. Punctele fixe λ şi µ sunt distincte. În acest caz dacă
funcţia omografică h duce z0 ı̂n w0 , atunci
z−λ w−λ
k1 = k2
z−µ w−µ
w−λ z−λ
(2.19) =k , k ∈ C∗ , k 6= 1.
w−µ z−µ
Cazul k = 1 corespunde funcţiei identice w = z.
Notăm
z−λ w−λ
Z = h1 (z) = , W = h1 (w) = .
z−µ w−µ
(2.20) h = h−1
1 ◦ h2 ◦ h1 ,
92 Funcţii omografice
(Z) 6
(z) 6
2
5
4
λ 4 2
5
u -
- 1 3
O 3 O
1
1
Fig.2.8. Fig.2.9.
Capitolul 2 93
(W ) 6
(w) 6
5
2 λ
4
5 4 u
-
1 3 -
O
1 3
1
Fig.2.10. Fig.2.11.
III. k ∈ C∗ , |k| =
6 1: transformare loxodromică. Această transfor-
mare nu păstrează nici un cerc.
nului superior studiate la 2.2.1. Acest model este prezentat ı̂n [HMN],
[Mih], [Mih1].
În continuare vom descrie un alt model, de aceeaşi natură, datorat
pe lângă lui H. Poincaré şi lui F. Klein. În acest model drept plan al
lui Lobacevski, considerăm discul cu centrul ı̂n origine şi de rază r,
pe care-l mai notăm şi Ur .
Numim punct al lui Lobacevski, sau mai scurt L-punct orice punct
din Ur , iar L-dreaptă este orice arc de cerc din Ur ortogonal pe cercul
frontieră Γr , inclusiv diametrele cercului Γr . Deplasările (mişcările)
din cadrul acestei geometrii (pe care le mai numim şi L-mişcări sau
L-deplasări) sunt funcţiile omografice din Hr (v. 2.2.3), deoarece
acestea transformă L-planul Ur ı̂n el ı̂nsuşi, L-punctele ı̂n L-puncte,
L-dreptele ı̂n L-drepte şi din punct de vedere euclidian păstrează un-
ghiurile dintre arcele de cerc ce constituie L-dreptele. Măsura unghiu-
rilor şi lungimea segmentelor vor fi astfel definite ı̂ncât transformările
din Hr de asemenea le vor păstra invariante.
În continuare vom enunţa cele cinci seturi de axiome şi
vom vedea că modelul satisface toate aceste axiome. Formularea
axiomelor urmează calea din [Sâm], inspirată la rândul ei de lucrarea
lui D. Hilbert Grundlagen der Geometrie, 1899.
2.4.1. Axiomele de incidenţă.
I1 (axioma de determinare a dreptelor). Oricare ar fi
L-punctele A şi B din L-plan există o L-dreaptă incidentă cu ele.
I2 (axioma de unicitate a dreptelor). Pentru orice pereche
de L-puncte A, B există cel mult o L-dreaptă incidentă cu punctele A
şi B.
I3 (axioma de consistenţă şi dimensiune ı̂n plan). Pentru
96 Funcţii omografice
B
A
O
Γr
Fig.2.12.
Cazul b). Atât A cât şi B diferă de O. Fie a afixul lui A. Atunci
prin transformarea h ∈ Hr , h(z) = r 2 eiθ rz−a ′
2 −az obţinem A = h(A) = 0
şi B ′ = h(B), iar A′ şi B ′ verifică I1 şi I2. Cu h−1 se revine la A şi B.
Dar h şi h−1 fiind din Hr (deci reprezentări conforme care transformă
pe Γr ı̂n Γr , Ur ı̂n Ur ) transformă arcele de cerc (şi segmentele) or-
togonale pe Γr ı̂n arce de cerc (sau segmente) ortogonale pe Γr , deci
transformă L-dreptele ı̂n L-drepte. Obţinem că A şi B de asemenea
verifică I1 şi I2.
Capitolul 2 97
az + b
(2.21) h−1 (z) = = h−1 (z)
cz + d
Capitolul 2 99
este tot o funcţie omografică. Deci h−1 (E) = F , ceea ce ı̂nseamnă că
F ≡ E.
Γr
B
d
A
δ
C1
A′ A1 B1
d′ B′
B ′′
C′
Fig.2.13.
C Γr
d B
A
A1 B1 C1
A2 OB2 C2
A′
d′ B′
C′
Fig.2.14.
(AC) ≡ (A′ C ′ ).
q
P
A
O P1 B1
A1
A′
B′ q1
q′
p′
Fig.2.15.
d
′ ′
(2.26) 1 , q1 ≡ p , q
pd
şi h(pd
, q) = pd
1 , q1 , de unde
(2.27) 1 , q1 ≡ p
pd d , q.
să aibă acelaşi vârf, iar q ′ şi q ′′ să fie de aceeaşi parte a dreptei d′ (care
conţine L-semidreapta p′ ), atunci măsura euclidiană a celor două un-
ghiuri ar trebui să fie aceeaşi, deci q ′ = q ′′ .
Fie (AB), (BC) şi (CA) trei L-segmente care aparţin unor
L-drepte distincte; ele formează un L-triunghi (care a fost definit
la 2.4.2). Dacă p şi q sunt L-semidreptele ce pleacă din A şi conţin
L-segmentele (AB) şi (AC), atunci L-unghiul pd , q se numeşte unghiul
L-triunghiului ABC cuprins ı̂ntre (AB) şi (AC) sau care este opus
segmentului (BC); notăm acest unghi cu BAC d sau A. b În interiorul
acestui unghi sunt toate punctele interioare ale triunghiului.
III5 (axioma de compatibilitate a relaţiilor de congruen-
ţă). Fie date triunghiurile ABC şi A′ B ′ C ′ ; dacă (AB) ≡ (A′ B ′ ),
(AC) ≡ (A′ C ′ ) şi BAC d ≡ B ′d A′ C ′ , atunci ABC d ≡ A′d d ≡
B ′ C ′ şi ACB
≡ A′d C ′B′.
Pentru verificare deplasăm triunghiurile ABC şi A′ B ′ C ′ (folosind
L-mişcările h şi k din Hr ) astfel ı̂ncât A1 = h(A) = A′1 = k(A′ ) = 0,
iar h((AB)) şi k((A′ B ′ ) ⊂ (OD (Fig.2.16).
106 Funcţii omografice
C1′
C1
δ A′1 B1′
O A1 D
B1
Γr
Fig.2.16.
Din (2.29) şi (2.30) obţinem A1d B1 C1 ≡ A′1d B1′ C1′ , din (2.28) şi
(2.30) obţinem A1d C1 B1 ≡ A′1dC1′ B1′ , iar din aceste congruenţe rezultă
d ≡ A′d
şi ABC d ≡ A′d
B ′ C ′ , respectiv ACB C ′B ′ .
Dacă (A1 C1 ) şi (A′1 C1′ ) sunt pe laturi diferite ale diametrului d,
atunci printr-o transformare simetrică faţă de O se ajunge la cazul
deja studiat.
2.4.4. Măsura unghiurilor şi segmentelor.
Măsura (unghiurilor, segmentelor) trebuie să fie aleasă ı̂n aşa fel
ı̂ncât pe lăngă axiomele care definesc o măsură (să fie nenegativă, să
aibă proprietatea de simetrie şi pe cea de aditivitate - adică să verifice
inegalitatea triunghiului) ea trebuie să fie invariantă la L-deplasări,
cu alte cuvinte unghiurile, respectiv segmentele congruente să aibă
aceeaşi măsură.
Definim măsura L-unghiului pd , q drept măsura euclidiană a un-
ghiului dintre arcele de cerc p şi q, adică unghiul dintre tangentele la
cercurile ce conţin arcele p şi q, ı̂n punctul lor de intersecţie. Notăm
măsura L-unghiului pd , q cu m(pd , q).
Este evident că această măsură ı̂ndeplineşte toate condiţiile enu-
merate mai sus, inclusiv cea de invarianţă la L-mişcări (deoarece
L-mişcările sunt funcţii omografice şi acestea au proprietatea de con-
servare a mărimii unghiurilor - v. 2.1.3).
Pentru a defini o măsură a L-segmentelor observăm că lungimea
euclidiană a unui arc de cerc este un număr real nenegativ, verifică
inegalitatea triunghiului şi are proprietatea de simetrie, dar nu este
ı̂n general invariantă la L-mişcări. Dar se ştie că funcţiile omografice
ı̂n general şi L-mişcările ı̂n particular păstrează biraportul şi acest
fapt este folosit ı̂n definiţia lungimii segmentelor.
108 Funcţii omografice
β
b
α a B
A
β′ b′ a′ α′
Γr
−r O δ r
Fig.2.17. Fig.2.18.
Vom vedea ı̂n plus că (α, β, b, a) este un număr real mai mare ca 1.
Pentru aceasta considerăm acea L-mişcare h care face ca L-dreapta
ce conţine segmentul (AB) să se transforme ı̂n diametrul real δ astfel
ca h(α) = r, h(a) = 0, h(b) = −r. Fie b′ = h(b) (Fig. 2.17); deoarece
prin h se păstrează ordinea α, a, b, β rezultă că b′ ∈ (−r, 0). Obţinem
r − b′
(2.32) (α, β, b, a) = (r, −r, b′ , 0) = ∈ (1, ∞)
r + b′
deoarece b′ ∈ (−r, 0).
Capitolul 2 109
β η
A
α
Fig.2.19.
Capitolul 2 113
N′ Γr
C′
A′
B O, A
M′
C B
N M
Fig.2.20.
O B′ O B′ B1′
B1′ R R
C1′ D C′ D
C′ C1′
Fig.2.21. Fig.2.22.
Dacă (AC) şi (A1 C1 ) nu se transformă pe aceeaşi rază, atunci ele
se transformă pe raze simetrice faţă de [OR] deoarece α = α1 . În
acest caz compunând h1 cu o simetrie faţă de [OR], (AC) şi (A1 C1 )
vor aparţine aceleiaşi raze. Din cele de mai sus rezultă că poate avea
loc unul din următoarele trei cazuri:
1) Triunghiurile imagine coincid (se suprapun), deci sunt con-
gruente şi la fel şi triunghiurile iniţiale ABC şi A1 B1 C1 .
2) (B ′ C ′ ) ∩ (B1′ C1′ ) = D sau C ′ = C1′ = D sau B ′ = B1′ = D.
În prima situaţie se formează două L-triunghiuri B ′ DB1′ şi C ′ DC1′ .
116 Funcţii omografice
d
m(DB ′ ′ m(B1′d
B ′ D) = π − β, m(B ′d
DB1′ ) > 0,
1 B ) = β1 ,
de unde rezultă
d ′ ′ ′d′ ′d ′ ′d ′
m(DB1 B ) + m(B1 B D) + m(B DB1 ) = β1 + π − β + m(B DB1 ) =
= π + m(B ′d
DB1′ ) > π.
m(B1′d
B ′ C ′ ) = π − β, m(C1′ d
B1′ B ′ ) = β1 ,
m(B ′d
C ′ C1′ ) = π − γ, m(C ′ d
C1′ B1′ ) = γ1 ,
de unde rezultă
(2.37) m(B1′d
B ′ C ′ ) + m(C1′ d
B1′ B ′ ) + m(B ′d
C ′ C1′ )+
+m(C ′ d
C1′ B1′ ) = 2π.
1 + th2 x2
(2.41) ch x =
1 − th2 x2
(2.42) ch x ≈ 1 + x2 pentru x ∈ R,
Formula (2.41), utilizând ultima egalitate din (2.43) şi apoi iar
(2.41), devine:
r 4 + β 2 γ 2 + r 2 (β 2 + γ 2 ) (r 2 + β 2 )(r 2 + γ 2 )
ch a = = = ch b · ch c
r 4 + β 2 γ 2 − r 2 (β 2 + γ 2 ) (r 2 − β 2 )(r 2 − γ 2 )
care este tocmai relaţia (2.38).
2.4.7.4. Observaţie. Pentru a, b, c suficient de mici, dacă folosim
(2.42), din relaţia (2.38) obţinem
(1 + a2 ) ≈ (1 + b2 )(1 + c2 ),
de unde
a2 ≈ b2 + c2
(neglijând b2 c2 care devine foarte mic), relaţie ce are loc dacă laturile
L-triunghiului ABC sunt suficient de mici. Acest fapt duce la conclu-
zia (la care se poate ajunge şi pe alte căi): geometria lui Lobacevski
este identică local cu geometria lui Euclid.
2.4.8. Unghiul de paralelism
Fie d o L-dreaptă şi A un L-punct ce nu aparţine dreptei. Du-
cem prin A cele două L-drepte paralele cu d (v. 2.4.6) şi o L-dreaptă
perpendiculară pe d (Fig.2.23). (Spunem că două L-drepte incidente
sunt perpendiculare dacă măsura unghiului format de ele este π/2.
Dintr-un punct exterior unei L-drepte se poate totdeauna duce o
unică L-dreaptă perpendiculară; transformând printr-o L-mişcare
această L-dreaptă ı̂ntr-un diametru al cercului Cr , afirmaţia de mai
sus rezultă din aceeaşi proprietate a geometriei euclidiene).
Unghiurile pe care L-dreptele din A L-paralele la L-dreapta d
le fac cu L-dreapta perpendiculară pe d se numesc unghiuri de
paralelism.
Capitolul 2 119
β′
B -
N
β 7A A′ B′
ρ C
O
r
α′
Fig.2.23. Fig.2.24.
Fie h L-deplasarea din Hr care are proprietatea că h(A) = A′ = 0
şi h(B) = B ′ , unde afixul b′ al lui B ′ este real pozitiv (Fig.2.23). Ob-
servăm că cele două unghiuri de paralelism sunt congruente (deoarece
imaginile lor prin h sunt congruente). Notăm măsura unui unghi de
paralelism cu Π.
Deoarece prin h distanţele se păstrează, folosind formula (2.35)
avem:
r + b′
(2.44) δ = l(A′ B ′ ) = ln ,
r − b′
de unde
eδ − 1
(2.45) b′ = r .
eδ + 1
Observăm că egalităţile (2.44) şi (2.45) stabilesc legătura ı̂ntre
b′ ,
care este lungimea euclidiană a segmentului A′ B ′ şi δ, care este
lungimea lobacevskiană a aceluiaşi segment.
120 Funcţii omografice
r 2 = A′ B ′ (A′ B ′ + 2ρ)
sau
r 2 = b′ (b′ + 2ρ),
Deoarece |λµ| = |ar 2 eiθ /|a|| = r 2 rezultă că sau ambele puncte
fixe sunt pe cercul absolut Γ r , sau unul este interior şi celălalt exterior.
Dacă λ = µ, atunci |a| = r sin θ2 şi |λ| = r, deci λ se află de asemenea
pe cercul absolut Γr .
I. Presupunem că h din Hr este o transformare eliptică. Atunci
λ 6= µ şi h transformă unul ı̂n altul cercurile ce trec prin λ şi µ şi
invariază cercurile ortogonale pe acestea. Deci Γr este un cerc ortogo-
nal pe acestea, iar λ şi µ sunt inverse faţă de Γr , deoarece fasciculul
de cercuri prin λ şi µ este ortogonal pe Γr .
2
Fie λ ∈ Ur , deci |λ| < r; atunci µ = rλ . Deoarece fasciculul de
cercuri ce trec prin λ şi r 2 /λ sunt ortogonale pe Γr , iar h transformă
aceste cercuri unele ı̂n altele, rezultă că şi cercurile imagine sunt or-
togonale pe Γr . Dar cercurile din acest fascicul definesc L-drepte şi
anume sunt L-dreptele care trec prin L-punctul λ. Prin h ele sunt
transformate tot ı̂n L-drepte ce trec prin λ. Deci h acţionează ca o
rotaţie din cadrul geometriei euclidiene şi de aceea spunem că orice
funcţie eliptică h din Hr este o L-rotaţie de L-centru λ, unde λ este
punctul fix al lui h din L-planul Ur .
Curbele pe care o transformare h le invariază le vom numi tra-
iectorii. În cazul de faţă traiectoriile transformării h din L-planul Ur
sunt L-cercurile cu centrul ı̂n λ. Aceasta rezultă din faptul că h inva-
riază cercurile ortogonale pe cele ce trec prin λ şi µ, deci faţă de care
λ şi µ sunt inverse, conform proprietăţilor 2.4.9.1 şi 2.1.11 (Fig.2.25).
Capitolul 2 123
Se poate include aici şi cazul a = 0 şi atunci funcţia h(z) = eiθ z
este ı̂n acelaşi timp o L-rotaţie şi o rotaţie (euclidiană), ambele cu
centrul λ = 0.
λ
µ
d
λ
µ
Γr
Γr
Fig.2.25. Fig.2.26.
II. Fie h din Hr o transformare hiperbolică. Atunci λ 6= µ şi h
invariază cercurile ce trec prin λ şi µ şi transformă unele ı̂n altele
cercurile ortogonale pe primele. Rezultă că λ, µ ∈ Γr şi ı̂n particular
h invariază şi cercul ce trece prin λ şi µ şi este ortogonal pe Γr , deci
care defineşte o L-dreaptă d cu extremităţile λ şi µ (Fig.2.26). Rezultă
că h transformă unele ı̂n altele L-dreptele ortogonale pe d. De aceea
aceste transformări se numesc L-translaţii de-a lungul dreptei d (ı̂n
Fig.2.26 L-dreptele fasciculului sunt desenate ı̂ntrerupt). Traiectoriile
transformării sunt arcele de cercuri cu extremităţile λ şi µ. Se poate
arăta ([Cha, pag.61]) că aceste traiectorii sunt locurile geometrice ale
L-punctelor situate la aceeaşi L-distanţă de L-dreapta d. De aceea
ele se numesc echidistante (se mai numesc şi hipercicluri).
124 Funcţii omografice
Γr
Fig.2.27.
În plus, dacă ı̂n (2.47) egalitatea are loc pentru o pereche (z1 , z2 )
din U , atunci f ∈ H1 , adică este de forma f (z) = eiθ (z − a)/(1−
−az), |a| < 1, θ ∈ R (ı̂n acest caz rezultă că egalitatea ı̂n (2.47) are
loc pentru orice pereche de puncte z1 , z2 din U ).
Demonstraţie. Considerăm funcţia f drept o transformare de la
planul (z) la planul (w); această transformare o realizăm prin inter-
mediul planelor (Z) şi (W ) astfel:
f
(z) −→ (w)
x
hy kyk−1
(Z) −→ (W )
F
unde
z − z1 w − w1
Z = h(z) = , W = k(w) = .
1 − z1z 1 − w1w
Avem F = k ◦ f ◦ h−1 , deci F (Z) = W . Funcţia F astfel definită
verifică Lema lui Schwarz 2.5.1; ı̂ntr-adevăr F este olomorfă ı̂n U
(compunerea de funcţii olomorfe este olomorfă), dacă Z ∈ U , atunci
|F (Z)| = |(k ◦ f )(x)| = |k(w)| < 1 (deoarece w ∈ U ) şi F (0) =
(k ◦ f )(z1 ) = k(w1 ) = 0. Pe baza Lemei lui Schwarz rezultă
|W | = |F (Z)| ≤ |Z|.
inegalitate ce arată că distanţa euclidiană ı̂ntre O şi W2 este cel mult
egală cu cea de la O la Z2 .
Din (2.35) deducem
1 + |Z|
l(O, Z) = ln
1 − |Z|
l(w1 , w2 ) ≤ l(z1 , z2 ).
Elemente de teoria
geometrică a funcţiilor de
o variabilă complexă
129
130 Elemente de teoria geometrică a funcţiilor
1 1 1
k(eit ) = 2 = =− ,
−i 2t i 2t t 2 4 sin2 2t
e −e 2i sin 2
Notăm
şi
(3.3) S = {f ∈ A; f univalentă}.
Observăm că o funcţie f din A are o dezvoltare ı̂n serie Taylor ı̂n
U de forma
(3.4) f (z) = z + a2 z 2 + · · · + an z n + · · · , z ∈ U,
Capitolul 3 133
3.2.1. Cum ı̂n cazul acestei teoreme s-a luat U ca domeniu standard,
pentru domeniile de acest tip (∞ ∈ D) considerăm
1 1
g(z) = h−1 ◦ f ◦ l(z) = c + =c+ =
f (1/z) a1 z + a2 z −2 + · · ·
−1
z/a1 z c2
= c+ =c+ 1− + ··· =
1 + c2 /z + · · · a1 z
= bz + b0 + b1 z −1 + · · · ,
Σ = {g ∈ Hu (U − ); g(z) = z + b0 + b1 z −1 + b2 z −2 + · · ·}.
Capitolul 3 135
3.2.7. Exemplu. Fie f (z) = z/(1−2z cos α+z 2 ), unde α ∈ (0, π),
definită ı̂n U . Funcţia
1 1
= z − 2 cos α + ∈ Σ,
f (1/z) z
după cum rezultă din exemplul 3.2.6. În plus punând |z| = 1 obţinem
Dar (
Z 2π
ikθ 0, k ∈ Z \ {0},
e dθ =
0 2π, k = 0
şi
∞
X ∞
X
nαn α−n = nαn α−n = 0,
n=−∞ n=−∞
deci
π X ∞ h i
2n 2n
A(r) = αn (−nα−n + nαn r ) + αn (nαn r − nαn ) =
2
n=−∞
∞
X
= π n|αn |2 r 2n .
n=−∞
Din această ultimă egalitate şi din faptul că A(r) > 0 rezultă
(3.7).
Demonstraţia Teoremei 3.3.1. Aplicăm Lema ı̂n cazul funcţiei
g cu dezvoltarea (3.5) şi care este din Σ, deci este olomorfă şi uni-
valentă ı̂n coroana U − şi α1 = 1, αn = b−n , n ≤ 0. Fie r > 1, deci
Γr ⊂ U − . Pe baza Lemei rezultă
X 1
A(r) = π m|b−m |2 r 2m =
m=−∞
∞
2 X 2 −2n
= π r − n|bn | r > 0.
n=1
Capitolul 3 139
Funcţia ψ este continuă şi ψ(r) > 0 pentru r > 1, deoarece pentru
r suficient de mare ψ(r) > 0 şi ψ(r) 6= 0 pentru r > 1 (deci este
continuă şi nu se anulează). Atunci
lim ψ(r) ≥ 0
r→1
şi
f (z 2 ) = [f ∗ (z)]2 = z 2 /(1 − eiθ z 2 )2 ,
deci f = kθ .
Observăm că funcţia kθ este o ”rotaţie” a funcţiei lui Koebe (3.1),
mai exact
kθ = e−iθ k(eiθ z).
de unde avem
1 1 1
=
w w + a2 − a2 ≤ w + a2 + |a2 | ≤ 4,
0 0 0
U (0; 1/4) se numeşte domeniul lui Koebe al clasei S, iar 1/4 este
constanta lui Koebe a clasei S.
3.3.7. Teorema de acoperire şi de deformare. Dacă z este
un punct fixat din U şi r = |z|, atunci pentru orice f ∈ S au loc
delimitările exacte
r r
(3.9) ≤ |f (z)| ≤
(1 + r)2 (1 − r)2
1−r 1+r
(3.10) ≤ |f ′ (z)| ≤
(1 + r)3 (1 − r)3
1 − r zf ′ (z) 1 + r
(3.11) ≤ ≤ .
1 + r f (z) 1 − r
Egalitatea ı̂n oricare din delimitările de mai sus are loc dacă şi
numai dacă f = kθ , pentru o alegere convenabilă a lui θ.
Demonstraţie. Considerăm funcţia ϕ (numită transformarea lui
Koebe)
2r 2 − 4r zf ′′ (z) 2r 2 + 4r
(3.14) ≤ Re ≤ .
1 − r2 f ′ (z) 1 − r2
∂ 1 zf ′′ (z) ∂ ∂
log f ′ (z) = ′
= ln |f ′ (z) + i arg f ′ (z).
∂r r f (z) ∂r ∂r
Obţinem
zf ′′ (z) ∂
Re ′
= r ln |f ′ (z)|.
f (z) ∂r
Înlocuim această expresie ı̂n (3.14)
2r − 4 ∂ 2r + 4
2
≤ ln |f ′ (z)| ≤
1−r ∂r 1 − r2
144 Elemente de teoria geometrică a funcţiilor
f (0) − f (z)
ϕ(−z) = ,
f ′ (z)(1 − |z|2 )
Capitolul 3 145
de unde obţinem:
′
zf (z) r
f (z) = |ϕ(−z)|(1 − r 2 ) .
3.4 Subordonare
Fie f, g ∈ H(U ). Spunem că f este subordonată lui g şi notăm
dacă există o funcţie ϕ din H(U ) astfel ı̂ncât ϕ(0) = 0, |ϕ(z)| < 1,
z ∈ U şi f = g ◦ ϕ.
3.4.1. Proprietate. Dacă f ≺ g, atunci f (U r ) ⊆ g(U r ), pentru
orice r ∈ (0, 1) şi f (U ) ⊆ g(U ), unde U r = {z; |z| ≤ r}.
Demonstraţia acestei proprietăţi rezultă din definiţia subordonării
şi din faptul că ϕ este o funcţie ce verifică condiţiile Lemei lui Schwarz
2.5.1, deci |ϕ(z)| ≤ |z|, z ∈ U .
3.4.2. Teoremă. Fie f, g ∈ H(U ) şi presupunem că g este uni-
valentă. Atunci
Observăm că
1+z
p ∈ P ⇔ p(z) ≺ .
1−z
3.4.5. Proprietate. Fie p ∈ P, a(r) = (1 + r 2 )/(1 − r 2 ) şi
ρ(r) = 2r/(1 − r 2 ), r ∈ (0, 1). Atunci
şi egalitatea are loc pentru un r ∈ (0, 1) dacă şi numai dacă
1 + eiθ z
p(z) = , z ∈ U, θ ∈ R.
1 − eiθ z
(3.16) w ∈ f (U ), t ∈ [0, 1) ⇒ tw ∈ f (U ).
{tf (z); |z| < r} ⊆ {f (z); |z| < r} = f (Ur ), t ∈ [0, 1], r ∈ (0, 1)
w = f (z)
z = reiθ
ϕ
O r 1 O
γr
Fig.3.1.
Dar
∂ ∂ ∂
log f (reiθ ) = ln |f (reiθ )| + i arg f (reiθ ),
∂θ ∂θ ∂θ
150 Elemente de teoria geometrică a funcţiilor
∂ ∂reiθ f ′ (z)
log f (reiθ ) = (log f (z))′z = iz,
∂θ ∂θ f (z)
de unde obţinem egalitatea
zf ′ (z) ∂
(3.19) Re = arg f (z), z = reiθ .
f (z) ∂θ
Din (3.19) şi (3.18) rezultă (3.17), iar din definiţia stelarităţii lui
f şi 3.1.2 rezultă f (0) = 0 şi f ′ (0) 6= 0.
b) Presupunem că f verifică (3.17), f (0) = 0 şi f ′ (0) = 1. Din
(3.17) şi (3.19) rezultă că arg f (reiθ ) este o funcţie crescătoare de θ,
θ ∈ [0, 2π), iar ordinul funcţiei f ı̂n orice Ur ([HMN, p. 135-136])
este 1, deoarece z = 0 este rădăcină simplă a ecuaţiei f (z) = 0 (cum
rezultă din f (0) = 0, f ′ (0) 6= 0). Din Teorema variaţiei argumen-
tului ([HMN, p. 136-137]) rezultă că Γr este o curbă simplă ı̂nchisă
(imaginea prin f a lui γr ocoleşte o singură dată originea) şi această
proprietate are loc pentru orice r din (0, 1). Obţinem astfel că f este
univalentă ı̂n U (v. şi [Pomm, p. 13]).
Din considerente geometrice analoge cu cele de la punctul a), din
(3.17) rezultă stelaritatea oricărui domeniu f (Ur ), r ∈ (0, 1). Deci f
este stelată ı̂n U .
3.5.2. Observaţie. Teorema precedentă poate fi enunţată şi ı̂n
următoarea formă: Fie f ∈ H(U ); f este stelată ı̂n U dacă şi numai
dacă p(z) = zf ′ (z)/f (z) ∈ P.
Demonstraţia acestui rezultat se face la fel cu demonstraţia Teo-
remei 3.5.1, cu următoarele completări: La punctul a), deoarece
f (0) = 0 şi f ′ (0) 6= 0 rezultă p ∈ H(U ) şi p(0) = 0; ı̂mpreună cu
(3.17) implică p ∈ P.
La punctul b) mai trebuie verificat că f (0) = 0 şi f ′ (0) 6= 0.
Din p ∈ P rezultă f (z) 6= 0, z ∈ U \ {0}, căci ı̂n caz contrar p ar
Capitolul 3 151
zf ′′ (z)
(3.25) lim g(z, ζ) = 1 + , z ∈ U.
ζ→z f ′ (z)
Într-adevăr
2zf ′ (z)(z − ζ) − (z + ζ)[f (z) − f (ζ)]
lim g(z, ζ) = lim =
ζ→z ζ→z (z − ζ)[f (z) − f (ζ)]
6
f (re}
it )
γr
f (reiθ )
-
O O
Fig.3.2.
zf ′ (z)
(3.26) Re ≥ 0, |ζ| = |z| = r, ζ 6= z.
f (z) − f (ζ)
154 Elemente de teoria geometrică a funcţiilor
de unde
z+ζ
(3.27) Re = 0, |z| = |ζ| = r, z 6= ζ.
z−ζ
Din (3.24)-(3.27) rezultă Re g(z, ζ) ≥ 0, |z| = |ζ| = r < 1.
Aplicăm principiul extremumului pentru funcţii armonice ([Cha, pag.
290]) pentru |z| < r, apoi pentru |ζ| < r şi obţinem Re g(z, ζ) ≥ 0
pentru z, ζ ∈ Ur . Cerem acum ca r → 1 şi avem
(3.28) Re g(z, ζ) ≥ 0, z, ζ ∈ U,
reiθ f ′′ (reiθ )
ψ ′ (θ) = 1 + Re >0
f ′ (reiθ )
şi această inegalitate arată că unghiul tangentei este o funcţie
crescătoare de θ.
6
}
ψ
z = reiθ
f (z)
Iθ
-
O r O
Γr
γr
Fig.3.3.
zf ′′ (z)
(3.29) p(z) = 1 + ∈ P.
f ′ (z)
3.6.3. Definiţie. Numim clasa funcţiilor convexe mulţimea
funcţiilor din S care sunt convexe şi notăm această clasă cu S c .
Din Teorema 3.6.1 obţinem
zf ′′ (z)
S c = {f ∈ H(U ); f (0) = 0, f ′ (0) = 1, Re + 1 > 0, z ∈ U }.
f ′ (z)
atunci
zf ′′ (z) zf ′ (z) 1
(3.30) Re ′
+ 1 > 0, z ∈ U ⇒ Re > , z ∈ U.
f (z) f (z) 2
D n+1 f (z)
Re > 0, z∈U
Dn f (z)
pe care ı̂l face cu semiaxa reală pozitivă vectorul cu originea ı̂n f (reiθ )
şi care ı̂mparte unghiul dintre raza vectoare şi tangenta la Γr ı̂n
f (reiθ ) ı̂n raportul α este o funcţie crescătoare ı̂n raport cu θ ∈ [0, 2π).
Dacă notăm cu Mα clasa funcţiilor α-convexe, din (3.33) deducem
M0 = S ∗ , M1 = S c . Au loc şi următoarele teoreme
3.7.1. Teoremă ([MMR]). Pentru orice α real Mα ⊆ M0 = S ∗ .
În plus Mα ⊂ Mβ , oricare ar fi β cuprins ı̂ntre α şi 0.
3.7.2. Teoremă ([Moc]). Dacă α ≥ 0 şi f ∈ A, atunci f ∈ Mα
dacă şi numai dacă g ∈ S ∗ , unde
α
zf ′ (z)
g(z) = f (z) .
f (z)
atunci p ≺ q.
3.9.5. Teoremă. Fie F ∈ Fn [h, q], cu q(0) = a şi
F (a, 0, 0; 0) = h(0). Dacă p ∈ H(U ), p(z) = a + pn z n + · · ·,
F (p(z), zp′ (z), z 2 p′′ (z); z) este olomorfă ı̂n U şi
atunci p ≺ q.
Teoremele 3.9.4 şi 3.9.5 sunt demonstrate ı̂n [MiMo], [MiMo2]. Ele
au particularizări importante. Prezentăm o asemenea particularizare
ı̂n cazul ı̂n care q(U ) este semiplanul drept P = {z ∈ C; Re z > 0}.
Funcţia q(z) = (a + az)/(1 − z) cu Re a > 0 are proprietăţile
q(U ) = P şi q(0) = a. Avem E(q) = 1 şi q ∈ Q. Particularizăm
condiţia de admisibilitate (3.38): când |ζ| = 1, ζ 6= 1 avem r = q(ζ) =
iσ, σ ∈ R, s = 2mRe aζ(1 − ζ)−2 . Dar din iσ = (1 + aζ)/(1 − ζ)
obţinem ζ = (iσ − a)/(iσ + a) şi 1 − ζ = 2Re a/(iσ + a), deci
obţinem
f ′ (z)p(z) + f (z)p′ (z) = 2zf ′′ (z) + f ′ (z),
de unde
zp′ (z) zf ′′ (z)
p(z) + =2 +1
zf ′ (z) f ′ (z)
f (z)
şi folosind din nou (3.40) deducem
p(z) + 1 zp′ (z) zf ′′ (z)
(3.41) + = ′ + 1.
2 p(z) + 1 f (z)
r+1 s
Alegem funcţia F (r, s, t; z) = 2 + r+1 . Avem F (1, 0, 0; 0) = 1 şi
1 1
+ τ Re
Re F (iσ, τ, µ + iν; z) = =
2 iσ + 1
1 τ 1 n
= + ≤ − ≤ 0,
2 1 + σ2 2 2
pentru n ∈ N∗ .
Funcţia F este deci admisibilă şi din 3.9.6 obţinem
p(z) + 1 zp′ (z)
Re + > 0 ⇒ Re p(z) > 0, z ∈ U
2 p(z) + 1
şi această implicaţie, conform relaţiilor (3.40) şi (3.41) este tocmai
(3.30).
3.9.8. Subordonări diferenţiale de tip Briot-Bouquet. Fie
β, γ ∈ C, h ∈ Hu (U ), p ∈ H(U ) de forma p(z) = h(0) + p1 z + · · · şi
care satisface
zp′ (z)
(3.42) p(z) + ≺ h(z).
βp(z) + γ
Capitolul 3 165
Fie z1 , z2 ∈ U, z1 6= z2 ; avem
∞
X
f (z2 ) − f (z1 ) = z2 − z1 + (z2n − z1n )an =
n=2
" ∞
#
X
= (z2 − z1 ) 1 + (z2n−1 + z2n−2 z1 + ··· + z1n−1 )an 6= 0
n=2
∞
P
dacă 1 − n|an |r n−1 > 0, pentru |z1 | ≤ r, |z2 | ≤ r.
n=2
Deci condiţia
∞
X
(3.43) n|an | ≤ 1
n=2
iar
∞
P
(n − 1)|an | ∞
X
n=2
∞
P
≤1 ⇔ n|an | ≤ 1,
1− |an | n=2
n=2
Capitolul 3 167
Fie f ∈ T ∗ ; atunci
∞
P
1− nan z n−1
zf ′ (z) n=2
Re = Re ∞
P
> 0, z ∈ U,
f (z) 1− an z n−1
n=2
de unde avem
∞
P
1− nan
zf ′ (z) n=2
lim Re = ∞
P
≥0
z→1
z∈(0,1)
f (z) 1− an
n=2
unde
2β(1 − α)
(3.48) fj (z) = z − zj , j ∈ N2 .
j n [j − 1 + β(j + 1 − 2α)]
Avem
X∞ X∞
|J(f, n, α; z)| = z − j n+1 j
aj z − z + n j
j aj z :
j=2 j=2
∞ ∞
X X
: z − j n+1 j
aj z + (1 − 2α)z − (1 − 2α) n j
j aj z =
j=2 j=2
X
∞ n X∞
= j (j − 1)aj z j 2(1 − α)z − j n (j + 1 − 2α)aj z j .
j=2 j=2
∞
P
Observăm că E(z) = 2(1 − α) − j n (j + 1 − 2α)aj z j > 0,
j=2
z ∈ [0, 1), deoarece E(z) 6= 0 când z ∈ [0, 1) şi E(0) = 2(1 − α) > 0.
Înmulţim fiecare membru din (3.50) cu E(z) şi dacă z → 1−
(z ∈ [0, 1)), atunci deducem
∞
X
j n (j − 1)aj ≤ βE(1)
j=2
unde ϕ(α, β, n) = 21−n β(1 − α)/[1 + β(3 − 2α)]. Rezultatul este exact.
Demonstraţia nu este dificilă şi poate fi găsită ı̂n [Săl].
3.11.4. Teoremă. Tn+1 (α, β) ⊂ Tn (γ0 , β) ∩ Tn (α, δ0 ), unde
(1 + β)(1 − α) β
γ0 = 1 − , δ0 = .
2(1 + 2β − αβ) 2 + 3β − 2αβ
β(1 − α)z 2
f2 (z) = z − ∈ Tn+1 (α, β).
2n (1 + 3β − 2αβ)
[Ale] I.W. Alexander, Functions which map the interior of the unit
circle upon simple regions, Ann. of Math. 17(1915/1916), 12-22.
175
176 Bibliografie
[MMR] S.S. Miller, P.T. Mocanu, M.O. Reade, All α-convex func-
tions are univalent and starlike, Proc. Amer. Math. Soc., 37,
2(1973), 553-554.