Professional Documents
Culture Documents
Pogledajmo sada sto se moze reci o dodiru krivulje i pravca: Neka je c1 : I1 R3 krivulja,
a c2 : I2 R3 pravac, c2 (t) = p + qt. Tada c1 i c2 imaju dodir 0-tog reda ako postoje
parametri u0 I1 , v0 I2 tako da je P0 = c1(u0 ) = c2(v0), a dodir prvog reda ako je
pravac c2 tangenta krivulje c1 u tocki P0
c1 (u0) = c2 (v0) = q.
Ako je krivulja c1 dopustiva, tada ona s pravcem moze imati najvise dodir prvog reda, jer
vrijedi
c1 (u0) 6= 0, c2(v0) = 0.
Dakle, pokazali smo:
Propozicija 6.2 Od svih pravaca prostora koji prolaze nekom tockom zadane dopustive
krivulje, dodir najveceg moguceg reda (1. reda) ima tangenta s diralistem u toj tocki.
iz cega slijedi
kc1 (u0)k = kc2(v0 )k & T1(u0 ) = T2(v0 ).
Dodir 2. reda nastupa ako je
d d
c1(u0 ) = c2(v0 ) (kc1k)T1 + kc1k21 N1 = (kc2k)T2 + kc2k2 2 N2.
dt dt
24
Kako je
d c1 c1 c2 c2 d
(kc1k) = = = (kc2k),
dt kc1k kc2k dt
to slijedi
1 (u0) = 2 (v0 ), N1(u0) = N2(v0).
Definicija 6.3 Kruznica koja s nekom krivuljom ima u nekoj njenoj tocki dodir barem
2. reda naziva se oskulacijska kruznica krivulje u toj tocki.
Propozicija 6.4 Oskulacijska kruznica dopustive krivulje u nekoj njenoj tocki lezi u os-
kulacijskoj ravnini te krivulje u toj tocki. Njen je polumjer jednak reciprocnoj vrijednosti
zakrivljenosti krivulje u toj tocki, a njezino srediste se nalazi na glavnoj normali krivulje
u toj tocki.
tvrdnja slijedi.
Propozicija 6.5 Od svih kruznica prostora koje prolaze nekom tockom zadane dopustive
krivulje, dodir najveceg moguceg reda (2. reda) ima oskulacijska kruznica u toj tocki.
Dokaz. Pokazimo jos da je dodir 2. reda krivulje i oskulacijske kruznice najveci moguc.
Pogledajmo jos jednom sto se dogada u tockama dodira. Imali smo
25
Nadalje je
d3c d2 d
= dt2
(kc(t)k)T (t) + dt (kc(t)k) kc(t)k(t)N (t)+
dt3
d
+ 2kc(t)k kc(t)k2(t)N (t)+
dt (kc(t)k)(t)N (t) +
h i
+ kc(t)k3(t) (t)T (t) + (t)B(t) ,
gdje je
d3 c
kck(c2 + c dt3
) c c kcc
ck
d2 d cc
dt2
(kc(t)k) = dt kck
=
kck2
3
c2(c2 + c ddt3c ) (c c)2
= .
kck3
Zakljucujemo da dodir 3. reda krivulje c1 s kruznicom c2 nije moguc uvijek, nego samo u
tockama krivulje c1 u kojima vrijedi
Uvjet 1 (u0) = 0 govori da krivulja u promatranoj tocki ima tjeme tj. promatrana tocka
je tocka ekstremalne zakrivljenosti.
Definicija 6.6 Kruznica koja s nekom krivuljom u nekoj njenoj tocki ima dodir barem
3. reda naziva se hiperoskulacijska kruznica krivulje u toj tocki.
c(0) c(0)
B(0) =
kc(0) c(0)k
gdje je
c(t) = (1 cos t, sin t, cos t)
c(0) = (0, 0, 1)
26
pa je B(0) = (1, 0, 0). Dakle, oskulacijska ravnina krivulje je koordinatna ravnina x = 0.
Nadalje
kc(0) c(0)k
(0) = = 1,
kc(0)k3
pa je polumjer oskulacijske kruznice jednak 1.
Takoder
N (0) = B(0) T (0) = (0, 1, 0),
sto povlaci da je srediste oskulacijske kruznice
1
S = c(0) + N (0) = (0, 0, 0) + (0, 1, 0) = (0, 1, 0).
(0)
Napomena. Dodir dviju krivulja moze se definirati i na sljedeci nacin. Neka su krivulje
c1, c2 : I R3 definirane obje na intervalu I i neka zajednickoj tocki pripada ista vri-
jednost parametra s0 . (To mozemo postici eventualnim reparametrizacijama krivulja.)
Promotrimo funkciju
d:I R
d(s) = kc1(s) c2(s)k.
Krivulje c1, c2 imaju u c1 (s0) = c2(s0 ) = P0 dodir n-tog reda ako i samo ako vrijedi
d(s)
lim = 0, k = 0, 1, 2, ..., n,
ss0 (s s0 )k
d(s)
lim 6= 0.
ss0 (s s0 )n+1
27
Tvrdnja slijedi direktno ako funkciju c1 (s) c2(s) razvijemo u Taylorov red oko tocke s
parametrom s0
c1(s) c2 (s) = c1(s0 ) c2 (s0) + ss1!
0
c 0 (s ) c0 (s ) +
1 0 2 0
(s s0 )2 00
+ c1 (s0) c002 (s0) + ...
2!
(s s0 )n (n) (n)
... + c1 (s0 ) c2 (s0) +
n!
(s s0 )n+1 (n+1) (n+1)
+ c1 (s0 ) c2 (s0 ) + o(s s0 )n+1 .
(n 1)!
s s0 0 (s s0 )2 00
c2(s) = c(s0 ) + c1(s0 ) + c1 (s0 ),
1! 2!
tada je c2 : I R3 parabola koja s polaznom krivuljom c ima dodir 2. reda (u svojem
tjemenu). Takva se parabola naziva oskulacijska parabola. Odredite oskulacijsku parabolu
lancanice u tjemenu lancanice.
Napomena. Slicno se mogu traziti i krivulje 3. odnosno 4. reda koje imaju dodir najveceg
reda s promatranom krivuljom. Na primjer, kubicni splineovi su vazno sredstvo u obradi
krivulja u racunarstvu.
Na primjer, dodir 0-tog reda krivulje i plohe je zajednicka tocka krivulje i plohe.
28
Analogno za vise derivacije.
Pogledajmo sto se moze reci o dodiru krivulje i ravnine. Neka je n vektor normale ravnine
i neka krivulja c : I R3 i ravnina imaju zajednicku tocku c(s0). Dakle, jednadzba
ravnine je
x c(s0) n = 0
te je funkcija F jednaka
F (s) = c(s) c(s0) n
Bez smanjenja opcenitosti mozemo pretpostaviti da je krivulja parametrizirana duljinom
luka.
Krivulja c i ravnina imaju u tocki dodir 0-tog reda jer je F (s0 ) = 0. Nadalje je
T (s0 ) n = 0, (6.6)
te je
F 000(s0 ) = 0 (s0 )N (s0) n 2 (s0 )T (s0) n + (s0 ) (s0 )B(s0 ) n = 0.
Uvrstimo li (6.6), (6.7), dobivamo da je dodir 3. reda moguc samo u tockama krivulje u
kojima vrijedi (s0 ) = 0 (naime, ne moze biti B(s0 ) n = 0, jer bi tada vektor n bio okomit
na trobrid {T (s0 ), N (s0), B(s0)}, pa bi bio nul-vektor). Dakle, dokazali smo:
Propozicija 6.7 Od svih ravnina prostora koje s dopustivom krivuljom c imaju zajednicku
tocku, dodir najveceg moguceg reda (drugog reda) u toj tocki ima oskulacijska ravnina.
Pogledajmo sada sto mozemo reci o dodiru krivulje i sfere. Neka je sfera dana implicitnom
jednadzbom
kx pk2 = R2 ,
gdje je p je radij-vektor sredista sfere, a R njen polumjer. Tada je
2
F (s) = kc(s) pk2 R2 = c(s) p R2 .
29
Promotrimo derivacije od F
F 0 (s) = 2 c(s) p c0(s) = 2 c(s) p T (s),
h i h i
F 00 (s) = 2 T (s) T (s) + c(s) p (s)N (s) = 2 1 + c(s) p N ,
h i
F 000(s) = 2 T N + c(s) p 0 N + c(s) p (T + B) ,
odnosno u tocki s = s0
2
F (s0 ) = 0 = c(s0) p R2 ,
F 0 (s0 ) = 0 c(s0) p T (s0 ) = 0,
F 00 (s0 ) = 0 c(s0) p N (s0) = (s10 ) , (s0 ) > 0,
000 0
F (s0 ) = 0 c(s0 ) p (s0 ) N (s0) + c(s0 ) p (s0 ) (s0)B(s0 ) = 0,
h i
0 (s0 ) 0
1
c(s0) p B(s0 ) = (s0 ) (s0 )
(s0 )
= (s0 )(s 0)
2 (s ) .
0
Diskutirajmo sad prethodne jednakosti. Vrijedi li samo prva jednadzba, tada radij-vektor
p sredista sfere mozemo odrediti po volji, a polumjer sfere je odreden iz tog uvjeta. Sfera
i krivulje imaju tada dodir 0-tog reda. Takve sfere cine troparametarsku familiju sfera (p
je odreden sa 3 velicine). Za dodir 1. reda vrijedi jos druga jednakost i time je odredena
jedna koordinata od p (uz T ). Takve sfere cine dvoparametarsku familiju. Analogno,
pri dodiru 2. reda, odredena je jos jedna koordinata od p (uz N ), pa takve sfere cine
jednoparametarsku familiju sfera. Dodirom 3. reda sfera je u potpunosti odredena. Dakle,
ako vektor c(s0 ) p rastavimo po trobridu {T (s0), N (s0), B(s0 )}
tada je
= c(s0 ) p T = 0
= c(s0 ) p N = (s10 )
0 (s )
= c(s0 ) p B = 2 (s0 )0(s0 ) .
Dobili smo
1 0 (s0)
c(s0) p = N (s0) + 2 B(s0 ),
(s0 ) (s0 ) (s0)
1 0 (s0)
odakle je p = c(s0) + N (s0) 2 B(s0 ). Nadalje, polumjer sfere odreden je
(s0 ) (s0 ) (s0)
s 2 !
1 ( 0 (s ))2 1 0 (s )
0 0
R2 = kc(s0) pk2 = 2 + = 2 1+ .
(s0 ) 4 (s0) 2 (s0 ) (s0) (s0 ) (s0)
Ako uvedemo
1 0 (s0 )
(s) = 0(s) = ,
(s0 ) 2 (s0 )
30
tada je
0(s0)
p = c(s0) + (s0)N (s0) + B(s0 ) (6.8)
(s0)
0
2 2 (s0 ) 2
R = (s0) + . (6.9)
(s0 )
Definicija 6.8 Sferu koja s krivuljom ima dodir barem 3. reda nazivamo oskulacijskom
sferom.
Propozicija 6.9 Od svih sfera prostora koje prolaze tockom dane dopustive krivulje, dodir
najveceg moguceg reda ima oskulacijska sfera.
Sad mozemo izvesti uvjet pod kojim je neka krivulja sferna, tj. uvjet da njena slika lezi
na nekoj sferi. U tu svrhu pogledajmo najprije kako se mijenja oskulacijska sfera kada se
tocka pomice po krivulji. Relacije (6.8), (6.9) promotrimo kao funkcije od s. Derivacijom
po s dobivamo
0 0 0 0 !
0 0 0
p (s) = T + N + (T + B) + B + ( N ) = + B,
0 0 0 0
2 0 0 0 0
R (s) = 2 + 2 =2 + .
Ako krivulja u svim svojim tockama ima istu oskulacijsku sferu, tada su p i R neovisi o s,
pa njihove derivacije po s iscezavaju. Iz prethodnog slijedi da se to desava ako i samo ako
je 0 0
+ = 0. (6.10)
Tada, dakle, c lezi na svojoj oskulacijskoj sferi. Obratno, ako c zadovoljava jednadzbu
neke sfere, tj. ako postoje konstante p R3 , R R tako da je
2
c(s) p = R2,
tada deriviranjem dobivamo uvjet (6.10). Stoga uvjet (6.10) nazivamo uvjetom sfericnosti.
Uocimo da sferna krivulja lezi na svojoj oskulacijskoj sferi.
Zadatak. Dokazite, ako krivulja ima u svakoj svojoj tocki sa oskulacijskom ravninom
dodir barem 3. reda (hiperoskulacija), tada je krivulja ravninska.
Uputa: Izvedite uvjet dodira 3. reda krivulje i ravnine u po volji odabranoj tocki. Mora
vrijediti (s) = 0, s I.
31
Napomena 5.2. Osim dodira krivulje i ravnine, odnosno sfere, cesto se promatra dodir
krivulje s nekom opcom plohom 2. reda (oskulacijske kvadrike).
Takoder proucava se i dodir dviju ploha. I u tom se kontekstu spominju oskulacijske
kvadrike. Tip oskulacijske kvadrike opisuje vrstu tocaka na plohi: elipticke, hiperbolicke
i parabolicke tocke. To cemo spomenuti u vezi s Gaussovom zakrivljenoscu plohe.
32