Documente Academic
Documente Profesional
Documente Cultură
1 NOŢIUNI INTRODUCTIVE 1
1.1 Spaţiul vectorial Rn . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Produsul vectorial ı̂n R3 . . . . . . . . . . . . . . . . . . . . . 6
1.3 Funcţii vectoriale . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Continuitatea . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.5 Derivabilitatea . . . . . . . . . . . . . . . . . . . . . . . . . . 11
v
vi Cuprins
Rn = {(x1 , . . . , xn ) : x1 , . . . , xn ∈ R}.
” + ” : Rn × Rn → Rn , x + y = (x1 + y 1 , . . . , xn + y n ),
x + 0 = 0 + x = x, ∀x ∈ Rn
x + (−x) = (−x) + x = 0
1
2 Capitolul 1. NOŢIUNI INTRODUCTIVE
4. x + y = y + x (comutativitatea).
” · ” : R × Rn → Rn , a · x = ax = (ax1 , . . . , axn ),
1. a(x + y) = ax + ay
2. (a + b)x = ax + bx
3. (ab)x = a(bx)
4. 1x = x.
Observaţia 1.1.1. Dacă a este un număr real nenul, vom nota uneori a1 x
cu xa .
h, i : Rn × Rn → R, hx, yi = x1 y 1 + . . . + xn y n .
Se verifică imediat că aplicaţia h, i este biliniară, simetrică şi pozitiv definită,
adică
2. hax, yi = ahx, yi
3. hx, yi = hy, xi
kx + yk ≤ kxk + kyk.
Egalitatea are loc dacă şi numai dacă x şi y sunt coliniari şi de acelaşi sens,
adică kxkkyk = 0 sau x = ay cu a > 0.
Corolarul 1.1.1. Pentru orice vectori x, y ∈ Rn avem
kxk − kyk ≤ kx − yk.
Prin definiţie, unghiul a doi vectori nenuli x şi y este numărul ∢(x, y) ∈
[0, π] dat de
hx, yi
cos ∢(x, y) = .
kxkkyk
Doi vectori nenuli x şi y se numesc ortogonali, sau perpendiculari, dacă
∢(x, y) = π2 , adică hx, yi = 0.
Convenim că vectorul nul este paralel, sau paralel şi de acelaşi sens, cu
orice alt vector şi, de asemeni, el este perpendicular pe orice alt vector.
4 Capitolul 1. NOŢIUNI INTRODUCTIVE
În V3 definim ı̂n mod natural unghiul a doi vectori liberi nenuli, iar apoi
definim produsul scalar canonic
(
0, dacă u = 0 sau v = 0
hu, vi =
kukkvk cos ∢(u, v), dacă u 6= 0 şi v 6= 0,
unde kuk este lungimea vectorului u, iar prin ∢(u, v) ı̂nţelegem de fapt
măsura unghiului dintre vectorii liberi u şi v. Evident, u⊥v, adică kukkvk =
0 sau ∢(u, v) = π2 , dacă şi numai dacă hu, vi = 0, iar norma unui vector, ca
radical din produsul scalar dintre el şi el ı̂nsuşi, coincide cu lungimea sa.
Dacă {i, j, k} este o bază ortonormată ı̂n V3 , atunci ea este ortonormată
şi ı̂n raport cu produsul scalar canonic. Fie Oxyz un reper cartezian fixat
1.1. Spaţiul vectorial Rn 5
hu1 , u2 i = x1 x2 + y1 y2 + z1 z2 .
Deoarece ı̂ntr-un triunghi suma lungimilor a două laturi este mai mare
decât lungimea celei de a treia laturi obţinem că, pentru orice vectori liberi
necoliniari u, v ∈ V3 avem
Pe de altă parte
Ox, Oy şi Oz sunt perpendiculare ı̂ntre ele, sunt orientate şi avem fixată
unitatea de măsură). Avem identificările obişnuite ale lui E3 cu R3 şi V3
E3 ∋ M → (xM , yM , zM ) = xM e1 + yM e2 + zM e3 ∈ R3
−−→
→ xM i + yM j + zM k = OM ∈ V3 .
Proprietăţi
5. x × y = −y × x.
Observaţia 1.2.1. În V3 putem defini produsul vectorial a doi vectori exact
ca mai sus, folosind (i, j, k) o bază ortonormată orientată pozitiv (orientarea
pozitivă dată de regula burghiului). Sau, putem defini astfel: u × v = 0
dacă u şi v sunt coliniari, iar dacă u şi v nu sunt coliniari, atunci u × v
este vectorul cu direcţia perpendiculară pe direcţia lui u şi a lui v, lungimea
egală cu kukkvk sin ∢(u, v) şi sensul astfel ı̂ncât (u, v, u × v) este orientată
pozitiv.
Se demonstrează că
x1 y 1 z 1
(x, y, z) = x2 y2 z2
3
x y3 z3
şi au loc
Proprietăţi
Definiţia 1.3.1. Se numeşte bilă deschisă ı̂n Rn de centru x0 şi rază r > 0
mulţimea
B n (x0 ; r) = {x ∈ Rn : kx − x0 k < r}.
8 Capitolul 1. NOŢIUNI INTRODUCTIVE
Exemplul 1.3.1. Rn este deschisă ı̂n Rn , iar bila B n (x0 ; r) este tot o sub-
mulţime deschisă a lui Rn .
x2 x2
d d
.
c c
1 1
x x
a b a b
Figura 1 Figura 2
Definiţia 1.3.4. Se numeşte bilă ı̂nchisă ı̂n Rn de centru x0 şi rază r > 0
mulţimea
n
B (x0 ; r) = {x ∈ Rn : kx − x0 k ≤ r}.
1.3. Funcţii vectoriale 9
n
Evident, B (x0 ; r) = B n (x0 ; r) ∪ S n−1 (x0 ; r).
Orice bilă ı̂nchisă este o submulţime ı̂nchisă ı̂n Rn . Spaţiul Rn este
mulţime ı̂nchisă ı̂n Rn , iar mulţimea U = {(x1 , x2 ) ∈ R2 : a ≤ x1 < b şi
c < x2 < d} nu este nici ı̂nchisă nici deschisă ı̂n Rn .
Considerăm I un interval deschis din R şi f : I → Rn o funcţie vectorială.
Funcţia f se scrie ı̂n mod unic
f = (f 1 , . . . , f n ) = f 1 e1 + . . . + f n en ,
pentru orice i = 1, n. Deci kf (t)−lk ≥ |f i (t)−li | şi prin urmare kf (t)−lk < ε
implică |f i (t) − li | < ε.
”⇐” Presupunem că t0 ∈ R.
Fie ε > 0. Atunci, pentru orice i = 1, n, există δi > 0 astfel ı̂ncât
ε
|f i (t) − li | < √ , ∀t ∈ ((t0 − δ, t0 + δ)\{t0 }) ∩ I.
n
ε2 ε2
kf (t) − lk2 = (f 1 (t) − l1 )2 + . . . + (f n (t) − ln )2 < + ... + = ε2 ,
n n
adică kf (t) − lk < ε.
Dacă t0 = ±∞, demonstraţia se face ı̂n mod analog.
unde funcţia hf , gi : I → R este dată de (hf , gi)(t) = hf (t), g(t)i, iar ı̂n R3 ,
f × g : I → R3 este definită prin (f × g)(t) = f (t) × g(t).
1.4. Continuitatea
1.5. Derivabilitatea
12 Capitolul 1. NOŢIUNI INTRODUCTIVE
f (t) − f (t0 )
f (t) = f (t0 ) + (t − t0 )
t − t0
şi, trecând la limită cu t → t0 , obţinem
′
lim f (t) = f (t0 ) + 0f (t0 ) = f (t0 ),
t→t0
′
4. (hf , gi)′ (t0 ) = hf (t0 ), g(t0 )i + hf (t0 ), g ′ (t0 )i
1.5. Derivabilitatea 13
′
5. ı̂n R3 : (f × g)′ (t0 ) = f (t0 ) × g(t0 ) + f (t0 ) × g ′ (t0 ).
Vectorul ρ′ (t) se mai numeşte şi vectorul viteză la ρ ı̂n t, iar kρ′ (t)k se
mai numeşte viteza la ρ ı̂n t.
O curbă parametrizată regulată poate avea puncte multiple, adică t1 6= t2
dar ρ(t1 ) = ρ(t2 ). Totuşi, avem:
15
16 Capitolul 2. GEOMETRIA DIFERENŢIALĂ A CURBELOR
Demonstraţie. Din ipoteza x′ (t0 ) 6= 0 rezultă că există ε1 > 0 astfel ı̂ncât
x′ (t) 6= 0, ∀t ∈ (t0 − ε1 , t0 + ε1 ). Prin urmare există ε2 > 0 astfel ı̂ncât
x(t0 − ε1 , t0 + ε1 ) = (x(t0 ) − ε2 , x(t0 ) + ε2 ) şi
x
0
Figura ...
Asupra formei locale a curbelor ı̂n plan sau ı̂n spaţiu vom reveni mai
târziu după ce vom studia reperul lui Frenet.
Fie acum µ : J → I un difeomorfism de clasă C m , m ≥ 1, unde I şi J
sunt intervale deschise din R. Atunci, prin definiţie, µ este bijecţie iar µ şi
µ−1 sunt de clasă C m ; µ = µ(s) şi µ′ (s) 6= 0, ∀s ∈ J. Cum µ′ este continuă,
avem fie µ′ > 0 pe J, fie µ′ < 0 pe J. Prin urmare µ este fie strict crescătoare,
fie strict descrescătoare.
Avem următorul rezultat cunoscut
Propoziţia 2.1.2. Fie λ : I → R o aplicaţie de clasă C m cu λ′ (t) 6= 0,
∀t ∈ I, unde I este un interval deschis din R. Atunci λ(I) este un interval
deschis din R, iar λ : I → λ(I) este un difeomorfism de clasă C m .
Propoziţia 2.1.3. Orice interval din R, nu neapărat deschis, este difeomorf
cu unul din următoarele trei intervale [0, 1], (0, 1) sau [0, 1).
t−a
Demonstraţie. Funcţia liniară s = b−a este un difeomorfism de la [a, b] la
t−a
[0, 1], de la (a, b) la (0, 1) şi de la [a, b) la [0, 1). Funcţia liniară s = 1 − b−a
este un difeomorfism de la (a, b] la [0, 1). Rămâne să considerăm intervalele
t+ π
infinite. Funcţia t = arctg θ aplică difeomorf R ı̂n (− π2 , π2 ), iar s = π 2
arctg θ+ π
aplică (− π2 , π2 ) ı̂n (0, 1). Deci funcţia compusă s = π
2
aplică difeomorf
R ı̂n (0, 1). Funcţia t = arctg θ aplică intervalul [a, ∞), a ∈ R, ı̂n [arctg a, π2 ),
iar s = πt−arctg a π
−arctg a aplică [arctg a, 2 ) ı̂n [0, 1). Prin urmare, funcţia compusă
2
arctg θ−arctg a
s= π aplică difeomorf [a, ∞) ı̂n [0, 1].
−arctg a
2
Cazul (−∞, a] este evident.
18 Capitolul 2. GEOMETRIA DIFERENŢIALĂ A CURBELOR
iar egalitatea are loc dacă şi numai dacă ρ reprezintă segmentul de
[t1 ,t2 ]
dreaptă ce uneşte ρ(t1 ) cu ρ(t2 ).
Demonstraţie. Vom demonstra mai ı̂ntâi ultima parte a propoziţiei şi anume
vom arăta că dacă ρ reprezintă segmentul de dreaptă ce uneşte ρ(t1 )
[t1 ,t2 ]
cu ρ(t2 ), atunci Z t2
kρ′ (t)kdt = kρ(t2 ) − ρ(t2 )k,
t1
R
adică tt12 kρ′ (t)kdt este egală cu lungimea segmentului de dreaptă ce uneşte
ρ(t1 ) cu ρ(t2 ).
Dacă restricţia ρ reprezintă segmentul de dreaptă ce uneşte ρ(t1 )
[t1 ,t2 ]
cu ρ(t2 ), atunci există un difeomorfism µ, µ′ > 0, astfel ı̂ncât
ρ(t2 ) − ρ(t1 )
(2.1.1) (ρ ◦ µ)(s) = ρ(t1 ) + s , s ∈ [0, kρ(t2 ) − ρ(t1 )k].
kρ(t2 ) − ρ(t1 )k
Dar
Z t2 Z t2 t2
′ d
hρ (t), vi dt = {hρ(t), vi} dt = hρ(t), vi
t1 t1 dt t1
(2.1.3) = hρ(t2 ) − ρ(t1 ), vi.
ρ(t2 )−ρ(t1 )
Alegem v = kρ(t2 )−ρ(t1 )k , iar din (2.1.2) şi (2.1.3) obţinem
Z t2
kρ′ (t)k dt ≥ kρ(t2 ) − ρ(t1 )k.
t1
R t2
Presupunem acum că t1 kρ′ (t)k dt = kρ(t2 ) − ρ(t1 )k. Prin urmare toate
ρ(t2 )−ρ(t1 )
inegalităţile de la (2.1.2) devin egalităţi (pentru v = kρ(t2 )−ρ(t1 )k
), iar acest
′
lucru este echivalent cu ρ (t) = f (t)v, unde f este o funcţie netedă strict
pozitivă. Din ρ′ (t) = f (t)v, ∀t, prin integrare se obţine
ÇZ å
t
ρ(t) = ρ(t1 ) + f (τ ) dτ v.
t1
R
Notăm λ(t) = tt1 f (τ ) dτ şi avem λ(t1 ) = 0, λ(t2 ) = kρ(t2 ) − ρ(t1 )k. Cum
λ′ (t) = f (t) > 0, rezultă că
este o funcţie strict crescătoare. Mai mult, λ este un difeomorfism şi consi-
derăm schimbarea de parametru s = λ(t). Obţinem
ρ(t2 ) − ρ(t1 )
(ρ ◦ λ−1 )(s) = ρ(t1 ) + s , ∀s ∈ [0, kρ(t2 ) − ρ(t1 )k]
kρ(t2 ) − ρ(t1 )k
r (t1)
r (a)
r (tn-1)
r (b)
Figura 3
Rb
Propoziţia 2.1.5. Avem inegalitatea a kρ′ (t)k dt ≥ l∆ .
R
Din Propoziţia de mai sus rezultă că ab kρ′ (t)k dt este un majorant pen-
tru mulţimea {l∆ : ∆ partiţie a lui [a, b]}.
2.1. Curbe regulate ı̂n R3 23
r (t1)
( )
r t0+t1
2
r (b)
r (a)
r (tn-1)
(
r tn-2+tn-1
2 ) r(tn-2)
Figura 4
Deoarece x′ , y ′ şi z ′ sunt uniform continue pe [a, b], pentru ε fixat anterior
există δ′′ > 0 astfel ı̂ncât oricare ar fi t, s ∈ [a, b] cu |t − s| < δ′ avem
|x′ (t) − x′ (s)| < √ ε ,
2 3(b−a)
(2.1.5) |y ′ (t) − y ′ (s)| < √ ε
2 3(b−a)
|z ′ (t) − z ′ (s)| < √ ε .
2 3(b−a)
Fie δ = min{δ′ , δ′′ }. Atunci, din (2.1.4) şi (2.1.6), pentru orice ∆ cu k∆k < δ
avem
Z Z
b b X
′ ′ ′
kρ (t)kdt − l∆ ≤ kρ (t)kdt − (ti − ti−1 )kρ (ti )k
a a
i
X
+ (ti − ti−1 )kρ′ (ti )k − l∆
i
ε ε
< + = ε.
2 2
R
Din faptul că ab kρ′ (t)k dt este un majorant pentru {l∆ : ∆ partiţie a lui
[a, b]} şi din Teorema precedentă rezultă că
Z b
kρ′ (t)k dt = sup{l∆ : ∆ partiţie a lui [a, b]}.
a
Observaţia 2.1.1. Local, pentru b − a suficient de mic, liniile poligonale
aproximează arcul de curbă cuprins ı̂ntre ρ(a) şi ρ(b), şi cu cât norma
partiţiei este mai mică, aproximarea va fi mai bună; ı̂n acelaşi timp lun-
gimea liniilor poligonale va creşte. Este deci natural să definim lungimea
arcului de curbă ca sup{l∆ : ∆ partiţie a lui [a, b]}.
Fie ρ o curbă parametrizată regulată şi a, b ∈ I, a < b fixaţi. Fie ρ ◦ µ
o curbă echivalentă cu ρ. Notăm c = µ−1 (a) şi d = µ−1 (b). Presupunem
µ′ > 0 şi deci c < d. Clar că oricărei partiţii ∆ a lui [a, b] ı̂i corespunde
‹ a lui [c, d] şi reciproc, iar l(∆, ρ) = l(∆,
o partiţie ∆ ‹ ρ ◦ µ) deoarece linia
poligonală e aceeaşi. Prin urmare
sup{l(∆, ρ) : ∆ partiţie a lui [a, b]}
‹ ρ ◦ µ) : ∆
= sup{l(∆, ‹ partiţie a lui [c, d]}.
Observaţia 2.1.4. Date două puncte ı̂n spaţiu, curba cu lungimea cea mai
mică ce uneşte cele două puncte este segmentul de dreaptă.
Avem λ′ (t) = kρ′ (t)k > 0, ∀t ∈ I. Prin urmare λ este strict crescătoare,
λ(I) = J este interval deschis ı̂n R, iar λ : I → J este difeomorfism. Notăm
µ = λ−1 . Curba parametrizată regulată ρ ◦ µ este echivalentă cu ρ şi avem
.
r(t0) r’(t0)
28 Capitolul 2. GEOMETRIA DIFERENŢIALĂ A CURBELOR
. r’(t1)
.
r(t1) =r(t2) r’(t1) r’(t2)
r’(t2)
Figura 5 Figura 6
dist(ρ(t), δu )
(2.3.7) lim = 0,
t→t0 t − t0
r(t0)
. u du
r(t)
Înainte de a demonstra acest rezultat, vom arăta că relaţia (2.3.7) are
caracter geometric. Într-adevăr, fie ρ ◦ µ o curbă echivalentă cu ρ, λ = µ−1 ,
λ(t0 ) = s0 . Avem
dist(ρ(t), δu ) dist(ρ(µ(s)), δu )
0 = lim = lim .
t→t0 t − t0 s→s0 µ(s) − µ(s0 )
Din Teorema lui Lagrange rezultă µ(s) − µ(s0 ) = (s − s0 )µ′ (ξs ), unde ξs ∈
(s0 , s) sau ξs ∈ (s, s0 ). Înlocuind obţinem
dist((ρ ◦ µ)(s), δu )
0 = lim .
s→s0 (s − s0 )µ′ (ξs )
dist(ρ(t), δu ) dist(ρ(t), δu )
lim =0 ⇔ lim =0
t→t0 t − t0 t→t0 |t − t0 |
1
ρ(t) − ρ(t0 )
⇔ lim
× u
= 0
t→t0 kuk
t − t0
1
⇔ kρ′ (t0 ) × uk = 0
kuk
⇔ ρ′ (t0 )
u.
1
fs′ (t0 ) = −fd′ (t0 ) = − kρ′ (t0 ) × uk.
kuk
Dacă ukρ′ (t0 ), atunci fu este derivabilă ı̂n t0 şi, desigur, fu′ (t0 ) = 0.
Propoziţia anterioară, precum şi cea care urmează, are caracter geome-
tric, rezultatul rămânând acelaşi dacă se schimbă parametrizarea.
care este un vector paralel cu ρ′ (t∞ ). Dacă tn < t∞ , atunci limita de mai
′
sus ne va da − kρρ′ (t∞)
(t∞ )k
care este din nou un vector paralel cu ρ′ (t∞ ).
Observaţia 2.3.5. În Propoziţia de mai sus am putea alege ca vector care
dă direcţia dreptei determinate de ρ(t∞ ) şi ρ(tn ) pe ρ(tntn)−ρ(t
−t∞
∞)
, ∀n ∈ N∗ .
ρ(tn )−ρ(t∞ )
Evident, limtn →t∞ tn −t∞ = ρ′ (t∞ ).
Avem f (t0 ) = 0 şi f ′ (t0 ) = 0. Din formula lui Taylor, sau direct, rezultă că
există α : I → R continuă, α(t0 ) = 0, astfel ı̂ncât
f (t) = (t − t0 )α(t), ∀t ∈ I.
Observaţia 2.3.7. Dacă curba este plană, din forma locală a curbelor plane,
ce va fi studiată mai târziu ı̂n acest capitol, şi din formula distanţei de la un
punct arbitrar la o dreaptă dată, rezultă că f este netedă pe (t0 − ε, t0 + ε).
32 Capitolul 2. GEOMETRIA DIFERENŢIALĂ A CURBELOR
Cum µ′ (s0 ) 6= 0 rezultă că (ρ ◦ µ)′ (s0 ) × (ρ ◦ µ)′′ (s0 ) 6= 0 dacă şi numai dacă
ρ′ (t0 ) × ρ′′ (t0 ) 6= 0.
Propoziţia 2.4.1. Fie ρ : I → R3 o curbă parametrizată prin lungimea de
arc. Atunci ρ(t0 ) este punct neinflexionar dacă şi numai dacă ρ′′ (t0 ) 6= 0.
Demonstraţie. Din kρ′ (t)k = 1, ∀t ∈ I, prin derivare rezultă că ρ′ (t)⊥ρ′′ (t),
∀t ∈ I. Prin urmare
kρ′ (t0 ) × ρ′′ (t0 )k = kρ′′ (t0 )k,
de unde, prin derivări succesive obţinem hn, ρ′ (t)i = 0, ∀t, şi hn, ρ′′ (t)i = 0,
∀t. Prin urmare nkρ′ (t) × ρ′′ (t), ∀t, deci n este un vector normal şi pentru
planul osculator la C ı̂n ρ(t), ∀t. Cum planul osculator la C ı̂n ρ(t) conţine
ρ(t), ca şi π0 , rezultă că el coincide cu π0 , ∀t.
Reciproca este evidentă deoarece planele oculatoare conţin punctul.
r(t0). u
. r(t)
r’(t0)
Demonstraţie. Se verifică uşor că relaţia (2.4.8) are caracter geometric. Apoi,
din volumul paralelipipedului construit pe vectorii u, ρ′ (t0 ) şi ρ(t) − ρ(t0 )
aplicaţi ı̂n ρ(t0 ) obţinem
|(ρ(t) − ρ(t0 ), ρ′ (t0 ), u)|
(2.4.9) dist(ρ(t), πu ) = .
kρ′ (t0 ) × uk
2.4. Planul osculator la o curbă ı̂ntr-un punct neinflexionar 35
Scriem formula lui Taylor pentru funcţia vectorială ρ(t) şi obţinem
t − t0 ′ (t − t0 )2 ′′
ρ(t) = ρ(t0 ) + ρ (t0 ) + ρ (t0 ) + (t − t0 )2 α(t),
1! 2!
unde α este continuă şi α(t0 ) = 0. Înlocuim ρ(t) ı̂n (2.4.9) şi, folosind
proprietăţile produsului mixt, obţinem
şi deci
dist(ρ(t), πu ) 1 |(ρ′′ (t0 ), ρ′ (t0 ), u)|
lim = .
t→t0 (t − t0 )2 2 kρ′ (t0 ) × uk
Produsul mixt (ρ′′ (t0 ), ρ′ (t0 ), u) se anulează dacă şi numai dacă unul din
vectori este o combinaţie liniară de ceilalţi doi vectori. Dacă, de exemplu,
ρ′′ (t0 ) este o combinaţie liniară de ρ′ (t0 ) şi u atunci, cum vectorii ρ′′ (t0 ) şi
ρ′ (t0 ) sunt liniari independenţi, coeficientul lui u nu poate fi nul şi deci putem
exprima vectorul u ca o combinaţie liniară a vectorilor ρ′′ (t0 ) şi ρ′ (t0 ). Prin
urmare lim dist(ρ(t),πu ) = 0 dacă şi numai dacă u ∈ span{ρ′ (t ), ρ′′ (t )},
t→t0 (t−t0 )2 0 0
adică πu este planul osculator la C ı̂n ρ(t0 ).
Notăm f (t) = dist(ρ(t), π), unde π este planul osculator. În demonstra-
ţia de mai sus am văzut că putem scrie f sub forma
unde β este o funcţie continuă cu β(t0 ) = 0. Putem deci spune că punctele
din planul osculator aproximează până la ordinul al doilea punctele de pe
curbă dintr-o vecinătate a punctului de tangenţă. La acelaşi rezultat putem
ajunge şi altfel.
Din forma locală a curbelor ı̂n spaţiu, ce va fi studiată mai târziu ı̂n
acest capitol, şi din formula distanţei de la un punct arbitrar la un plan dat,
rezultă că f este netedă pe (t0 − ε, t0 + ε)\{t0 }. Într-adevăr, presupunem
că ecuaţia planului osculator la ρ ı̂n t0 este Ax + By + Cz + D = 0. Atunci,
36 Capitolul 2. GEOMETRIA DIFERENŢIALĂ A CURBELOR
tn − t∞ ′ (tn − t∞ )2 ′′
ρ(tn ) − ρ(t∞ ) = ρ (t∞ ) + ρ (t∞ ) + (tn − t∞ )2 α(tn ),
1! 2!
unde α : I → R este continuă şi α(t∞ ) = 0. Evident
ß Å ã™
1 ′′
span{ρ′ (t∞ ), ρ(tn ) − ρ(t∞ )} = span ρ′ (t∞ ), (tn − t∞ )2 ρ (t∞ ) + α(tn )
2
= span{ρ′ (t∞ ), ρ′′ (t∞ ) + 2α(tn )}.
e
Evident rezultă k(s) = k(ρ ◦ µ)′′ (s)k = kρ′′ (µ(s))k = k(µ(s)).
Propoziţia 2.5.1. Curbura unei curbe regulate este nulă dacă şi numai
dacă curba reprezintă un segment de dreaptă.
(kρ′ (t0 )k = kρ′ (t)k). Notăm θt = ∢(ρ′ (t), ρ′ (t0 )), pentru t ≥ t0 , iar pentru
t < t0 definim θt = −∢(ρ′ (t), ρ′ (t0 )). Din teorema cosinusului obţinem:
kρ′ (t) − ρ′ (t0 )k2 = kρ′ (t)k2 + kρ′ (t0 )k2 − 2kρ′ (t)kkρ′ (t0 )k cos θt
θt
= 2 − 2 cos θt = 4 sin2 .
2
Evident θt0 = 0, |θt | ∈ [0, π], |θt | are caracter geometric, şi avem:
ρ′ (t) − ρ′ (t )
′′
0
k(t0 ) = kρ (t0 )k = lim
t→t0
t − t0
®
´ θt
1 θt sin θ
= lim 2 sin = lim 2 t
t→∞ |t − t0 | 2 t→∞ θt t − t0
2
θt θ t ′
= lim = lim
t→t0 t − t = θ (t0 ).
t→θ t − t
0 0 0
Prin urmare, curbura k(t0 ) unei curbe parametrizate prin lungimea de arc
ρ : I → R3 reprezintă viteza de rotaţie a vectorului ρ′ (t) = T (t) ı̂n t0 .
Notăm de asemenea că |t − t0 | = l ˚ şi atunci k(t0 ) = lim l |θt | .
ρ(t0 )ρ(t) t→t0 ˙
ρ(t0 )ρ(t)
Prin urmare putem da o nouă definiţie pentru curbură
Vrem să exprimăm (ρ ◦ µ)′′ (s0 ) numai ı̂n funcţie de ρ şi derivatele sale
ı̂n t0 . Avem (ρ ◦ µ)′ = ρ′ µ′ şi (ρ ◦ µ)′′ = ρ′′ (µ′ )2 + ρ′ µ′′ . Dorim să ı̂nlocuim
µ′ şi µ′′ ı̂n ultima expresie. Deoarece
1 1 1
µ′ (s) = = =»
λ′ (µ(s)) kρ′ (µ(s))k hρ′ (µ(s)), ρ′ (µ(s))i
obţinem
»
d
− ds hρ′ (µ(s)), ρ′ (µ(s))i − 12 ds
d
hρ′ (µ(s)), ρ′ (µ(s))i
µ′′ (s) = =
kρ′ (µ(s))k2 kρ′ (µ(s))k3
1 2hρ′′ (µ(s))µ′ (s), ρ′ (µ(s))i µ′ (s)hρ′′ (µ(s)), ρ′ (µ(s))i
= − = −
2 kρ′ (µ(s))k3 kρ′ (µ(s))k3
′′ ′
hρ (µ(s)), ρ (µ(s))i ′′
hρ , ρ i′
= − ′ =− (µ(s)).
kρ (µ(s))k 4 kρ′ k4
Deci
1 hρ′′ , ρ′ i
(ρ ◦ µ)′′ (s) = ρ′′ (µ(s)) − ρ ′
(µ(s)) (µ(s))
kρ′ (µ(s))k2 kρ′ k4
1
= {kρ′ k2 ρ′′ − hρ′′ , ρ′ iρ′ }
kρ′ k4
1
= {hρ′ , ρ′ iρ′′ − hρ′ , ρ′′ iρ′ }
kρ′ k4
1 ′
= ρ × (ρ′′ × ρ′ ).
kρ′ k4
Prin urmare
1
k(ρ ◦ µ)′′ (s0 )k = kρ′ (t0 )kkρ′′ (t0 ) × ρ′ (t0 )k
kρ′ (t 0 )k
4
Din (2.5.12), (2.5.13) şi (2.5.14) rezultă că definiţia (2.5.11) are caracter geo-
metric. Desigur, caracterul geometric al relaţiei (2.5.11) poate fi demonstrat
şi direct ţinând cont de legătura dintre derivatele lui ρ ı̂n t0 şi derivatele lui
ρ ◦ µ ı̂n s0 .
Observaţia 2.5.1. Notăm că nici o noţiune introdusă până acum ı̂n acest
capitol nu depinde de orientarea aleasă pe R3 .
numit reperul lui Frenet asociat lui ρ ı̂n t0 . Ca de obicei, baza canonică
(e1 , e2 , e3 ) este considerată ca fiind orientată pozitiv ı̂n R3 .
2.6. Reperul lui Frenet 41
′
Primul vector T (t0 ) = kρρ′ (t 0)
(t0 )k
se numeşte vectorul unitar al tangentei la
ρ ı̂n t0 . Acest vector nu are caracter geometric:
Dacă ρ ◦ µ este echivalentă cu ρ, adică µ este un difeomorfism, µ−1 (t0 ) = s0 ,
atunci (ρ ◦ µ)′ (s0 ) = ρ′ (t0 )µ′ (s0 ) şi
(ρ ◦ µ)′ (s0 ) µ′ (s0 ) ρ′ (t0 )
= ,
k(ρ ◦ µ)′ (s0 )k |µ′ (s0 )| kρ′ (t0 k
adică T‹(s0 ) = ±T (t0 ) după cum µ′ (s0 ) > 0 sau µ′ (s0 ) < 0.
Al doilea vector N (t0 ) este situat ı̂n planul osculator, este perpendicular
pe ρ′ (t0 ), are lungimea 1, iar sensul este astfel ı̂ncât bazele (ρ′ (t0 ), ρ′′ (t0 )) şi
(T (t0 ), N (t0 )) sunt la fel orientate. Aceste condiţii determină ı̂n mod unic
vectorul N (t0 ) care se numeşte vectorul unitar al normalei principale la ρ ı̂n
t0 şi are caracter geometric:
Cum planul osculator şi direcţia lui ρ′ (t0 ) au caracter geometric, singurul
lucru rămas de demonstrat este sensul lui N (t0 ). Fie ρ◦µ o curbă echivalentă
cu ρ, µ(s0 ) = t0 . Avem
(ρ ◦ µ)′ (s0 ) = ρ′ (t0 )µ′ (s0 ) şi (ρ ◦ µ)′′ (s0 ) = ρ′′ (t0 )(µ′ (s0 ))2 + ρ′ (t0 )µ′′ (s0 )
şi prin urmare matricea de trecere de la (ρ′ (t0 ), ρ′′ (t0 )) la ((ρ ◦ µ)′ (s0 ), (ρ ◦
µ)′′ (s0 )) este Ç å
µ′ (s0 ) µ′′ (s0 )
0 (µ′ (s0 ))2
iar determinantul ei este (µ′ (s0 ))3 . Notăm cu T‹(s0 ) şi N
‹(s0 ) vectorii cores-
′
punzători lui ρ ◦ µ. Dacă µ (s0 ) > 0 avem
′ ′′
(ρ (t0 ), ρ (t0 )) o (T (t0 ), N (t0 ))
(ρ′ (t ), ρ′′ (t )) o ((ρ ◦ µ)′ (s ), (ρ ◦ µ)′′ (s ))
0 0 0 0
0 0
‹
((ρ ◦ µ)′ (s ), (ρ ◦ µ)′′ (s )) o (T (s 0 ), ‹
N (s 0 ))
′
Dacă µ (s0 ) < 0 avem
′ ′′
(ρ (t0 ), ρ (t0 )) o (T (t0 ), N (t0 ))
(ρ′ (t ), ρ′′ (t )) o ((ρ ◦ µ)′ (s ), (ρ ◦ µ)′′ (s ))
0 0 0 0
0 0
‹
((ρ ◦ µ)′ (s ), (ρ ◦ µ)′′ (s )) o (T ‹
(s0 ), N (s0 ))
42 Capitolul 2. GEOMETRIA DIFERENŢIALĂ A CURBELOR
În sfârşit, deoarece (T (t0 ), N (t0 ), B(t0 )) este o bază ortonormată pozitiv
orientată, rezultă că
N (t0 ) = B(t0 ) × T (t0 ).
Vectorul B(t0 ) se numeşte vectorul unitar al binomului la ρ ı̂n t0 .
Cei trei vectori ai reperului Frenet determină 3 drepte şi 3 plane, toate
având caracter geometric:
- dreapta ce trece prin ρ(t0 ) şi are direcţia dată de T (t0 ) este tangenta
la ρ ı̂n t0 (tangenta la C ı̂n ρ(t0 )).
- dreapta ce trece prin ρ(t0 ) şi are direcţia dată de N (t0 ) se numeşte
normala principală la ρ ı̂n t0 (la C ı̂n ρ(t0 )).
- dreapta ce trece prin ρ(t0 ) şi are direcţia dată de B(t0 ) se numeşte
binormala la C ı̂n ρ(t0 ).
- planul ce trece prin ρ(t0 ) şi are direcţia dată de {T (t0 ), N (t0 )} este
planul osculator la C ı̂n ρ(t0 ).
2.6. Reperul lui Frenet 43
- planul ce trece prin ρ(t0 ) şi are direcţia dată de {N (t0 ), B(t0 )} se
numeşte planul normal la C ı̂n ρ(t).
- planul ce trece prin ρ(t0 ) şi are direcţia dată de {B(t0 ), T (t0 )} se
numeşte planul rectificator la C ı̂n ρ(t0 ).
Noţiunea de reper Frenet nu poate fi asociată curbelor biregulate ci cur-
belor parametrizate biregulate (vectorii T şi B depind de parametrizare),
sau curbelor orientate biregulate. Dar cele 3 drepte şi cele 3 plane definite
mai sus sunt noţiuni asociate curbelor biregulate.
Observaţia 2.6.1. Notăm că, pentru o curbă cu orientarea fixată, singura
noţiune care depinde de orientarea aleasă pe R3 este vectorul B care ı̂şi
schimbă sensul dacă se schimbă orientarea.
În ı̂ncheiere observăm că funcţiile vectoriale T, N, B : I → R3 sunt ne-
tede.
R
Demonstraţie. Fie schimbarea de parametru λ(t) = tt0 kρ′ (τ )k dτ şi µ =
λ−1 . Considerăm ρ◦µ curba echivalentă cu ρ şi parametrizată prin lungimea
de arc. Evident, s0 = λ(t0 ) = 0. Cum λ′ (t) > 0, avem
T (t0 ) = T‹(0) = (ρ ◦ µ)′ (0)
N (t0 ) = N‹(0) = 1 (ρ ◦ µ)′′ (0)
e
k(0)
k(t ) = k(0).
e
0
Ştim că
(ρ ◦ µ)′ (s) = ρ′ (µ(s))µ′ (s) şi (ρ ◦ µ)′′ (s) = ρ′′ (µ(s))(µ′ (s))2 + ρ′ (µ(s))µ′′ (s).
Pentru s = 0 obţinem
hρ′′ (t0 ), ρ′ (t0 )i ′
k(t0 )N (t0 ) = (ρ ◦ µ)′′ (0) = (µ′ (0))2 ρ′′ (t0 ) − ρ (t0 )
kρ′ (t0 )k4
1 ′′ hρ′ (t0 ), ρ′′ (t0 )i ′
= ρ (t 0 ) − ρ (t0 ).
kρ′ (t0 )k2 kρ′ (t0 )k4
Deci
hρ′ (t0 ), ρ′′ (t0 )i ′
k(t0 )kρ′ (t0 )k3 N (t0 ) = − ρ (t0 ) + kρ′ (t0 )kρ′′ (t0 )
kρ′ (t0 )k
d ¶ ′ ©
= − kρ (t)k ρ′ (t0 ) + kρ′ (t0 )kρ′′ (t0 ).
dt t=0
Demonstraţie. Deoarece ρ este parametrizată prin lungimea de arc şi ρ′′ (t) 6=
0, ∀t, este clar că T (t) = ρ′ (t) şi T ′ (t) = ρ′′ (t) = k(t)N (t), ∀t ∈ I (deci am
obţinut prima formulă a lui Frenet).
Ştim că {T (t), N (t), B(t)} este o bază, ∀t ∈ I. Vom exprima derivata
N ′ (t) ı̂n funcţie de T (t), N (t) şi B(t), şi nu ı̂n funcţie de e1 , e2 şi e3 , baza
canonică.
hB ′ , T i + hB, T ′ i = 0 ⇔ a + 0 = 0 ⇔ a = 0,
hB ′ , N i + hB, N ′ i = 0 ⇔ b + τ = 0 ⇔ b = −τ,
hB ′ , Bi = 0 ⇔ c = 0,
Din ultima formulă a lui Frenet deducem că funcţia torsiune este netedă.
Avem
f ′ (t) = hρ′ (t), B(t0 )i = hT (t), B(t)i = 0, ∀t ∈ I.
Prin urmare f (t) = f (t0 ), ∀t ∈ I, şi deci hρ(t) − ρ(t0 ), B(t0 )i = 0, ∀t ∈ I,
adică ρ(I) este inclusă ı̂n planul π : hr − ρ(t0 ), B(t0 )i = 0.
Observaţia 2.6.4. Baza (T (t), N (t)) nu este neapărat orientată pozitiv ı̂n
R2 (reamintim că baza (T (t), N (t), B(t)) este orientată pozitiv ı̂n R3 ). Pen-
tru a obţine (T (t), N (t)) bază ortonormată orientată pozitiv putem proceda
astfel: considerăm ρ : I → R2 o curbă parametrizată prin lungimea de
arc, care poate conţine de data aceasta şi puncte inflexionare, şi definim
T (t) = ρ′ (t), iar N (t) ı̂l definim astfel ı̂ncât (T (t), N (t)) să fie bază ortonor-
mată orientată pozitiv. Dacă ρ(t) = (x(t), y(t)) şi ρ′ (t) = (x′ (t), y ′ (t)) are
lungimea 1, atunci N (t) = (−y ′ (t), x′ (t)) şi deci N este o funcţie vectorială
netedă. Vectorii T (t) şi N (t) nu au caracter geometric. Curbura se defineşte
prin T ′ (t) = k(t)N (t), ∀t; |k(t)| = kT ′ (t)k = kρ′′ (t)k, dar acum k(t) poate fi
şi negativă. Noua curbură este o funcţie netedă, dar nu are caracter geome-
tric, ea schimbându-şi semnul când se schimbă sensul de parcurs al curbei.
Ea se mai numeşte şi curbura cu semn. Formulele lui Frenet rămân aceleaşi.
∢(B(t0 ), B(t))
|τ (t0 )| = lim .
t→t0 l˚
ρ(t0 )ρ(t)
Observaţia 2.6.5. Am văzut că o curbă biregulată este plană dacă şi numai
dacă torsiunea ei este nulă. Prin urmare torsiunea este o măsură a ”răsucirii”
curbei ı̂n spaţiu.
Prin urmare, ı̂n parametrizarea prin lungimea de arc torsiunea are expresia:
1
τ (t) = (ρ′ (t), ρ′′ (t), ρ′′′ (t)).
k2 (t)
Vrem să exprimăm derivatele lui ρ ◦ µ ı̂n s0 numai ı̂n funcţie de derivatele
lui ρ ı̂n t0 . Avem
1
τ (t0 ) = (ρ′ (t0 ), ρ′′ (t0 ), ρ′′′ (t0 )).
kρ′ (t0 ) × ρ′′ (t0 )k2
t2 ′′ t3
ρ(t) = ρ(0) + tρ′ (0) + ρ (0) + ρ′′′ (0) + t3 α(t), ∀t ∈ I,
2 6
50 Capitolul 2. GEOMETRIA DIFERENŢIALĂ A CURBELOR
unde limt→0 α(t) = α(0) = 0. Dar ρ′ (0) = T (0), ρ′′ (0) = k(0)N (0) şi
ρ′′′ (0) = k′ (0)N (0) + k(0)N ′ (0) = k′ (0)N (0) − k2 (0)T (0) + k(0)τ (0)B(0).
B(0) z
N(0) y
x
O T(0)
x
O
T(0)
Figura 7 Figura 8
B(0) z
y
N(0)
Figura 9
k′
iar limt→0 ( k20 + 60 t + tαy (t)) = k20 > 0. Prin urmare, pentru t ∈ (−ε, ε)\{0},
y(t) > 0.
Din ρ′ (0) = T (0) = (1, 0, 0), ρ′′ (0) = k(0)N (0) = (0, k0 , 0) şi
obţinem
′ x′′ (0) = 0 şi x′′′ (0) = −k02
x (0) = 1,
y ′ (0) = 0, y ′′ (0) = k0 > 0 şi y ′′′ (0) = k0′
z ′ (0) = 0, z ′′ (0) = 0, şi z ′′′ (0) = k0 τ0 > 0.
Din x′ (0) = 1 rezultă x′ (t) > 0 pe o vecinătate a lui 0 şi deci t → x(t) este
strict crescătoare.
Din y ′ (0) = 0 şi y ′′ (0) = k0 > 0 rezultă că 0 este punct de minim local
pentru t → y(t).
Din z ′ (0) = 0, z ′′ (0) = 0 şi z ′′′ (0) > 0 rezultă că t → z(t) este strict
crescătoare.
Analizând şi cazul τ (t0 ) < 0 obţinem următorul rezultat cu caracter
geometric
2.7. Forma locală a curbelor ı̂n spaţiu 53
B(0) z
N(0)
y
T(0)
x
Figura 10
a) Dacă τ (t0 ) > 0, atunci există ε > 0 astfel ı̂ncât ρ(t) se află ı̂n oc-
tantul deschis determinat de ρ(t0 ), T (t0 ), N (t0 ) şi B(t0 ) sau ı̂n oc-
tantul deschis determinat de ρ(t0 ), −T (t0 ), N (t0 ) şi −B(t0 ), ∀t ∈
(t0 − ε, t0 + ε)\{t0 }.
b) Dacă τ (t0 ) < 0, atunci există ε > 0 astfel ı̂ncât ρ(t) se află ı̂n octantul
deschis determinat de ρ(t0 ), −T (t0 ), N (t0 ) şi B(t0 ) sau ı̂n octantul
deschis determinat de ρ(t0 ), T (t0 ), N (t0 ) şi −B(t0 ), ∀t ∈ (t0 − ε, t0 +
ε)\{t0 }.
Prin urmare limt→0 b(t) = 0, adică poziţia limită a planului z = b(t)y, când
t → 0, este planul z = 0, adică planul osculator.
t2 ′′
ρ(t) = ρ(0) + tρ′ (0) + ρ (0) + t2 α(t),
2
2.7. Forma locală a curbelor ı̂n spaţiu 55
N(0) y
x
O
T(0)
Figura 11
Această teoremă afirmă ı̂n esenţă că cei doi invarianţi: curbura şi torsiunea,
determină curba. Spaţiul R3 este considerat cu orientarea uzuală.
Teorema 2.8.1. Fie f, g : I → R două funcţii netede astfel ı̂ncât f (t) > 0,
∀t ∈ I, şi fie t0 ∈ I fixat. Dacă (ρ0 ; (T0 , N0 , B0 )) este un reper ortonormat
orientat pozitiv, atunci există o unică funcţie vectorială ρ : I → R3 astfel
ı̂ncât kρ′ (t)k = 1, ∀t ∈ I, ρ′′ (t) 6= 0, ∀t ∈ I, f (t) şi g(t) repezintă curbura,
respectiv torsiunea la ρ ı̂n t, ∀t ∈ I, iar (ρ0 ; (T0 , N0 , B0 )) reprezintă reperul
Frenet al curbei ρ ı̂n t0 .
F = (F 1 , . . . , F 9 ), unde
F 1 (t, ξ 1 , . . . , ξ 9 ) = f (t)ξ 4 ,
F 2 (t, ξ, . . . , ξ 9 ) = f (t)ξ 5 ,
F 3 (t, ξ 1 , . . . , ξ 9 ) = f (t)ξ 6 ,
F 4 (t, ξ 1 , . . . , ξ 9 ) = −f (t)ξ 1 + g(t)ξ 7 ,
F 5 (t, ξ 1 , . . . , ξ 9 ) = −f (t)ξ 2 + g(t)ξ 8 ,
F 6 (t, ξ 1 , . . . , ξ 9 ) = −f (t)ξ 3 + g(t)ξ 9 ,
F 7 (t, ξ 1 , . . . , ξ 9 ) = −g(t)ξ 4 ,
F 8 (t, ξ 1 , . . . , ξ 9 ) = −g(t)ξ 5 ,
F 9 (t, ξ 1 , . . . , ξ 9 ) = −g(t)ξ 6 ,
şi sistemul diferenţial
(2.8.17) (ξ i )′ (t) = F i (t, ξ 1 , . . . , ξ 9 ), ∀t ∈ I, ∀i = 1, 9,
cu condiţiile iniţiale
1 1 ξ 2 (t0 ) = T02 , ξ 3 (t0 ) = T03 ,
ξ (t0 ) = T0 ,
(2.8.18) ξ 4 (t0 ) = N01 , ξ 5 (t0 ) = N02 , ξ 6 (t0 ) = N03 ,
ξ 7 (t ) = B 1 , ξ 8 = B 2 , ξ 9 (t ) = B 3 .
0 0 0 0 0
şi
Dorim acum să demonstrăm că (T (t), N (t), B(t)) formează o bază orto-
normată orientată pozitiv ı̂n R3 , ∀t ∈ I. Pentru aceasta notăm
(η 1 )′ = f η 5 − f η 4 + gη 2 , (η 2 )′ = f η 3 − gη 1 , (η 3 )′ = −f η 2 + gη 6 − gη 5 ,
(η 4 )′ = 2f η 1 , (η 5 )′ = −2f η 1 + 2gη 3 , (η 6 )′ = −2gη 3
şi
cu condiţiile iniţiale
(
ξ 1 (t0 ) = 0, ξ 2 (t0 ) = 0, ξ 3 (t0 ) = 0,
(2.8.22)
ξ 4 (t0 ) = 1, ξ 5 (t0 ) = 1, ξ 6 (t0 ) = 1,
60 Capitolul 2. GEOMETRIA DIFERENŢIALĂ A CURBELOR
sunt soluţii ale sistemului (2.8.21) şi verifică condiţiile iniţiale (2.8.22). Prin
urmare α1 (t) = α2 (t), ∀t ∈ I, adică:
pe I. Mai rămâne de demonstrat că baza ortonormată (T (t), N (t), B(t)) este
orientată pozitiv, ∀t ∈ I. Dar, deoarece determinantul matricei
Ö è
T 1 (t) N 1 (t) B 1 (t)
T 2 (t) N 2 (t) B 2 (t)
T 3 (t) N 3 (t) B 3 (t)
cu condiţia iniţială
(2.8.24) ρ(t0 ) = ρ0
este
Z t
(2.8.25) ρ(t0 ) = ρ0 + T (s)ds,
t0
R R R R
unde tt0 T (s)ds = ( tt0 T 1 (s)ds, tt0 T 2 (s)ds, tt0 T 3 (s)ds).
Verificăm acum că ρ dată de (2.8.25) este curba căutată. Într-adevăr,
din ρ′ (t) = T (t), ∀t ∈ I, rezultă că ρ este parametrizată prin lungimea de
arc, iar T (t) este vectorul unitar al normalei principale la ρ ı̂n t, ∀t ∈ I. Din
(2.8.19) obţinem
care implică ρ′′ (t) 6= 0, f (t) = kρ′′ (t)k, adică f (t) este curbura lui ρ ı̂n t, iar
N (t) este vectorul unitar al normalei principale, ∀t ∈ I. Cum (T (t), N (t),
2.8. Teorema fundamentală a curbelor ı̂n spaţiu 61
B(t)) este o bază ortonormată orientată pozitiv, rezultă că B(t) este vectorul
unitar al binormalei la ρ ı̂n t, ∀t ∈ I. Din (2.8.19) obţinem
ρ′′′ (t) = f ′ (t)N (t) + f (t)N ′ (t)
= f ′ (t)N (t) − f 2 (t)T (t) + f (t)g(t)B(t), ∀t ∈ I
şi ı̂nlocuind ı̂n formula torsiunii găsim
1 1
(ρ′ (t), ρ′′ (t), ρ′′′ (t)) = (T (t), f (t)N (t), −f 2 (t)T (t) + f ′ (t)N (t)
f 2 (t) f 2 (t)
+f (t)g(t)B(t))
f 2 (t)g(t)
= (T (t), N (t), B(t))
f 2 (t)
= g(t),
adică g(t) este torsiunea la ρ ı̂n t, ∀t ∈ I. Evident, curba ρ dată de (2.8.25)
este unică.
Observaţia 2.8.1. Partea de unicitate a Teoremei 2.11.1 se poate demon-
stra astfel. Presupunem că există ρ1 , ρ2 : I → R3 astfel ı̂ncât
1 = kρ′1 k = kρ′2 k, ρ′′1 (t) 6= 0, ∀t ∈ I, ρ′′2 (t) 6= 0, ∀t ∈ I,
(
T1′ = f N1 , N1′ = −f T1 + gB1 , B1′ = −gN1
T2′ = f N2 , N2′ = −f T2 + gB2 , B2′ = −gN2 ,
iar
(
ρ1 (t0 ) = ρ2 (t0 ) = ρ0 , T1 (t0 ) = T2 (t0 ) = T0 , N1 (t0 ) = N2 (t0 ) = N0 ,
B1 (t0 ) = B2 (t0 ) = B0 .
Considerăm funcţia
t → h(t) = kT1 − T2 k2 (t) + kN1 − N2 k2 (t) + kB1 − B2 k2 (t)
şi observăm că derivata ei este nulă. Într-adevăr,
h′ = 2hT1′ − T2′ , T1 − T2 i + 2hN1′ − N2′ , N1 − N2 i + 2hB1′ − B2′ , B1 − B2 i
= 2f hN1 − N2 , T1 − T2 i − 2f hT1 − T2 , N1 − N2 i
+2ghB1 − B2 , N1 − N2 i − 2ghN1 − N2 , B1 − B2 i
= 0.
62 Capitolul 2. GEOMETRIA DIFERENŢIALĂ A CURBELOR
iar
kT (x) × T (x)k = kT (x)k kT (x)k sin ∢(T (x), T (y)) = kxk kyk sin ∢(x, y),
prin urmare kT (x × y)k = kT (x) × T (x)k. Mai rămâne de arătat că vectorii
T (x × y) şi T (x) × T (y) au acelaşi sens. Cum baza (x, y, x × y) este orientată
pozitiv, la fel va fi şi baza (T (x), T (y), T (x × y)). Bazele
fiind orientate pozitiv implică faptul că T (x × y) şi T (x) × T (y) au acelaşi
sens.
Considerăm funcţia vectorială σ : I → R3 ,
unde T este dată de (2.8.27). Avem σ(t0 ) =2 ρ0 şi σ ′ (t) = T ◦ ρ′1 (t) ceea
ce implică kσ ′ (t)k = kρ′1 (t)k = 1, ∀t, şi σ ′ (t0 ) = T (1T0 ) =2 T0 . Derivata de
ordinul doi a lui σ este σ ′′ (t) = T ◦ ρ′′1 (t), de unde obţinem
şi Ç å
σ ′′ (t0 ) T (ρ′′1 (t0 )) ρ′′1 (t0 )
= =T = T (1N0 ) =2 N0 .
kσ ′′ (t0 )k f (t0 ) f (t0 )
Deci σ este o curbă parametrizată prin lungimea de arc, biregulată, iar
reperul Frenet asociat ei ı̂n t0 este (2ρ0 ; (2T0 ,2 N0 ,2 B0 )). Curbura lui σ ı̂n t
este f (t), ∀t, iar torsiunea este dată de
1 ′′
hσ (t), σ ′′′ (t) × σ ′ (t)i =
kσ ′′ (t)k2
1
= hT (ρ′′1 (t)), T (ρ′′′ ′
1 (t)) × T (ρ1 (t))i
f 2 (t)
1
= hT (ρ′′1 (t)), T (ρ′′′ ′
1 (t) × ρ1 (t))i
f 2 (t)
1
= hρ′′1 (t), ρ′′′ ′
1 (t) × ρ1 (t)i
f 2 (t)
= g(t), t ∈ I.
Prin urmare, curbele σ şi ρ2 au acelaşi reper Frenet ı̂n t0 şi aceeaşi curbură
şi torsiune. Din Teorema 2.11.1, partea de unicitate, rezultă că σ = ρ2 ,
adică relaţia (2.8.26) este demonstrată.
T (1 T0 ) =2 T0 , T (1 N0 ) = 2N0 şi T (1 B0 ) = −2 B0 .
Vom ı̂ncheia acest capitol prezentând cazul curbelor plane pentru care
vom considera curbura cu semn. Presupunem R2 orientat ı̂n mod uzual.