Documente Academic
Documente Profesional
Documente Cultură
Fx
Gx
Fy
2) F ( x, y, z ) = 0, G ( x, y, z ) = 0, rang
Fz
3
= 2, ( x, y, z ) V ! ,
Gz
Gy
" "
#"
"
s
3) r = r (t ) , t I !, r ' (t ) 0 , funciile care apar fiind difereniabile de clas C cu
s 3 . Se introduce parametrizarea natural cu funcia lungime de arc
s (t ) =
Frenet, format din planele osculator, normal i rectificator ale crui muchii sunt tangenta,
normala principal (coninut n planul osculator) i binormala (perpendicular pe planul
"
"
()
()
"
( ) se
"" "
"
"
" dn
"
"
dt
= k (s )n ,
= k ( s ) t + ( s ) b ,
Frenet este descris de formulele lui Frenet:
ds
ds
"
"
db
= ( s ) n , n care apar funcia de curbur k i de torsiune . ntr-o parametrizare
ds
"
"
"
"
"
r ' (t ) , r '' (t ) , r ''' (t )
r ' (t ) r '' (t )
oarecare k (t ) =
, (t ) =
i avem 0 dac i
"
"
3
2
r ' (t ) r '' (t )
r ' (t )
numai dac curba este plan. Se dau interpretri geometrice ale curburii i torsiunii i se
enun teorema fundamental care afirm c date dou funcii k , : [0, L ] !,
35
{ (
)}
x '
dx
Matricea Jacobian a aplicaiei c este J c = y ' , unde x ' = ,... i rezult
dt
z '
c c este imersie pe I dac i numai dac
x '2 + y '2 + z '2 > 0 pe I.
(1.2)
Aceast condiie este echivalent cu
"
"
r ' (t ) 0 pe I.
(1.2)
c este scufundare dac aplicaia vectorial
"
" Reamintim c imersia
r : I r ( I ) este homeomorfism.
Definiia 1.1. O submulime C n E 3 se numete arc elementar de curb
dac C = c ( I ) , cu I un interval deschis n ! sau egal cu ! i aplicaia c o
elementar de curb C.
36
Demonstraie.
J
este
interval
deschis
prin
ipotez
i
#" "
c$ ( J ) = c ( h ( J )) = c ( I ) = C . Fie = r % h aplicaia vectorial asociat aplicaiei c$ .
#"
"
Prin derivare n raport cu a egalitii ( ) = r ( h ( )) , J obinem
#"
d "
dh
= r ' ( h ( ))
0 pe J deci aplicaia c$ este imersie. Ea este i scufundare
d
d
#"
pentru c este compunerea a dou homeomorfisme.
Noiunea de arc elementar de curb corespunde imaginii intuitive de
poriune de curb sau arc de curb. Intuiia ne spune c o curb n spaiu este o
reuniune de arce, unele dintre ele cu intersecie nevid. Acest fapt intuitiv este
formalizat n
Definiia 1.2. O submulime & n E 3 se numete curb dac orice punct
al ei aparine cel puin unui arc elementar de curb, coninut n & .
Aceast definiie nu acoper complet noiunea intuitiv de curb n spaiu
dar circumscrie o clas foarte larg de curbe ntlnite n practic, curbe care au
proprieti frumoase, deduse prin studiu analitic.
n capitolul de fa ne vom ocupa de aceast noiune de curb n spaiu.
2. Reprezentri analitice ale curbelor n spaiul euclidian E 3 .
Dup cum am vzut" n 1, un arc elementar de curb n spaiu este dat
analitic prin aplicaiile c sau r , cu anume proprieti. Ne punem problema de a da,
de a reprezenta (de a descrie) analitic o curb n sensul Definiiei 1.2.
Teorema 2.1. Mulimea & = P( x, y, z) E3 y = ( x) , z = ( x ) cu
curb n E 3 .
Demonstraie. Vom arta c & este chiar un arc elementar de curb n
3
E . n acest scop definim c : ( a, b ) E 3 prin c ( x ) = P ( x, ( x ) , ( x )) cu aplicaia
"
vectorial asociat r : ( a , b ) ! 3 , x ( x, ( x ) , ( x )) . Este evident c
"
c (( a , b )) = & . Cum r ' ( x ) = (1, ' ( x ) , ' ( x )) este o funcie vectorial care nu se
anuleaz nicieri pe ( a, b ) , aplicaia c este imersie pe ( a, b ) . Aplicaia
"
"
r : ( a, b ) r (( a, b )) este homeomorfism pentru c inversa ei ( x, ( x ) , ( x )) x
37
y = ( x )
z = ( x ) , x ( a, b ) .
Aceast reprezentare se numete reprezentare explicit pentru o curb n
3
E , n fapt, pentru un arc elementar de curb n E 3 .
n mod asemntor se arat c i urmtoarele ecuaii
x = ( y )
(2.1)
z = ( y ) , y ( c, d ) ,
x = ( z )
(2.1)
y = ( z ) , z ( e, f ) ,
reprezint arce elementare de curb n E 3 . Si acestea se numesc reprezentri
explicite ale unui arc elementar de curb n E 3 .
Pentru a gsi o alt reprezentare analitic a unei curbe n E 3 vom
demonstra
"
" "
Teorema 2.2. Mulimea & = P r E 3 r = r (t ) , t ( a, b ) cu aplicaia
"
"
"
vectorial t r (t ) difereniabil de clas C s ( s 1) i cu r ' (t ) 0 pe ( a, b )}
(2.1)
{()
este o curb n E 3 .
Demonstraie. Vom demonstra c orice punct din & aparine cel puin
#" "
#"
unui arc elementar de curb, coninut n & . Fie P0 r0 cu r0 = r (t0 ) , t0 ( a, b ) un
"
punct din & . Aadar avem r ' (t0 ) = ( x ' (t0 ) , y ' (t0 ) , z ' (t0 )) 0 . S presupunem
( )
y = y (t )
z = z (t )
de clas C s ( s 1) pentru c
de clas C s ( s 1) . nlocuim t = h ( x ) n
i obinem
y = ( x ), z = ( x ), x J
1.1, mulimea
38
Dac x ' (t0 ) = 0 , atunci fie y ' (t0 ) 0 , fie z ' (t0 ) 0 . Se face un raionament
asemntor i se obine c P0 aparine unui arc elementar reprezentat prin (2.1) sau
(2.1).
Teorema 2.2 ne permite s afirmm c ecuaia
" "
"
"
r = r (t ) , r ' (t ) 0 t ( a, b ) ,
(2.2)
reprezint analitic o curb n spaiul E 3 . Aceast ecuaie se numete reprezentarea
vectorial parametric a unei curbe n E 3 . Ea are forma echivalent
x = x (t )
(2.2)
y = y (t )
2
2
2
z = z (t ) , t ( a, b ) , x ' + y ' + z ' > 0 pe ( a, b ) ,
care se numete reprezentarea parametric a unei curbe n E 3 .
Este evident c dac restrngem intervalul de variaie a lui t la un
"
subinterval deschis I al lui ( a, b ) pe care aplicaia t r (t ) s fie homeomorfism pe
imagine, ecuaia (2.2) respectiv (2.2) va reprezenta un arc elementar de curb n
E3 .
Exist i o a treia reprezentare analitic a unei curbe n E 3 dat de
F ( x, y, z) = 0,
Teorema 2.3. Mulimea & = P( x, y, z) E3
cu
=
G
x
y
z
,
,
0,
(
)
Fx Fy Fz
= 2 pe D , presupus nevid, este o curb n E 3 .
rang
G G G
x y z
Demonstraie. Vom arta c orice punct din & aparine cel puin unui arc
elementar de curb, coninut n & . Fie P0 ( x0 , y0 , z0 ) & , deci rang
Fy Fz
Fx Fy Fz
F
0.
etc. S presupunem c
= 2 . Amintim c Fx =
G y Gz
x
Gx G y Gz P0
Din continuitate rezult c acest determinant este diferit de zero pe o mulime
deschis D ' D , centrat n P0 , care, dup o eventual micorare, poate fi luat de
forma D ' = I J K , unde I , J , K sunt intervale deschise centrate n x0 , y0 , z0 ,
respectiv. Teorema funciilor implicite ne asigur c exist funciile difereniabile
de clas Cs, unice, : I J i : I K nct y0 = ( x0 ) , z0 = ( x0 ) i
(*)
F ( x, ( x ) , ( x )) 0, G ( x, ( x ) , ( x )) 0, x I .
39
G( x, y, z) = 0, ( x, y, z) D,
Fx Fy Fz
= 2 pe D, dac are cel puin o soluie, reprezint
cu condiia rang
G G G
y
z
x
analitic o curb n E 3 . Aceast reprezentare se numete reprezentare implicit a
unei curbe n E 3 .
Funciile care intervin n reprezentrile analitice (1.2) (1.3) sunt
difereniabile de clas C s ( s 1) . n continuare acest lucru va fi subneles iar clasa
de difereniabilitate va fi cea de care avem nevoie n calcule. De cele mai multe ori
s = 3 este suficient.
Cele trei reprezentri ale unei curbe n spaiu explicit, parametric,
implicit sunt local echivalente n sensul c pentru orice punct P0 de pe o curb
& exist un arc elementar ce conine P0 i este coninut n & , care se poate
reprezenta n toate cele trei moduri posibile. n demonstraiile teoremelor 2.2 i 2.3
am vzut cum se trece de la reprezentarea parametric respectiv implicit la
reprezentarea explicit. Invers, reprezentarea explicit (2.1) este o reprezentare
parametric de forma x = t , y = (t ) , z = (t ) , t ( a, b ) i totodat o reprezentare
Fy
Gy
Fz
Gz
F ( x, y, z ) y ( x ) = 0,
implicit particular i anume
G ( x, y, z ) z ( x ) = 0.
Echivalena local a celor trei reprezentri analitice creeaz multe avantaje
n studiul local al curbelor n spaiu, studiu care urmrete stabilirea unor proprieti
referitoare la arce elementare de curbe n spaiu.
40
#"
definit de vectorul r ' care rmne neschimbat la trecerea de la originea O la un alt
####" "
geometric.
Ecuaia vectorial - parametric a tangentei la curba C reprezentat de
"
(2.1), n punctul P0 r (t0 ) este
" "
"
r = r (t0 ) + r ' (t0 ) , ! .
(3.2)
Pe componente (3.2) se scrie n forma
x = x (t0 ) + x ' ( t0 ) ,
(3.3)
y = y ( t 0 ) + y ' ( t0 ) ,
41
x x ( t0 ) y y ( t 0 ) z z ( t 0 )
=
=
.
x ' (t0 )
y ' ( t0 )
z ' (t0 )
Dac arcul C este reprezentat n forma implicit
y = ( x ) , z = ( x ) , x ( c, d ) ,
(3.4)
(3.3)
3
G ( x, y, z ) = 0, ( x, y, z ) D multime deschisa in ! .
Fie P0 ( x0 , y0 , z0 ) pe acest arc. Considernd simultan i reprezentarea sa (3.1) n
forma scalar, avem
F ( x (t ) , y (t ) , z (t )) 0,
(3.7)
G ( x (t ) , y (t ) , z (t )) 0, t I deschis in !.
Presupunem c P0 se obine, n reprezentarea (3.1), pentru t = t0 . Derivm
fiecare din identitile (3.7) n raport cu t. Obinem
Fx x '+ Fy y '+ Fz z ' 0,
(3.7)
se transcriu n forma
(3.7)
"
"
r ' (t ) , gradF = 0, r ' (t ) , gradG = 0, t I .
"
De aici rezult c r ' (t0 ) este perpendicular pe vectorii grad 0 F i grad 0G ,
42
"
Folosim forma obinut pentru r ' (t0 ) n formula (3.7) i inem seama de
formula de calcul a produsului vectorial a doi vectori. Obinem ecuaiile tangentei la
curba C, dat implicit, n punctul ei P0 ( x0 , y0 , z0 ) :
(3.8)
x x0
Fy Fz
G y Gz
=
0
y y0
Fz Fx
Gz Gx
=
0
z z0
.
Fx Fy
Gx Gy
0
x x0 + ( y ( x0 )) ' ( x0 ) + ( z ( x0 )) ' ( x0 ) = 0.
(3.10)
Dac arcul de curb C este dat n forma implicit (3.6), din ecuaiile (3.8)
ale tangentei la curba C se deduce c ecuaia planului normal n P0 ( x0 , y0 , z0 ) este
dat de
F F
F F
F F
(3.11)
( x x0 ) Gy Gz + ( y y0 ) z x + ( z z0 ) Gx Gy = 0
Gz Gx 0
y
z
x
y
0
sau echivalent,
(3.11)
x x0
Fx0
Gx0
y y0
Fy0
Gy0
z z0
Fz0 = 0,
Gz0
43
[a , b ]
{l , D}
y x2 + y 2 + z 2 x + y + z ,
(4.3)
z
"
rezult c funcia t r (t ) este cu variaie mrginit pe [a, b] dac i numai dac
rectificabil dac mulimea
[ a, b ] .
44
"
Dac funcia t r (t ) este de clas C 1 pe [a, b] , prin folosirea teoremei
creterilor finite, lungimea l se poate scrie n forma
n 1
(4.4)
unde i , i ,i (ti , ti +1 ) .
i =0
=
i am obine l '
AB
AB nu depinde de parametrizarea
Artm acum c lungimea arcului '
aleas. ntr-adevr, fie t = ( ) cu [c, d ] i ' ( ) 0 pe [c, d ] o schimbare de
AB .
parametru pe arcul '
"
"
Reprezentarea (4.1) trece n forma c ( ) = r ( ( )) , [c, d ] i n
"
d dc
'
=
d , unde prin accent am indicat lungimea
conformitate cu (4.5) avem l '
AB
c d
lui
'
=
l'
AB
'
AB
d
noua
parametrizare.
Dac
' ( ) > 0
pe
[c, d ] ,
avem
"
r ' ( ( )) ' ( ) d . n aceast integral facem schimbarea de variabil
=
l'
r
d
r
d
r ' (t ) dt = l'
'
'
'
'
.
(
)
(
)
(
)
(
)
(
)
(
)
AB
AB
Vom spune c (4.5) este formula de calcul pentru lungimea (cnd exist!)
unui arc de curb.
Fie funcia t s (t ) dat prin
t "
s (t ) =
r ' ( ) d , a t b .
(4.6)
45
"
Derivata acestei funcii este s ' (t ) = r ' (t ) > 0 . Aadar ea este strict
cresctoare pe [a, b] . Rezult c este bijecie de la
L := l '
.
AB
s0
s0
AB .
abscis curbilinie a unui punct de pe arcul '
Este natural s ne ntrebm dac mai exist i alte parametrizri naturale n
"
" "
dr
= 1 . S efectum o
afara celei date de lungimea de arc. Fie r = r ( s ) cu
ds
"
d c ( )
= 1 , unde
schimbare de parametru s = h ( ) i s presupunem c
d
"
"
"
"
d c d r dh
=
c ( ) = r ( h ( )) . Dac trecem la lungimi n egalitatea vectorial
d ds d
dh
= 1 i deci
obinem
d
= s + a, a ! .
(4.8)
46
Aadar parametrizrile naturale pe curb sunt cele din (4.8). Ele sunt n
esen date de lungimea de arc s.
5. Planul osculator ntr-un punct neinflexionar al unei curbe n
spaiu.
Fie o curb C n spaiu reprezentat parametric n forma
" "
"
"
r = r (t ) , r ' (t ) 0 t ( a, b ) ,
(5.1)
prin funcii difereniabile de clas C k , k 3 .
"
Am vzut mai sus c vectorul r ' (t0 ) d direcia tangentei la curba C n
"
"
punctul P0 (t0 ) . Considerm i vectorul r '' (t0 ) . Acesta poate fi coliniar cu r ' (t0 ) ,
situaie n care se spune c P0 este punct inflexionar al curbei C sau poate fi
"
"
"
"
necoliniar cu r ' (t0 ) , adic r ' (t0 ) r '' (t0 ) 0 , caz n care P0 se numete punct
neinflexionar al curbei C.
"
"
Un punct neinflexionar P0 (t0 ) C i vectorii r ' (t0 ) , r '' (t0 ) determin un
plan numit prin tradiie plan osculator la curba C n P0 . Direcia normal a acestui
"
"
plan este direcia vectorului r ' (t0 ) r '' (t0 ) . Aadar introducem
Definiia 5.1. Se numete plan osculator la curba C ntr-un punct
"
P0 r (t0 ) C , neinflexionar, planul care trece prin P0 i are ca direcie normal
"
"
"
direcia vectorului r ' (t0 ) r '' (t0 ) 0 .
Aceast definiie ne permite o serie de
Observaii:
1. Planele care conin tangenta la curba C prin P0 C se numesc plane
tangente. Ele formeaz un fascicol. ntr-un punct P0 C , neinflexionar, putem
##"
alege unul dintre planele tangente cu ajutorul lui r '' : planul osculator n P0 . Dac
P0 este punct inflexionar, o asemenea alegere nu mai este posibil. Putem lua ca
plan osculator oricare dintre planele tangente. Aadar, n puncte inflexionare, planul
osculator nu este unic determinat.
2. Planul osculator este strict legat de curb. El nu depinde de reperul ales
"
"
n spaiu pentru c este definit de P0 , de r ' i r '' , elemente care nu depind de reper.
Acest plan nu depinde nici de parametrizarea aleas pe curb. ntr-adevr, fie
"
"
c ( ) = r ( h ( )) dup o schimbare de parametru t = h ( ) , h ' ( ) 0 . Punctul
47
"
"
dc
dh
( 0 ) = r ' (t0 ) ( 0 ) ,
d
d
t0 = h( ) .
Pe
de
alt
parte
avem
i
"
2
d2c "
d 2h
dh
"
= r '' (t0 ) ( 0 ) + r ' (t0 ) 2 ( 0 ) i prin nmulire vectorial rezult c
d 2
d
d
"
2
dc
d c
vectorul
( 0 ) 2 ( 0 ) dat de
d
d
"
"
3
"
"
dc
d2c
dh
r
t
r
t
'
''
(5.2)
( 0) 2 ( 0)
( 0 ) ( 0 ) ( 0 ) ,
d
d
d
"
"
are aceeai direcie cu vectorul r ' (t0 ) r '' (t0 ) .
3. Formula (5.2) ne spune c un punct inflexionar ntr-o parametrizare
este astfel n toate parametrizrile. Spunem c noiunea de punct inflexionar este
noiune geometric pentru c nu depinde de reperul ales i nici de parametrizarea
curbei. Evident c i noiunea de plan osculator este geometric, n acelai sens.
Definiia 5.1 ne spune c ecuaia planului osculator se poate da n formele
" "
"
"
r r (t0 ) , r ' (t0 ) r '' (t0 ) = 0 ,
(5.3)
" "
"
"
r r (t0 ) , r ' (t0 ) , r '' (t0 ) = 0 ,
(5.3)
(5.3)
forma parametric y = f ( x )
.
z = 0, x ( c, d )
"
"
" "
"
Rezult r ' = (1, f ',0) , r '' = (0, f '',0) i r 'r '' ( x) = f ''( x) k de unde conchidem c
pentru o curb din planul xOy de ecuaie y = f ( x ) , punctele inflexionare sunt date
48
(5.4)
" "
"
r = a + u, ! .
"
d 2r
dr "
= 0 , rezult c toate punctele dreptei sunt puncte
= u i
Cum
d2
d
inflexionare. Ne ntrebm dac exist i alte curbe care s aib toate punctele
inflexionare. Rspunsul este negativ pentru c are loc
Teorema 5.1. O curb n spaiu cu toate punctele inflexionare este un
segment deschis de dreapt sau o dreapt.
Demonstraie. Fie curba C n spaiu reprezentat parametric prin (5.1) cu
"
"
"
"
"
r ' (t )
toate punctele inflexionare, adic r ' (t ) r '' (t ) = 0 t ( a, b ) . Fie u (t ) = "
r ' (t )
"2
"
"
"
versorul lui r ' (t ) , adic u (t ) = 1 . Putem deci scrie r ' (t ) = g (t ) u (t ) , cu
"2
"
"
"
"
g (t ) = r ' (t ) 0 . Din ecuaia u (t ) = 1 rezult u (t ) , u ' (t ) = 0 , deci u ' (t ) este
"
"
"
"
perpendicular pe u (t ) . Condiia r ' (t ) r '' (t ) = 0 este echivalent cu
"
"
"
"
"
g 2 (t ) u (t ) u ' (t ) = 0 care ne arat c u ' (t ) este coliniar cu u (t ) . Aadar
"
"
u ' (t ) = 0 t ( a, b ) . Cu alte cuvinte r ' (t ) are direcie fix. Prin integrarea ecuaiei
"
"
"
"
" t
vectoriale r ' (t ) = g (t ) u obinem r (t ) = r (t0 ) + u g ( ) d . Aadar vectorul de
t0
"
" #"
"
#" "
poziie r (t ) al unui punct oarecare pe C verific ecuaia r = r0 + u , cu r0 = r (t0 )
t
49
plan normal
plan rectificator
normala principal
plan osculator
tangent
Fig. 8
Muchiile acestui triedru sunt: tangenta, normala principal i binormala
iar feele sale sunt: planul osculator, planul normal i planul rectificator.
Triedrul Frenet este intrinsec asociat curbei, adic nu depinde de reperul
din spaiu i nici de parametrizarea de pe curb. Aceste aspecte le-am verificat
direct pentru tangent i pentru planul osculator iar celelalte elemente ale triedrului
Frenet au fost definite geometric, fr nici o referire la reperul ales n spaiu sau la
parametrizarea curbei.
S presupunem curba C reprezentat vectorial parametric prin
" "
"
"
r = r (t ) , r ' (t ) 0, t ( a, b ) ! .
(6.1)
Ecuaiile tangentei, planului normal i planului osculator n
"
P0 (t0 ) P0 r (t0 ) au fost precizate anterior. Binormala, fiind perpendicular pe
"
"
planul osculator, are direcia dat de vectorul r ' (t0 ) r '' (t0 ) . Deci ecuaia ei este
" "
"
"
r = r (t0 ) + r ' (t0 ) r '' (t0 ) , ! .
(6.2)
prin ecuaia
(6.3)
" "
"
"
"
r = r (t0 ) + r ' (t0 ) r '' (t0 ) r ' (t0 ) , ! .
((
50
" "
"
"
"
"
" r'
Versorul tangentei: t = "
r'
(
(
)
)
{ (
)}
curbei C.
Observaia 6.1. Reperul Frenet este un reper mobil pe curb. El exist n
toate punctele neinflexionare ale curbei.
"" "
Observaia 6.2. Versorii t , n, b verific evident egalitile
" " " " " " " " "
t n = b, n b = t , b t = n
(6.5)
(care se rein prin ciclicitate)
"" "
t , n, b = 1 .
(6.6)
dh
> 0 , adic schimbarea de parametru
d
""
pstreaz sensul de parcurs al arcului de curb sau orientarea curbei, versorii t , n i
Aceste egaliti ne arat c dac
51
"
dh
< 0 , versorii tangentei i binormalei
b i pstreaz sensul. n caz contrar, adic
d
i schimb sensul iar cel al normalei principale rmne acelai.
Schimbarea de sens a versorului tangentei este n acord cu interpretarea
acestui versor ca versor al vectorului vitez al unui mobil ce se deplaseaz pe curba
C. Fizica ne spune c sensul vectorului vitez este acelai cu sensul de deplasare a
mobilului pe curba C.
Observaia 6.3. Consideraiile tocmai ncheiate ne arat c reperul Frenet
rmne pozitiv (drept) orientat indiferent de parametrizare de pe curb.
Parametrizrile naturale se dovedesc din nou importante.
" "
Teorema 6.1. ntr-o parametrizare natural r = r ( s ) ,
s [0, L ]
")
"
")
t (s ) = r (s ),
"))
"
r (s)
n ( s ) = ))
,
(6.8)
"
r (s)
")
"))
"
r ( s ) r ( s )
b (s) = )
.
"
"))
r ( s ) r ( s )
")
Demonstraie. Prima formul este imediat pentru c r ( s ) = 1 . Expresia
"
lui b este aceeai ca n orice alt parametrizare. Rmne s stabilim forma lui
"
n (s ) .
") 2
")) ") "
")) "
"))
"
Din r = 1 rezult r r = t . Cum r b , rezult c r este coliniar cu n ,
"))
"
"
"))
r
adic n = r , ! . Urmeaz c n = )) . Semnul se elimin pentru c
"
r
"
"))
"" "
") ")) ") "))
bazele t , n, b i r , r , r r sunt pozitiv orientate, deci n i r au i acelai sens.
52
)}
"))
k ( s ) = r ( s ) s [0, L ]
i rezult
")
"
t (s) = k (s ) n (s) ,
")
formul care exprim t ( s ) n reperul F .
(7.3)
(7.4)
53
") "
( s ) = b, n , s [0, L ] .
")
Cu aceast notaie expresia lui b devine
")
"
b ( s ) = ( s ) n ( s ) .
(7.5)
")
Vom proceda asemntor pentru a exprima n n reperul F . Punem
")
"
"
"
n = t + n + b , cu , , funcii necunoscute, urmnd a fi determinate.
" ")
""
Egalitatea n, n = 0 ne d imediat = 0 . Proprietatea n, t = 0 conduce
prin derivare la ecuaia
") "
" ")
n, t + n, t = 0 , care, pe baza ecuaiei (7.3), ne arat c
" "
n, b = 0 obinem
") "
" ")
n, b + n, b = 0 , de
(F)
n ( s ) = k ( s ) t + ( s ) b ( s )
")
"
b ( s ) = ( s ) n ( s ) , s [0, L ].
k
raz de torsiune n P.
54
")
"
"
t t
t
"
d " ")
Dac introducem matricile formale n i
n := n , formulele (F) ale
ds " )
"
"
b b
b
lui Frenet se pot scrie compact
"
"
t 0
k 0 t
d "
"
(F)
n = k 0 n .
ds "
"
0 0 b
b
Observm c matricea ptratic ce apare n (F) este antisimetric. Acest
fapt este o consecin direct a faptului c reperul Frenet este ortonormat.
(Exerciiu.!)
n ncheierea acestui paragraf menionm c, dac introducem vectorul
#" " "
d = t + kb , numit i vectorul lui Darboux, situat n planul rectificator, formulele lui
Frenet se pot scrie i n forma
") #" " ") #" " ") #" "
t = d t , n = d n, b = d b .
(F)
8. Interpretri geometrice ale funciei curbur i funciei torsiune
Am asociat unei curbe n spaiu dou funcii remarcabile k i . Ne
intereseaz semnificaii geometrice ale lor.
"
"
"
Prezena versorilor t ( s ) , n ( s ) , b ( s ) sugereaz urmtoarea construcie:
"
desenm versorii t ( s ) cu originea n O, originea reperului fixat n E 3 ; extremitile
lor vor descrie o curb pe sfera de raz 1 cu centrul n O, numit indicatoarea
sferic a tangentelor curbei C. Similar se obine indicatoarea sferic a
binormalelor curbei C i respectiv indicatoarea sferic a normalelor principale ale
curbei C.
Indicatoarea sferic a tangentelor se poate reprezenta prin ecuaia
" "
r = t ( s ) , s [0, L ]
(8.1)
(s este parametru natural pe C dar nu i pe indicatoarea sferic a tangentelor!).
Fie ds difereniala funciei lungime de arc. Ne amintim c
"
t "
s (t ) =
r ' ( ) d ntr-o parametrizare oarecare i deci ds = s ' (t ) dt = r ' (t ) dt .
55
( )
(8.3)
( ) i pentru s 0 obinem
'
l ( PQ
)
(
l (P
' Q ')
k ( s ) = lim
.
(
l P
'Q '
s
Formula a treia a lui Frenet ne arat c se vor obine interpretri similare
pentru torsiune, nlocuind indicatoarea sferic a tangentelor cu indicatoarea sferic
a binormalelor.
ntr-adevr, dac notm cu ds2 difereniala funciei lungime de arc a
indicatoarei binormalelor, obinem
ds
(P) = 2 ,
(8.4)
ds
(
l P
'Q '
( s ) = lim
(8.5)
,
s 0
s
unde P, Q sunt punctele de pe indicatoarea sferic a binormalelor,
corespunztoare punctelor P ( s ) i Q ( s + s ) de pe C.
s 0
k ( s ) = lim
s 0
.
s
56
"
"
Pentru demonstraie, observm c dac desenm vectorii t ( s ) i t ( s + s )
cu originea n acelai punct, obinem un triunghi isoscel cu unghiul de la vrf i
"
"
t ( s + s ) t ( s ) .
latura
opus
de
lungime
Rezult
imediat
c
"
"
= t ( s + s ) t ( s ) . mprim ambii membrii ai acestei relaii la s i
2sin
2
"
"
sin
t ( s + s ) t ( s )
2
=
,
trecem la module (de numere reale). Obinem
s
s
2
egalitate n care trecem la limit pentru s 0 . Termenul din dreapta are limit
pentru c am presupus curba C reprezentat prin funcii difereniabile de orice clas
")
C k (aici este suficient s lum k 2 ) i limita sa este t ( s ) = k ( s ) . Aadar i
s 0 .
termenul
din
stnga
are
limit
pentru
Avem
sin
sin
2 = lim
2 = lim , pentru c lim sin x = 1 . Rezult (8.6).
lim
s 0
s 0
s 0 s
x 0
s
s
x
2
2
"
"
Fie acum unghiul vectorilor b ( s ) i b ( s + s ) . n mod cu totul
similar se arat c are loc urmtoarea interpretare geometric a torsiunii:
( s ) = lim
(8.7)
.
s 0 s
2 2
") "))
") ")) ") "))
Egalitatea r r = r r r , r
ne arat c avem i
(9.2)
57
")
"))
k (s ) = r (s ) r (s ) .
ds 2
ds
d 2h (s )
Nu-i nevoie s calculm
pentru c nu mai apare n
ds 2
")
"))
"
"
1
r ( h ( s )) r ( h ( s )) = r ' ( h ( s )) r '' ( h ( s )) "
.
3
r ' ( h ( s ))
2
Aadar avem:
"
"
r ' ( h ( s )) r '' ( h ( s ))
k ( h ( s )) =
.
"
3
r ' ( h ( s ))
a ( s ) = r ( s ) , r ( s ) , r ( s ) . Avem: a ( s ) = t , k n, k n + k n = t , kn, k 2 n + k b =
"" "
2
2
k t , n, b = k . Rezult
(9.4)
)))
"))
"
")
r
s
r
s
r (s )
,
,
(
)
(
)
.
(s) =
2
k (s)
58
dh
o simplificare prin i revenind la t = h ( s ) se obine
ds
"
"
"
r ' (t ) , r '' (t ) , r ''' (t )
(t ) =
(9.5)
.
"
"
2
r ' (t ) r '' (t )
59
torsiune nul. Mai sunt i alte curbe de torsiune nul? Rspunsul este negativ pentru
c are loc.
Teorema 9.1. Orice curb cu funcia de torsiune nul este o curb plan.
")
"
Demonstraie. Dac 0 , formula a treia a lui Frenet ne d b ( s ) = 0 .
"
"
Aadar b ( s ) = b 0 (vector constant). Aceast observaie n combinaie cu
" "
"
##"
d ##" "
b0 , t ( s ) = 0 , ne arat c
b0 , r ( s ) = 0 , deci r ( s ) , b0 = c ! . Aadar
ds
"
vectorul r ( s ) , care este vectorul de poziie al unui punct de pe curb, verific
##"
" ##"
ecuaia r , b0 c = 0 , care este ecuaia unui plan de direcia normal dat de b0 . n
concluzie, curba cu 0 este situat ntr-un plan care este plan osculator pentru
toate punctele neinflexionare ale curbei.
Dup cum am vzut mai sus, unei curbe n spaiu putem s-i asociem
funciile de curbur i torsiune, funcia curbur fiind strict pozitiv. Aceste funcii
sunt intrinsec asociate curbei n sensul c ele nu depind de reperul ales n spaiu i
nici de parametrizarea de pe curb. Mai mult, funciile curbur i torsiune determin
curba n sensul teoremei care urmeaz.
Teorem (fundamental a geometriei curbelor n spaiu).
Fie dou funcii reale , : [0, L ] !, s ( s ) , s ( s )
cu
( s ) > 0 s [0, L ] , continue. Exist atunci o curb n spaiu, dat prin ecuaia
" "
r = r ( s ) , s [0, L ] , cu s parametru natural, pentru care este funcia curbur i
este funcia torsiune. Mai mult, dac C0 i C1 sunt dou asemenea curbe exist