Diferenciální geometrie Pomocný učební text – díl I.
František Ježek
Plzeň, červen 2005
Obsah 1 Křivky 1.1 Vyjádření křivky . . . . . . . . . . . 1.2 Transformace parametru . . . . . . . 1.3 Délka křivky, oblouk jako parametr . 1.4 Tečný vektor a tečna křivky . . . . . 1.5 Oskulační rovina . . . . . . . . . . . 1.6 Frenetovy vzorce, křivosti . . . . . . 1.7 Kanonické a přirozené rovnice křivky 1.8 Oskulační vlastnosti křivek . . . . . . 1.9 Obálky systému křivek . . . . . . . . 1.10 Spádové křivky, evoluty a evolventy .
2
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
4 4 5 7 8 10 11 13 14 16 17
Předmluva Tento text je záznamem přednášek, které jsem připravil pro Fakultu aplikovaných věd v akademickém roce 2002/03 pro předmět Diferenciální geometrie. Ochotným přístupem dvou studentů byl záznam přednášek vysázen v systému LATEX. Později jsem provedl autorizaci a doplnění tohoto záznamu. Velké poděkování patří studentům Petru Märzovi a Marku Byrtusovi, kteří pro budoucí generaci studentů připravili základ záznamu přednášek. Budu Vám vděčný za případné připomínky k textu. Řadu podnětů v roce 2004 a 2005 poslali Josef Otta a Martina Sitková, za což jim patří dík. Většinu námětů jsem akceptoval.
František Ježek
3
Kapitola 1 Křivky 1.1
Vyjádření křivky
Definice 1. Regulární křivkou třídy Cn v E3 rozumíme množinu K ⊂ E3 , pro níž existuje vektorová funkce P (t), t ∈ I, tak, že (a) P : I → K, I je otevřený interval, (b) P je třídy Cn , P 0 (t0 )| = (c) |P 6 0 pro všechna t0 ∈ I, (d) t1 6= t2 ⇒ P (t1 ) 6= P (t1 ). Poznámka 1. Rozepsáním do složek dostaneme parametrické vyjádření. Příklad 1. Uvažujme dvě různé parametrizace přímky (a) P (t) = (t, t, t), t ∈ R, toto vyjádření přímky vyhovuje definici regulární křivky, (b) P (t) = (t3 , t3 , t3 ), t ∈ R, stejná přímka jako v (a), ale tato parametrizace přímky již nesplňuje podmínky definice, protože neplatí nerovnost P 0 (0)| = |P 6 0. Poznámka 2. Definice křivky je, jak to u elementárních pojmů bývá, poměrně komplikovaná. Námi uvedená definice regulární křivky je problematická při praktickém ověřování podmínek. V dalším textu budeme používat pojem křivka (bez přívlastku). Křivkou rozumíme množinu (bodů), která je skoro všude (až na konečný počet bodů) regulární křivkou.
4
1.2. Transformace parametru
5
Obrázek 1.1: K definici křivky Poznámka 3. Kromě vektorových (nebo parametrických) rovnic lze pracovat i s explicitními nebo implicitními rovnicemi.
E2 E3
Explicitní Implicitní y = f (x) f (x, y) = 0 y = f1 (x) f1 (x, y, z) = 0 z = f2 (x), x ∈ I f2 (x, y, z) = 0
Převod mezi implicitním a explicitním tvarem lze provést pomocí věty o implicitních funkcích. K určení regulární křivky implicitními rovnicemi je nutné, aby následující matice měla hodnost 2: ! ∂f1 ∂f1 ∂f1 ∂x ∂f2 ∂x
1.2
∂y ∂f2 ∂y
∂z ∂f2 ∂z
.
Transformace parametru
Věta 1. Nechť P (t), t ∈ I, je regulární křivkou a nechť ϕ je spojitá funkce ϕ : I? → I a ϕ0 (t?0 ) 6= 0 pro každé t?0 ∈ I? . Pak P (ϕ(t? )), t? ∈ I? , je vektorovou rovnicí křivky P (t).
1.2. Transformace parametru
6
Důkaz. Funkce ϕ je rostoucí nebo klesající, tedy je prostá. Snadno se ověří podmínky definice 1 i pro P (ϕ(t? )) na I? .
Obrázek 1.2: Transformace parametru
Obrázek 1.3: Transformace parametru na křivce
1.3. Délka křivky, oblouk jako parametr
1.3
7
Délka křivky, oblouk jako parametr
Věta 2. Nechť P (t), t ∈ I = (td , th ). Pak délka křivky je dána vztahem Zth p P 0 (t) · P 0 (t) dt d= td
Důkaz. Tvrzení plyne z integrálního počtu a z rovnice: 2 2 2 dx(t) dy(t) dz(t) 0 0 P (t) · P (t) = + + . dt dt dt
Definice 2. Nechť P (t), t ∈ I, je regulární křivkou. Položme Zt q s(t) = P 0( b t ) · P 0( b t ) db t td
a inverzní funkci označme t(s). Pak nový parametr s nazýváme oblouk. q 0 Poznámka 4. Definice 2 je korektní, neboť s (t) = P 0 ( b t ) · P 0( b t) > 0 a tedy existuje inverzní funkce. Derivaci podle oblouku značíme tečkou, tj. P (s) dP P˙ (s) = . ds Příklad 2. Kružnici k = (0, r) parametrizujte obloukem. Víme, že parametrické vyjádření kružnice je x(t) = r cos t, kde s(t) =
Zt p 0 1 s r
y(t) = r sin t,
2b
r2 cos2 b t + r2 sin t db t=
t ∈ h0, 2π) , Zt √
r2 db t = rt.
0
a z toho už plyne parametrizace obloukem ve tvaru 1 1 x(s) = r cos s a y(s) = r sin s . r r
Pak dostáváme t =
1.4. Tečný vektor a tečna křivky
8
Obrázek 1.4: Tečný vektor křivky
1.4
Tečný vektor a tečna křivky
Z diferenciálního počtu je známo, že „tečna je limitní polohou sečnyÿ. Definice 3. Vektor
P dP (t0 ) dt nazýváme tečný vektor křivky P (t), t ∈ I, v bodě t0 . Tečnou křivky v daném P 0 (t0 ). bodě rozumíme přímku R (k) = P (t0 ) + kP P 0 (t0 ) =
Věta 3. Křivka má v daném bodě jedinou tečnu. Důkaz. Z definice 3 plyne, že v dané parametrizaci existuje v daném bodě křivky jediná tečna. Stačí tedy dokázat, že tečna nezávisí na zvolené parametrizaci. Uvažujme změnu parametru t = ϕ(t? ), kde ϕ je spojitá a ϕ0 6= 0. Pak platí P (t) dϕ(t? ) P (t? ) dP dP = · , dt? dt dt? dϕ(t? ) kde člen 6= 0. Tečné vektory pro různé parametrizace jsou kolineární, dt? tj. tečna nezávisí na parametrizaci.
1.4. Tečný vektor a tečna křivky
9
Věta 4. Nechť P (t), t ∈ I, je regulární křivka. Parametr t je obloukem, právě dP P = 1 pro každé t ∈ I. když dt Důkaz.
⇒ Nechť t je parametr, který je obloukem. Platí Zt q t = s(t) = P 0( b t ) · P 0( b t ) db t. td
Derivujeme-li podle t, dostáváme tuto rovnici p P 0| . 1 = P ( t ) · P ( t ) = |P P 0 | = 1 podle parametru dostáváme ⇐ Integrováním vztahu |P Zs
Zs q P 0( b t ) · P 0( b t ) db t, 1d b t =
sd
sd
Zs q s − sd = P 0( b t ) · P 0( b t ) db t. sd
Pro oblouk položíme sd = 0. Věta 5. Nechť je dána křivka implicitními rovnicemi f1 (x, y, z) = 0, f2 (x, y, z) = 0 a nechť bod [x0 , y0 , z0 ] leží na křivce. Pak vektor ∂f1 ∂f1 ∂f1 ∂f1 ∂f1 ∂f1 ∂x ∂z ∂x ∂y ∂y ∂z , − , ∂f2 ∂f2 ∂f2 ∂f2 ∂f2 ∂f2 ∂y ∂z ∂x ∂y ∂x ∂z je tečným vektorem této křivky. Důkaz. Nechť x = x(t), y = y(t), z = z(t) je parametrické vyjádření téže df df křivky v okolí bodu [x0 , y0 , z0 ], pak pro derivace dt1 a dt2 platí následující rovnost dfi ∂fi dx ∂fi dy ∂fi dz = · + · + · = 0 , i = 1, 2 . dt ∂x dt ∂y dt ∂z dt dx dy dz Hledáme řešení pro neznámé , a . Jde o ortogonální vektor k jidt dt dt dx dy dz ným dvěma vektorům. Použijeme tedy vektorový součin, tj. , , dt dt dt ∂f1 ∂f1 ∂f1 ∂f2 ∂f2 ∂f2 je kolineární s , , × , , . ∂x ∂y ∂z ∂x ∂y ∂z
1.5. Oskulační rovina
10
Příklad 3. Určete tečnu řezu kulové plochy (0, r = 5) rovinou x+y+z−7 = 0 ve zvoleném bodě. Máme tedy dvě implicitní vyjádření, která jsou x2 + y 2 + z 2 − 25 = 0 x + y + z − 7 = 0. Můžeme si zvolit z, např. z = 0, pak bodem, který splňuje rovnost, je např. [3, 4, 0]. Dostáváme následující obecnou soustavu 2x
dy dz dx + 2y + 2z = 0 dt dt dt dx dy dz + + = 0. dt dt dt
Dosadíme-li bod [3, 4, 0] do první rovnice dx dy +8 +0 = 0 dt dt dx dy dz + + = 0, dt dt dt
6
pak tečný vektor v bodě [3, 4, 0] 8 0 6 0 t = 1 1 , − 1 1 ,
podle věty 5 má tvar 6 8 = (8, −6, −2) ∼ (4, −3, −1) . 1 1
Tečna v bodě je R (t) = (3, 4, 0) + t(4, −3, −1).
1.5
Oskulační rovina
Oskulační rovina je „limitní polohouÿ roviny tX určené tečnou t a „pohybujícím se bodem X křivkyÿ. Definice 4. Nechť P (t), t ∈ I, je regulární křivka a je dáno t0 ∈ I. Nechť vektory P 0 (t0 ) a P 00 (t0 ) jsou nekolineární, pak rovinu P 0 (t0 ) + vP P 00 (t0 ) R (u, v) = P (t0 ) + uP nazýváme oskulační rovinou křivky v daném bodě. Věta 6. Oskulační rovina se nemění při změně parametrizace.
1.6. Frenetovy vzorce, křivosti
11
Důkaz. Je-li t = ϕ(t? ), kde ϕ je spojitá a ϕ0 6= 0 pro každé t? ∈ I? , pak platí t?0 = ϕ−1 (t0 ) , P (ϕ(t? )) ? dP dϕ (t0 ) = P 0 (t0 ) · ? (t?0 ) ? dt dt a z toho plyne, že tečné vektory jsou kolineární. Určíme dále druhé derivace: 2 P d2 ϕ P dϕ 0 d2P dP dP dϕ 00 · ? = 2 · + · P = , dt dt dt dt? dt dt?2 P 0 (t?0 ) =
P 00 (t?0 ) = P 00 (t0 ) · (ϕ0 (t?0 ))2 + P 0 (t0 ) · ϕ00 (t?0 ). P 00 (t?0 ) je tedy lineární kombinací P 0 (t0 ) a P 00 (t0 ). Definice 5. Bod křivky, v němž P 0 (t0 ) a P 00 (t0 ) jsou kolineární, nazýváme inflexní bod. Poznámka 5. V inflexním bodě není definována oskulační rovina, resp. za oskulační rovinu lze považovat každou rovinu procházející tečnou. Snadno tedy plyne, že pojem „inflexní bodÿ nezávisí na parametrizaci (viz důkaz věty 6).
1.6
Frenetovy vzorce, křivosti
Definice 6. Normálou křivky v daném bodě rozumíme každou přímku R (s) = n, kde n · P 0 (t0 ) = 0, tj. každou přímku kolmou na tečnu. Hlavní P (t0 ) + sn normála n je normála ležící v oskulační rovině. Binormála b je normála, která je kolmá k oskulační rovině. Rovinu tb nazýváme rektifikační, rovinu nb nazýváme normálová. Nechť křivka je parametrizovaná obloukem P (s), s ∈ I. Víme, že |P˙ (s0 )| = 1 (podle věty 4) pro každé s0 ∈ I. Tedy P˙ · P¨ + P¨ · P˙ = 0 ⇒ P˙ · P¨ = 0, tj. P¨ je buď nulový (inflexe), nebo ortogonální k P˙ . Definice 7. První křivostí křivky v bodě rozumíme číslo 1 k(s0 ) = |P¨ (s0 )|, tj. velikost vektoru druhé derivace vektorové funkce parametrizované pomocí oblouku.
1.6. Frenetovy vzorce, křivosti
12
Obrázek 1.5: Tečna t, hlavní normála n, binormála b, oskulační rovina τ , normálová rovina ν, rektifikační rovina µ křivky k v bodě X ¨ 0) = 11k ·P¨ (s0 ) = 11k ·t˙ (s0 ) jednotkové Označme t (s0 ) = P˙ (s0 ) a n (s0 ) = |PP¨ (s (s0 )| vektory tečny a hlavní normály. Dále b (s0 ) = t (s0 ) × n (s0 ) je jednotkový vektor binormály. Ze vztahu b (s0 ) ·bb(s0 ) = 1 plyne derivováním b (s0 ) · b˙ (s0 ) = n. Dále b · t = 0 0. Tedy b˙ patří do zaměření oskulační roviny, tj. b˙ = Att + Bn 1 ˙ ˙ ˙ ˙ a derivováním b · t + b · t = 0 ⇒ b · t + b · k · n = 0 ⇒ b · t = 0. Jestliže rovnici n vynásobíme t , máme b˙ · t = A, ale to je nula. Tím jsme ukázali, b˙ = Att + Bn že koeficient A je nulový a tedy vektory b˙ a n jsou kolineární. To nám dovolí definovat druhou křivost křivky.
Definice 8. Druhou křivostí křivky (torzí) v bodě rozumíme číslo 2
k(s0 ) = −b˙ · n ,
neboli |2 k(s0 )| = |b˙ |. Věta 7. (Frenetovy vzorce) Pro regulární křivku parametrizovanou obloukem platí 1 n t˙ = kn 1 n˙ = − ktt + 2 kbb n. b˙ = − 2 kn Důkaz. Máme tyto vztahy 1 n t˙ = kn b˙ = −2 kn n
1.7. Kanonické a přirozené rovnice křivky
13
a chceme určit n˙ . Víme, že platí n˙ · n = 0, tedy n˙ = Att + Bbb (je lineární kombinací vektorů kolmých k vektoru n ). Derivováním dostaneme t ·n = ⇒ t · n˙ b ·n = ⇒ b · n˙
1 0 ⇒ t˙ · n + t · n˙ = 0 ⇒ k + t · n˙ = 0 1 = − k, 0 ⇒ b˙ · n + b · n˙ = 0 ⇒ −2 k + b · n˙ = 0 = 2k .
Snadno plyne A = −1 k, B = 2 k. Poznámka 6. Ryze algebraicky lze větu vyvodit po zavedení první křivosti pomocí tzv. věty o ortonormálním repéru. Věta 8. Pro regulární křivku s obecným parametrem platí (1 k)2 = 2
k=
P 0 × P 00 )2 (P P 0 · P 0 )3 (P
P 0 , P 00 , P 000 ) (P P 0 × P 00 )2 (P
Důkaz. Důkaz je snadným cvičením a provede se změnou parametrizace.
1.7
Kanonické a přirozené rovnice křivky
Pro vektorovou funkci P (s) použijeme v okolí bodu s = 0 rozvoje v mocninn, dále snadno vypočteme nou řadu. Platí P˙ = t , P¨ = 1 kn d1 k 1 ˙ n = −1 k 2t + 1 kn ˙ n + 1 k 2 kbb . = k(−1 ktt + 2 kbb) + 1 kn ds Pro rozvoj bude platit P (3) = 1 kn˙ + n
1 1 P (s) = P (0) + P (1) (0)s + P (2) (0)s2 + P (3) (0)s3 + . . . 2 6 a tedy (v lokálním repéru) 11 2 3 P (s) = P (0) + t (0) s − k (0)s + . . . + 6 11 11 ˙ 2 3 + n (0) k(0)s + k(0)s + . . . + 2 6 11 2 3 + b (0) k(0) k(0)s + . . . . 6
1.8. Oskulační vlastnosti křivek
14
n0 g2 (s)+ Definice 9. Vyjádření křivky P (s) ve tvaru P (s) = P (0)+tt0 g1 (s)+n b 0 g3 (s), kde funkce gi (s) jsou dány řadou, jejíž členy obsahují hodnotu derivací první a druhé křivosti v bodě s = 0, nazýváme kanonickými rovnicemi křivky v okolí bodu s = 0. Poznámka 7. Nejjednodušší náhradou prostorové křivky (jednodušší prostorovou křivkou) je P (s) ≈ P (0) + t (0)s + n (0)
11 1 k(0)s2 + b (0) 1 k(0) 2 k(0)s3 . 2 6
Z vymezení pojmu kanonická rovnice plyne, že je-li dán repér, pak k určení křivky stačí znát 1 k(s) a 2 k(s). Definice 10. Jsou-li dány funkce 1 k(s) a 2 k(s), je dán přirozený popis („přirozené rovniceÿ) křivky, neboli trojice s, 1 k(s), 2 k(s) tvoří přirozené souřadnice bodu na křivce. Příklad 4. Přirozené rovnice kružnice jsou 1 k = 1r ; 2 k = 0. Křivkou s přirozenými rovnicemi 1 k(0) = a1 s + a0 , 2 k(s) = 0 je klotoida. Použití má tato křivka v návrhu přechodových oblouků komunikací.
Obrázek 1.6: Klotoida
1.8
Oskulační vlastnosti křivek
Definice 11. Nechť P (s) a Q (s), s ∈ I, jsou křivky. Řekneme, že pro s = 0 mají dotyk řádu q (neboli q + 1 bodový dotyk), jestliže drP drQ (0) = (0), r = 0, . . . , q . dsr dsr
1.8. Oskulační vlastnosti křivek
15
Věta 9. Nutnou a postačující podmínkou pro dotyk řádu q ve společném bodě křivek je: q = 1 rovnost jednotkových tečných vektorů, q = 2 rovnost jednotkových tečných vektorů, jednotkových vektorů hlavních normál a rovnost první křivosti, q = 3 rovnost jednotkových tečných vektorů, jednotkových vektorů hlavních normál, rovnost první a druhé křivosti a rovnost derivace první křivosti. Důkaz. Plyne z kanonického tvaru křivky. Definice 12. Kružnici, která má s křivkou v daném bodě dotyk alespoň druhého řádu (alespoň tříbodový), nazýváme oskulační kružnicí. Kružnice s dotykem alespoň třetího řádu (alespoň čtyřbodovým) se nazývá hyperoskulační kružnice. Věta 10. Oskulační kružnice křivky P (s) v bodě s = s0 leží v oskulační 1 a pro střed této kružnice platí rovině křivky v daném bodě, má poloměr 1 k(s) 1 S = P (s0 ) + 1 k(s0 ) n (s0 ). Důkaz. Důkaz plyne z věty 9. Technickým problémem je stanovení znaménka + nebo − u vektoru hlavní normály.
Obrázek 1.7: Oskulační kružnice křivky k v bodě X(s0 )
1.9. Obálky systému křivek
1.9
16
Obálky systému křivek
Uvažujeme křivky F (x, y, α0 ) = 0 a F (x, y, α1 ) = 0 a nechť tyto křivky mají průsečík Q. Místo toho můžeme vzít ekvivalentní soustavu F (x, y, α0 ) = 0 ;
F (x, y, α1 ) − F (x, y, α0 ) = 0. α1 − α0
Limitním přechodem α1 → α0 máme soustavu F (x, y, α) = 0 ;
∂F (x, y, α) = 0. ∂α
Jejím řešením je (pokud řešení existuje) charakteristický bod. Pro proměnné α dostaneme obalovou křivku a α je její parametr. Věta 11. V charakteristickém bodě, v němž dotýká tvořící křivky.
∂2F ∂α2
6= 0, se obalová křivka
= 0 byl eliminován parametr Důkaz. Nechť z rovnice F (x, y, α) = 0 a ∂F (x,y,α) ∂α 2 α, tj. F (x, y, α(x, y)) = 0. K tomu potřebujeme podmínku ∂∂αF2 6= 0. Uvažujme charakteristický bod X[x0 , y0 ], který odpovídá poloze tvořící křivky pro α0 . Tečna obálky bude v tomto tvaru ∂F ∂α ∂F ∂F ∂α ∂F + · + · + (y − y0 ) = 0, (x − x0 ) ∂x ∂α ∂x (x0 ,y0 ) ∂y ∂α ∂y (x0 ,y0 ) ale
∂F ∂α
= 0. Z toho vyplývá
(x − x0 )
∂F ∂F (x0 , y0 , α(x0 , y0 )) + (y − y0 ) (x0 , y0 , α(x0 , y0 )) = 0, ∂x ∂y
což je však tečna křivky F (x, y, α0 ) = 0 v bodě X. Poznámka 8. Využili jsme toho, že pro rovinnou křivku F (x, y) = 0 je rovnicí ∂F ∂F (x − x0 ) (x0 , y0 ) + (y − y0 ) (x0 , y0 ) = 0 ∂x ∂y dána tečna křivky v bodě [x0 , y0 ]. Příklad 5. Určete obálku systému kružnic (x − α)2 + y 2 = 1. Podle předcházející věty máme rovnice: ∂F ∂2F = 2(x − α)(−1) = 0, 6= 0. ∂α ∂α2
1.10. Spádové křivky, evoluty a evolventy
17
Dostáváme dvě rovnice (x − α)2 + y 2 − 1 = 0 x − α = 0 Vyjádříme-li z druhé rovnice x a dosadíme jej do první rovnice, máme pak rovnici y 2 − 1 = 0, tj. y = ±1. Obálkou systému křivek jsou tedy dvě přímky y = 1 a y = −1.
1.10
Spádové křivky, evoluty a evolventy
Definice 13. Nechť je dán jednotkový vektor w a odchylka ω ∈ h0, πi. Spádovou křivkou k pro daný vektor w a odchylku ω se rozumí křivka, jejíž všechny tečné vektory mají od vektoru w konstantní odchylku ω. Křivka k, která protíná kolmo všechny tečny dané křivky P = P (s) (a leží tedy na ploše tečen této křivky), se nazývá evolventou dané křivky k, viz obr. 1.8. Křivka k se nazývá evoluta křivky k. Věta 12. Křivka je spádová, právě když pro její křivosti a odchylku ω platí ve všech jejích bodech vztah 2
k sin ω − 1 k cos ω = 0.
Důkaz. Uvažujme nejprve křivku P (s) parametrizovanou obloukem, která je spádová pro vektor w a odchylku ω. Pro každé s z intervalu parametrizace platí w · P˙ (s) = cos ω. Vzhledem k tomu, že vektor w a odchylka ω nejsou závislé na parametru s, dostaneme pomocí derivování a prvního Frenetova vzorce n(s) = 0. w · P¨ (s) = w · 1 k(s)n Tedy vektor w je lineární kombinací vektorů t a b (je totiž kolmý k vektoru n ). Proto w · b = sin ω. Z druhého Frenetova vzorce n˙ = −1 ktt + 2 kbb a odvozených vztahů w · P˙ (s) = w · t = cos ω, w · b = sin ω již plyne dosazením do w · n˙ = 0 dokazovaný vzorec.
1.10. Spádové křivky, evoluty a evolventy
18
Opačná implikace se dokáže pomocí uplatnění Frenetových vzorců a při použití integrace. Nechť tedy 2
k sin ω − 1 k cos ω = 0,
pak 2
k sin ω · n − 1 k cos ω · n = −b˙ cos ω − t˙ sin ω = 0 .
Což lze psát jako −
d (tt cos ω + b sin ω) = O . ds
Integrací máme t cos ω + b sin ω = w , kde w je konstatní vektor. Po skalárním vynásobením vektorem t obdržíme t · w = cos ω. Tedy křivka je spádovou křivkou. Věta 13. Nechť je dána křivka P (s). Její evolventu lze vyjádřit ve tvaru R (s) = P (s) + (c − s) · t (s) ,
kde c ∈ R.
(1.1)
Evolventa tedy vzniká jako dráha bodu při odvalování tečny po dané křivce, tj. nanášením délky oblouku křivky na její tečnu.
Obrázek 1.8: Evoluta a evolventy Důkaz. Napište vektorovou funkci R (s), jež vyjadřuje evolventu k křivky k, čili křivku, která protíná kolmo všechny tečny dané křivky k. Z toho vyplývá R (s) = P (s) + λ(s) · t (s),
(1.2)
1.10. Spádové křivky, evoluty a evolventy
19
kde λ(s) je skalární funkce, t (s), resp. n (s), je tečný, resp. normálový, vektor Frenetova trojhranu. Zároveň platí R 0 · t (s) = 0,
(1.3)
a n(s). t˙ (s) = 1 kn Dosazení derivace rovnice 1.2 do rovnice 1.3 získáme rovnici t (s) + λ0 (s) · t (s) + λ(s) · t˙ (s) · t (s) = 0. Víme, že t (s) · t (s) = 1, t˙ (s) · t (s) = 0, tedy 1 + λ0 (s) · 1 + 0 = 0
⇒
λ0 (s) = −1.
Jestliže tento výsledek zintegrujeme, dostaneme λ(s) = −s + c, kde c je konstanta. Evolventou křivky k jsou křivky R (s) = P (s) + (c − s) · t (s) ,
kde c ∈ R.
(1.4)
Příklad 6. Napište rovnici evolventy kružnice. P (ϕ) = (a · cos ϕ, a · sin ϕ) P 0 (ϕ) = (−a · sin ϕ, a · cos ϕ) q P 0 (ϕ)| = a · (sin2 ϕ + cos2 ϕ) = a |P Z ϕ Z ϕ P 0 (ϕ) 0 P (ϕ)|du = = (− sin ϕ, cos ϕ) ; s = |P a · du = a · ϕ t (ϕ) = 0 P (ϕ)| |P u=0 u=0 Dosazením do vztahu 1.4 dostaneme R (ϕ) = (a · cos ϕ − c · sin ϕ + a · ϕ · sin ϕ, a · sin ϕ + c · cos ϕ − a · ϕ · cos ϕ) R (ϕ) = a · (cos ϕ + ϕ · sin ϕ) − c · sin ϕ, a · (sin ϕ − ϕ · cos ϕ) + c · cos ϕ . Pro c = 0 dostáváme R (ϕ) = a · (cos ϕ + ϕ · sin ϕ), a · (sin ϕ − ϕ · cos ϕ) .
1.10. Spádové křivky, evoluty a evolventy
Obrázek 1.9: Evolventa kružnice
20
Obrázek 1.10: Evolventa šroubovice
Příklad 7. Najděte evolventy šroubovice. P (ϕ) = (cos ϕ, sin ϕ, ϕ) q √ P (ϕ)| = sin2 ϕ + cos2 ϕ + 1 = 2 |P
0
0
P (ϕ) = (− sin ϕ, cos ϕ, 1) , 1 P˙ (ϕ) = √ · (− sin ϕ, cos ϕ, 1) t (ϕ) = 2 |P˙ (ϕ)| Z ϕ √ Z ϕ √ s = |P˙ (t)|dt = 2 · 1 · dt = 2 · ϕ t=0
t=0
Opět užitím vzorce 1.4 dostaneme √ 1 1 R (ϕ) = cos ϕ + c · (− √ · sin ϕ) + 2 · ϕ · ( √ · sin ϕ), 2 2 √ 1 1 sin ϕ + c · ( √ · cos ϕ) − 2 · ϕ · ( √ · cos ϕ) , 2 2 √ √ 2 1 . ϕ+c·( ) − 2 · ( √ · ϕ) 2 2 Provedeme-li substituci √1 · c = d dostaneme 2 R (ϕ) = (cos ϕ + ϕ · sin ϕ) − d · sin ϕ, (sin ϕ − ϕ · cos ϕ) + d · cos ϕ, d . Všechny evolventy šroubovice jsou rovinné křivky ležící v rovnoběžných rovinách z = d (viz obrázek 1.10). Speciálně v rovině z = 0 leží evolventa R (ϕ) = (cos ϕ + ϕ · sin ϕ, sin ϕ − ϕ · cos ϕ, 0), která je zároveň průsečnicí tečen šroubovice s touto rovinou.