LOKSODROMA NA SVITKU

Σχετικά έγγραφα
Anaglifne slike. Marko Razpet. Matematika in umetnost. Ljubljana, 14. marec Univerza v Ljubljani, Pedagoška fakulteta

Diferencialna enačba, v kateri nastopata neznana funkcija in njen odvod v prvi potenci

Tretja vaja iz matematike 1

Odvod. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 5. december Gregor Dolinar Matematika 1

Funkcijske vrste. Matematika 2. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 2. april Gregor Dolinar Matematika 2

Odvod. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 10. december Gregor Dolinar Matematika 1

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 21. november Gregor Dolinar Matematika 1

Zaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 22. oktober Gregor Dolinar Matematika 1

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 12. november Gregor Dolinar Matematika 1

IZPIT IZ ANALIZE II Maribor,

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 14. november Gregor Dolinar Matematika 1

Integralni račun. Nedoločeni integral in integracijske metrode. 1. Izračunaj naslednje nedoločene integrale: (a) dx. (b) x 3 +3+x 2 dx, (c) (d)

Kotni funkciji sinus in kosinus

Kotne in krožne funkcije

Na pregledni skici napišite/označite ustrezne točke in paraboli. A) 12 B) 8 C) 4 D) 4 E) 8 F) 12

KODE ZA ODKRIVANJE IN ODPRAVLJANJE NAPAK

Funkcije več spremenljivk

Zaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 15. oktober Gregor Dolinar Matematika 1

Gimnazija Krˇsko. vektorji - naloge

Univerza v Ljubljani Pedagoška fakulteta Oddelek za matematiko in računalništvo Katedra za algebro in analizo. Marko Razpet LOKSODROMA

diferencialne enačbe - nadaljevanje

vezani ekstremi funkcij

MATEMATIČNI IZRAZI V MAFIRA WIKIJU

SKUPNE PORAZDELITVE VEČ SLUČAJNIH SPREMENLJIVK

cot x ni def. 3 1 KOTNE FUNKCIJE POLJUBNO VELIKEGA KOTA (A) Merske enote stopinja [ ] radian [rad] 1. Izrazi kot v radianih.

1. Definicijsko območje, zaloga vrednosti. 2. Naraščanje in padanje, ekstremi. 3. Ukrivljenost. 4. Trend na robu definicijskega območja

*M * Osnovna in višja raven MATEMATIKA NAVODILA ZA OCENJEVANJE. Sobota, 4. junij 2011 SPOMLADANSKI IZPITNI ROK. Državni izpitni center

Kvadratne forme. Poglavje XI. 1 Definicija in osnovne lastnosti

Domače naloge za 2. kolokvij iz ANALIZE 2b VEKTORSKA ANALIZA

Osnove matematične analize 2016/17

Splošno o interpolaciji

Matematika 2. Diferencialne enačbe drugega reda

matrike A = [a ij ] m,n αa 11 αa 12 αa 1n αa 21 αa 22 αa 2n αa m1 αa m2 αa mn se števanje po komponentah (matriki morata biti enakih dimenzij):

Univerza v Ljubljani Pedagoška fakulteta Oddelek za matematiko in računalništvo. Marko Razpet EVDOKSOVA HIPOPEDA.

Numerično reševanje. diferencialnih enačb II

Vaje iz MATEMATIKE 2. Vektorji

Enačba, v kateri poleg neznane funkcije neodvisnih spremenljivk ter konstant nastopajo tudi njeni odvodi, se imenuje diferencialna enačba.

Analiza 2 Rešitve 14. sklopa nalog

PONOVITEV SNOVI ZA 4. TEST

Definicija. definiramo skalarni produkt. x i y i. in razdaljo. d(x, y) = x y = < x y, x y > = n (x i y i ) 2. i=1. i=1

Matematika. Funkcije in enačbe

Afina in projektivna geometrija

SEMINARSKA NALOGA Funkciji sin(x) in cos(x)

Izpeljava Jensenove in Hölderjeve neenakosti ter neenakosti Minkowskega

Osnove elektrotehnike uvod

1. Trikotniki hitrosti

Vaje iz MATEMATIKE 8. Odvod funkcije., pravimo, da je funkcija f odvedljiva v točki x 0 z odvodom. f (x f(x 0 + h) f(x 0 ) 0 ) := lim

Matematika I (VS) Univerza v Ljubljani, FE. Melita Hajdinjak 2013/14. Pregled elementarnih funkcij. Potenčna funkcija. Korenska funkcija.

Podobnost matrik. Matematika II (FKKT Kemijsko inženirstvo) Diagonalizacija matrik

IZVODI ZADACI (I deo)

1 Seštevanje vektorjev in množenje s skalarjem

INŽENIRSKA MATEMATIKA I

Funkcije dveh in več spremenljivk

8. Diskretni LTI sistemi

Booleova algebra. Izjave in Booleove spremenljivke

Kontrolne karte uporabljamo za sprotno spremljanje kakovosti izdelka, ki ga izdelujemo v proizvodnem procesu.

VEKTORJI. Operacije z vektorji

Reševanje sistema linearnih

GEOMETRIJA V RAVNINI DRUGI LETNIK

UNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA FAKULTETA ZA MATEMATIKO IN FIZIKO DIPLOMSKO DELO ZDENKA MIHELIČ

Iterativno reševanje sistemov linearnih enačb. Numerične metode, sistemi linearnih enačb. Numerične metode FE, 2. december 2013

Žiga Virk REŠENE NALOGE IZ UVODA V DIFERENCIALNO GEOMETRIJO

II. LIMITA IN ZVEZNOST FUNKCIJ

Navadne diferencialne enačbe

Najprej zapišemo 2. Newtonov zakon za cel sistem v vektorski obliki:

Matematika 1. Gabrijel Tomšič Bojan Orel Neža Mramor Kosta

13. Jacobijeva metoda za računanje singularnega razcepa

2. KOLOKVIJ IZ MATEMATIKE 1

Frekvenčna analiza neperiodičnih signalov. Analiza signalov prof. France Mihelič

Matematika 1. Gregor Dolinar. 2. januar Fakulteta za elektrotehniko Univerza v Ljubljani. Gregor Dolinar Matematika 1

PROCESIRANJE SIGNALOV

Univerza v Ljubljani Pedagoška fakulteta Oddelek za matematiko in računalništvo Katedra za algebro in analizo. Marko Razpet NIKOMEDOVA KONHOIDA

Navadne diferencialne enačbe

Funkcija je predpis, ki vsakemu elementu x iz definicijskega območja D R priredi neko število f (x) R.

Spoznajmo sedaj definicijo in nekaj osnovnih primerov zaporedij števil.

Delovna točka in napajalna vezja bipolarnih tranzistorjev

Bézierove krivulje. Fakulteta za matematiko in fiziko, Univerza v Ljubljani. MARS 2009, Koper, / 54

DISKRETNA FOURIERJEVA TRANSFORMACIJA

V tem poglavju bomo vpeljali pojem determinante matrike, spoznali bomo njene lastnosti in nekaj metod za računanje determinant.

D f, Z f. Lastnosti. Linearna funkcija. Definicija Linearna funkcija f : je definirana s predpisom f(x) = kx+n; k,

Univerza v Ljubljani Fakulteta za računalništvo in informatiko MATEMATIKA. Polona Oblak

Del 5. Vektorske funkcije in funkcije več spremenljivk

Transformator. Delovanje transformatorja I. Delovanje transformatorja II

IZVODI ZADACI ( IV deo) Rešenje: Najpre ćemo logaritmovati ovu jednakost sa ln ( to beše prirodni logaritam za osnovu e) a zatim ćemo

ZBIRKA REŠENIH NALOG IZ MATEMATIKE II

POROČILO 3.VAJA DOLOČANJE REZULTANTE SIL

Univerza na Primorskem Pedagoška fakulteta Koper. Geometrija. Istvan Kovacs in Klavdija Kutnar

Matematika 1. Gabrijel Tomšič Bojan Orel Neža Mramor Kosta

Kotne funkcije poljubnega kota. Osnovne zveze med funkcijamo istega kota. Uporaba kotnih funkcij v poljubnem trikotniku. Kosinusni in sinusni izrek.

3.letnik - geometrijska telesa

Fazni diagram binarne tekočine

Računski del izpita pri predmetu MATEMATIKA I

Tema 1 Osnove navadnih diferencialnih enačb (NDE)

Poliedri Ines Pogačar 27. oktober 2009

1. UREJENE OBLIKE KVADRATNE FUNKCIJE

Algebraične strukture

Univerza v Ljubljani FS & FKKT. Varnost v strojništvu

FAKULTETA ZA STROJNIŠTVO Matematika 4 Pisni izpit 22. junij Navodila

Linearna algebra. Bojan Orel Fakulteta za računalništvo in informatiko

1 3D-prostor; ravnina in premica

Transcript:

Univerza v Ljubljani Pedagoška fakulteta Oddelek za matematiko in računalništvo Marko Razpet LOKSODROMA NA SVITKU Študijsko gradivo Funkcije več spremenljivk Ljubljana, marec 2013

Kazalo Predgovor 3 1 Torus ali svitek 4 2 Krivulje na torusu 8 3 Villarceaujeve krožnice na torusu 12 4 Bolj zavozlane loksodrome na torusu 17 5 Ortogonalne sklenjene loksodrome 21 Za konec 23 Literatura in spletni viri 26 2

Predgovor Loksodrome lahko definiramo na vsaki dovolj gladki rotacijski ploskvi. Zanimiva je loksodroma na obli ali sferi, še bolj pa na svitku ali torusu. Gre za krivulje, ki sekajo poldnevnike na rotacijski ploskvi pod enakim ostrim kotom. Beseda loksodroma izhaja iz grške besede λοξός, kar med drugim pomeni v klasični grščini poševen, poprečen, in δρόμος, kar pa pomeni tek. Morda bi bili primerni slovenski besedi za loksodromo poševnica ali poprečnica. Ime je skoval Willebrord van Roijen Snell (1580-1626), po katerem pogosto imenujejo lomni zakon v optiki. Angleži rečejo loksodromi the rhumb line. Beseda rhumb ima izvor v starogrški besedi ῥόμβος iz glagola ρέμβω, kar pomeni vrtim, obračam, sučem. Beseda ῥόμβος je pomenila tudi dvojni pokončni stožec in vrtavko. Dvojni pokončni stožec ima za osni presek ravno romb. Prek latinske besede rhombus, so Španci dobili rumbo, Portugalci pa rumo kot izraz v navigaciji. Besedo romb uporablja Evklid v 1. knjigi svojih Elementov, in sicer v 22. definiciji: ῥόμβος, ὅ ἰσόπλευρον μέν, οὐκ ὀρθογώνιον (enakostranični (štirikotnik), toda ne pravokoten). Da bo branje tistih nekaj grških besed v pričujočem besedilu potekalo kot po maslu, najprej še enkrat zapišimo klasični grški alfabet, ki ima le 24 črk (γράμματα). Α α alfa Ι ι jota Ρ ρ ro Β β beta Κ κ kapa Σ σ ς sigma Γ γ gama Λ λ lambda Τ τ tav Δ δ delta Μ μ mi Υ υ ipsilon Ε ε epsilon Ν ν ni Φ φ fi Ζ ζ zeta Ξ ξ ksi Χ χ hi Η η eta Ο ο omikron Ψ ψ psi Θ θ theta Π π pi Ω ω omega Gradivo je nastajalo pri predmetu Analiza 2, po bolonjski prenovi pa pri predmetu Funkcije več spremenljivk, ki se je v zimskem semestru akademskega leta 2010/2011 prvič izvajal na Pedagoški fakulteti Univerze v Ljubljani. Ljubljana, november 2013 Dr. Marko Razpet 3

1 Torus ali svitek Če krožnico s polmerom b > 0 zavrtimo za polni kot, to je za 360 ali 2π okoli premice v ravnini te krožnice, dobimo ploskev, ki ji rečemo torus ali svitek. Pri tem naj središče krožnice opiše krožnico s polmerom a > 0. Premica, okoli katere zavrtimo krožnico, je os torusa, središče krožnice, po kateri potuje pri vrtenju središče krožnice, pa je središče torusa. Krožnica s polmerom a, po kateri središče krožnice s polmerom b obkroži središče torusa, je središčnica torusa. Da bomo torus laže študirali in v zvezi z njim tudi kaj izračunali, postavimo pravokotni kartezični koordinatni sistem Oxyz tako, da je središče torusa v koordinatnem izhodišču, os torusa pa os z. Preostali dve koordinatni osi pa sta postavljeni tako, kot smo navajeni (slika 1). Slika 1: Nastajanje torusa. Oblika torusa je še najbolj odvisna od razmerja b/a. Če je a > b > 0, ima torus okoli svojega središča luknjo (slika 2). Takemu torusu pravimo krožni torus, ker ima obliko odebeljene krožnice in je še najbolj podoben avtomobilski zračnici ali okroglemu obroču pri sidru. Po angleško je tak torus ring torus, po nemško pa Ringtorus. Če je a = b > 0, se ta luknja popolnoma zapre (slika 3) in takrat govorimo o rogatem torusu, v angleščini horn torus, v nemščini Horntorus. Če namreč tak torus presekamo z ravnino skozi njegovo središče pravokotno na os, dobimo v vsaki polovici v sredini 4

Slika 2: Krožni torus presek skozi os. nekakšen rožiček vzdolž osi. Če je 0 < a < b, pa torus seka sam sebe, okoli njegovega središča dobimo vretenu podoben del, zato takemu torusu rečemo vretenasti torus (slika 4), po angleško spindle torus, po nemško pa Spindeltorus. Slika 3: Rogati torus presek skozi os. Torus v koordinatnem sistemu Oxyz, v katerem je O središče torusa, os z pa os torusa, najenostavneje parametriziramo z r (u, v) = ((a + b cos v) cos u, (a + b cos v) sin u, b sin v), pri čemer je π < u π, π < v π. Parametrizacijo najlaže razumemo, 5

Slika 4: Vretenasti torus presek skozi os. če vzamemo točko na torusu in gledamo osni presek torusa skozi to točko ter pravokotno projekcijo na ekvatorialno ravnino torusa, to je ravnino z = 0. S tem imamo na voljo analitično izražavo torusa, kar omogoča udobno računanje. Območje parametrov u in v, ki sestavljajo urejene pare (u, v), je kvadrat (slika 5) Q = {(u, v) : π < u π, π < v π}. Parameter u je neke vrste zemljepisna dolžina na torusu, v pa zemljepisna širina. Vsaki točki na torusu ustreza natančno en par (u, v) v kvadratu Q. S parametrizacijo smo ustvarili koordinatni sistem na torusu. Pri konstantnem u dobimo poldnevnike na torusu, pri konstantnem v pa vzporednike. Poldnevniki in vzporedniki na torusu se sekajo pod pravim kotom. Vzporednik, določen z v = 0, je zunanji ekvator torusa, vzporednik, določen z v = π, pa notranji ekvator torusa. Pri a = b se vsi poldnevniki dotikajo osi torusa, notranji ekvator pa je izrojen v točko, središče torusa. Od zunanjega ekvatorja merimo kot v po poldnevniku. Ekvatorja sta krožnici v ravnini Oxy s polmerom a + b in a b. Poldnevnik, določen z u = 0, je začetni poldnevnik torusa. Od tega merimo 6

Slika 5: Območje parametrov za ves torus. kote u (slika 6). Slika 6: Poldnevnik in vzporednik na torusu. Torus brez težav zapišemo v implicitni obliki: ( x 2 + y 2 a) 2 = b 2 z 2. 7

Ko odpravimo koren, dobimo: (x 2 + y 2 + z 2 + a 2 b 2 ) 2 = 4a 2 (x 2 + y 2 ). Taka oblika je primerna za izpeljavo enačb Perzejevih krivulj. Torus je torej algebrska ploskev četrte stopnje, njena oblika pa je odvisna od polmerov a in b. Beseda torus je latinska in ima več pomenov, med drugim tudi vozel, pentlja, trak pri vencu, pomanjševalnica torulus pa svitek las. Tako je še najlepša domača beseda za torus pravzaprav svitek. V starih časih so dekleta in žene nosile na glavah škafe in vedra. Na glave pa so si pred tem za ublažitev pritiska namestile ravno prav trde svitke iz blaga. Tak svitek je omogočal, da so najbolj spretne nosile polno posodo ne da bi jo držale z rokami. Preseki torusa z ravninami, vzporednimi njegovi osi, so Perzejeve krivulje, imenovane po grškem geometru Perzeju (Περσεύς), ki je živel v 2. stoletju pred našim štetjem, O njem vemo zelo malo, toda zahvaljujoč Heronu ( Ηρων ὁ Ἀλεξανδρεύς) in Geminu (Γεμῖνος ὁ Ρόδιος) izvemo vsaj to, da se je Perzej ukvarjal s krivuljami, ki nastanejo z ravninskimi preseki torusa. Torus je Perzej imenoval spejra (σπεῖρα). V slovarju [6] za geslom σπεῖρα med drugim piše: kar je spleteno, zanka, vrv; ovinek, zavinek. Angleži Perzejevi krivulji zato pravijo spiric section, beseda spejra pa nekaj takega kot anchor-ring, obroč pri sidru, ki je res podoben torusu. 2 Krivulje na torusu Če je K krivulja v kvadratu Q, se bo le-ta s funkcijo (u, v) r (u, v) preslikala v krivuljo na torusu. Sedaj bomo poiskali loksodromo na torusu, to je tisto krivuljo na njem, ki njegove poldnevnike seka pod enakim kotom α. Za ta kot bomo vzeli, da je pozitiven in manjši kot π/2. Poiskati moramo tako povezavo med parametroma u in v, ki definira krivuljo na torusu, ki seka njegove poldnevnike pod stalnim kotom α. To bo nekaj takega kot je relacija med x in y v koordinatnem sistemu Oxy. Kot α med krivuljama je kot med tangentama v presečišču teh krivulj. Ker ima diferencial d r krivulje isto smer kot njena tangenta, lahko kot med njima 8

hitro izrazimo. Diferencial v zvezi s prvo krivuljo označimo z d, v zvezi z drugo pa z δ. Torej lahko izrazimo Na ploskvi r = r (u, v) je in cos α = d r δ r d r δ r = d r δ r ds δs. d r = r r du + u v dv d r 2 = ds 2 = E du 2 + 2F dudv + Gdv 2, pri čemer so Gaußovi koeficienti E, F, G definirani takole: E = r u r u, F = r u r v, G = r v r v. Preprost račun pokaže, da sta za torus: r u r v Nazadnje dobimo za torus = ( (a + b cos v) sin u, (a + b cos v) cos u, 0), = ( b cos u sin v, b sin u sin v, b cos v). E = (a + b cos v) 2, F = 0, G = b 2 in ds 2 = (a + b cos v) 2 du 2 + b 2 dv 2. Sedaj ni težko izraziti produkt za parametrizirano ploskev d r δ r = ( r r r r du + dv) ( δu + u v u v δv). Z Gaußovimi koeficienti dobimo: d r δ r = E duδu + F (duδv + δudv) + G dvδv. Posebej je za torus d r δ r = (a+b cos v) 2 duδu+b 2 dvδv. Za krivulji na torusu je nazadnje: cos α = (a + b cos v) 2 duδu + b 2 dvδv (a + b cos v) 2 du 2 + b 2 dv 2 (a + b cos v) 2 δu 2 + b 2 δv. 2 9

Iskana loksodroma naj ima diferenciale d, poldnevnik pa δ. Na poldnevniku se parameter u ne spreminja, zato je δu = 0 in izraz za kot α se poenostavi: cos α = bdv (a + b cos v) 2 du 2 + b 2 dv 2. Dobljeno diferencialno enačbo preoblikujemo, tako da najprej zapišemo 1 cos 2 α = 1 + tg2 α = 1 + 1 b 2 iz česar dobimo preprosto diferencialno enačbo ki razpade na dve: Ločimo spremenljivki: ( ) 2 du (a + b cos v) 2, dv ( ) 2 du (a + b cos v) 2 = b 2 tg 2 α, dv du dv (a + b cos v) = b tg α, du (a + b cos v) = b tg α. dv du = b tg α dv dv, du = b tg( α) a + b cos v a + b cos v. Obravnavali bomo primer α > 0, saj sta si sliki za α > 0 in α < 0 zrcalni, če zrcalno ravnino postavimo skozi os z in jo zavrtimo okoli nje za primeren kot. Brez težav lahko zapišemo za dobljeno loksodromo diferencial loka: ds = b dv cos α. Za enolično rešitev dobljene diferencialne enačbe moramo poznati še začetni pogoj. Krivulja naj poteka skozi točko na torusu, ki ustreza parametroma u 0 in v 0. Z integracijo dobimo v dν u u 0 = b tg α v 0 a + b cos ν. Sedaj bi morali obravnavati loksodromo posebej za krožni, rogati in vretenasti torus. Slednjemu bi se najraje izognili zaradi gneče, ki nastane okoli 10

Slika 7: Loksodroma na rogatem torusu. torusovega vretena, in s tem bolj ali manj zapletene slike. Za rogati torus, ko je a = b, dobimo rešitev v u u 0 = tg α v 0 dν 1 + cos ν = tg α v v 0 dν 2 cos 2 (ν/2) = tg α(tg(v/2) tg(v 0/2)). Za loksodromo, ki poteka skozi točko (a + b, 0, 0), vzamemo u 0 = v 0 = 0 in dobimo u = tg α tg(v/2). Enačba take loksodrome v parametrični obliki je torej: r (v) = a(2 cos 2 (v/2) cos(tg α tg(v/2)), 2 cos 2 (v/2) sin(tg α tg(v/2)), sin v). Pri istem α dobimo vse loksodrome z zasukom slednje okoli osi z. Loksodroma se spiralasto ovija okoli rožičkov (sliki 7, 8). Za krožni torus je a > b > 0 in pri začetnem pogoju u 0 = 0, v 0 = 0 je kjer je v dν u = b tg α 0 a + b cos ν = 2b tg α c c = a 2 b 2, µ = arc tg(µ tg(v/2)), a b a + b. 11

Slika 8: Loksodroma v notranjosti rogatega torusa. Funkcija 2b tg α f : v f(v) = arc tg(µ tg(v/2)), c definirana na intervalu [ π, π], za katero v krajiščih vzamemo za njeni vrednosti ustrezni stranski limiti, vpliva na obliko loksodrome na torusu. Ta je odvisna od tega, v kakšni medsebojni relaciji so a, b in α. 3 Villarceaujeve krožnice na torusu Zanimiv je primer, ko grafa funkcij f in f 1 potekata skozi oglišči ( π, π) in (π, π) kvadrata Q. To se zgodi pri pogoju tg α = c/b. Tedaj je u = f(v) = 2 arc tg(µ tg(v/2)), v = f 1 (u) = 2 arc tg(tg(u/2)/µ). Graf funkcije f 1, katerega oblika je odvisna od µ oziroma od razmerja a/b, kaže slika 9. Izrazimo z znanimi identitetami: cos u = cos(2 arc tg(µ tg(v/2))) = b + a cos v a + b cos v, sin u = sin(2 arc tg(µ tg(v/2))) = 12 c sin v a + b cos v.

Slika 9: Relacija med u in v, ki da Villarceaujevo krožnico na torusu. Z dobljenima izrazoma lahko zapišemo krivuljo na torusu: r (v) = (b + a cos v, c sin v, b sin v). Očitno krivulja leži na ravnini cz = by, ki je vzporedna z osjo x in oklepa z ravnino z = 0 kot ϕ, za katerega je tg ϕ = b/c oziroma sin ϕ = b/a. Ravnina cz = by seka torus še enkrat v prav taki krivulji, tako da imamo opraviti s skladnima koplanarnima krožnicama. Da je krivulja krožnica, se prepričamo takole. Vzemimo točko S(b, 0, 0), ki ji pripada krajevni vektor b i, in izračunajmo r (v) b i = (a cos v, c sin v, b sin v). Preprost račun pokaže r (v) b i = a. Torej je iskana krivulja krožnica s središčem v točki S in polmerom a. Krožnici rečemo Villarceaujeva krožnica na torusu. Antoine-Joseph Yvon Villarceau (1813 1883), po katerem se krožnica imenuje, je bil francoski astronom, matematik in inženir. Villarceaujeva krožnica je skladna s središčnico torusa. Vse Villarceaujeve krožnice na torusu dobimo z zasuki okoli osi torusa dveh Villarceaujevih osnovnih krožnic skozi točko (a + b, 0, 0): ena oklepa v tej točki z zunanjim ekvatorjem kot ϕ, druga, konjugirana prvi, pa ϕ. Slednja ima enačbo r (v) = (b + a cos v, c sin v, b sin v). 13

Slika 10: Koplanarni Villarceaujevi krožnici na torusu. Vse Villarceaujeve krožnice dobimo iz osnovne in njej konjugirane krožnice Slika 11: Konjugirani Villarceaujevi krožnici na torusu. z zasuki okoli osi torusa. Če osnovno in njej konjugirano krožnico zasukamo za kot ϑ, ima dobljena krožnica enačbo r (v) = ((b+a cos v) cos ϑ c sin v sin ϑ, (b+a cos v) sin ϑ±c sin v cos ϑ, b sin v). 14

Slika 12 kaže družino Villarceaujevih krožnic z razmikom ϑ = π/10. Skozi Slika 12: Villarceaujeve krožnice na torusu. vsako točko na torusu potekajo štiri krožnice, ki ležijo na torusu: poldnevnik, vzporednik in dve Villarceaujevi krožnici (slika 13). Slika 13: Štiri krožnice na torusu skozi dano točko. Naklonski kot ϕ ravnine, ki seka torus v obeh Villarceaujevih krožnicah, napram ekvatorialni ravnini torusa, dobimo, če postavimo tangento skozi 15

njegovo središče na katerikoli njegov poldnevnik (slika 14). središča do dotikališča je c = a 2 b 2, očitno pa je sin ϕ = b/a. Razdalja od Slika 14: Stranski pogled na ravnino, v kateri sta Villarceaujevi krožnici. Drugačen pristop do Villarceaujevih krožnic na torusu poteka s preseki torusa z ravninami. Izkaže se, da so preseki lahko krožnice samo v primeru, ko ravnina poteka skozi središče torusa ali pa je vzporedna z njegovo ekvatorialno ravnino. V slednjem primeru dobimo vzporednike na torusu. Če presečna ravnina vsebuje os torusa, so preseki poldnevniki torusa. V primeru, ko ravnina poteka skozi središče torusa in oklepa z ekvatorialno ravnino kot ϕ = ± arc sin(b/a), pa so preseki Villarceaujeve krožnice. Diferencial površine ploskve dp se z Gaußovimi koeficienti izraža v obliki dp = EG F 2 dudv. V primeru krožnega in rogatega torusa je dp = b(a + b cos v) dudv. Površina torusa je potem P = b π π π π (a + b cos v) dudv = 4π 2 ab. Površino torusa lahko zapišemo tudi kot produkt dolžine poti, ki jo je opravilo težišče krožnice pri nastanku torusa, in dolžine te krožnice: P = 2πa 2πb. To pravilo je poznal že Papos iz Aleksandrije (Πάππος ὁ Ἀλεξανδρεύς, 290 350). Površino P torusa lahko izračunamo tudi po srednješolsko kot površino rotacijske ploskve. Prav tako lahko izračunamo prostornino V telesa, ki ga 16

omejuje torus po formuli za prostornino rotacijskega telesa. Do enakega rezultata pridemo tudi z metodo višje matematike, z dvojnim integralom. Za torus lahko hitro izračunamo enotski vektor ν zunanje normale na torus kot ν = 1 EG F 2 r u r v. Dobimo: ν = (cos u cos v, sin u cos v, sin v). Po formuli Gaußa-Ostrogradskega je pretok polja krajevnih vektorjev r skozi torus T v smeri njegove zunanje normale enak trojnemu integralu div r = 3 po notranjosti torusa, iz česar dobimo V = 1 r ν dp. 3 T Na torusu T je r ν = b + a cos v in zato V = b 3 π π π π (b + a cos v)(a + b cos v) dudv = 2π 2 ab 2. To je ravno produkt ploščine kroga, ki pri nastajanju torusa rotira, in poti, ki jo pri tem opravi težišče tega kroga, se pravi V = πb 2 2πa. Tudi za ta rezultat je vedel že Papos iz Aleksandrije. 4 Bolj zavozlane loksodrome na torusu Villarceaujeve krožnice so najbolj preproste loksodrome, ki enkrat samkrat obkrožijo os torusa in enkrat njegovo središčnico. Od obeh polmerov, a in b, ter kota α pa je odvisno, ali je loksodroma sklenjena krivulja ali ne in kolikokrat obkroži os torusa in kolikokrat njegovo središčnico. V ta namen si ponovno oglejmo funkcijo f : v u = f(v) = 2b tg α c arc tg(µ tg(v/2)), ki povezuje parametra u in v. Parameter v teče od π do π, za parameter u pa bomo morali sedaj dovoliti poljubno realno vrednost. S tem dopuščamo 17

možnost, da se loksodroma večkrat ovije okoli osi torusa. Krivulja u = f(v) poteka skozi točki (±πb tg α/c, ±π) v ravnini parametrov (u, v). Ti dve točki določata osnovni pravokotnik R (slika 15). Stranica v smeri osi u je dolga 2πb tg α/c, v smeri osi v pa 2π. Pravokotnik R se ujema s kvadratom Q samo v primeru, ko je tg α = c/b. Takrat je loksodroma Villarceaujeva krožnica. Slika 15: Osnovni pravokotnik, ko tg α c/b. Če je tg α c/b, loksodroma ni zaključena krivulja (slika 16). Krivulja se začne in konča v različnih točkah na notranjem ekvatorju torusa. Da ohranimo sekanje poldnevnikov pod kotom α še naprej, zlepimo n osnovnih pravokotnikov s krivuljo u = f(v) vred v trak vzdolž osi u in to naredimo tolikokrat, da je trak dolg nekemu celemu mnogokratniku števila 2π, denimo m 2π (slika 17). To se bo seveda posrečilo pri primerni relaciji med polmeroma a, b in kotom α. Krivulja na k-ti kopiji osnovnega pravokotnika ima seveda enačbo u = f(v) + k 2πb c tg α = 2b tg α (arc tg(µ tg(v/2)) + kπ). c Pri tem izberemo k = 0, 1, 2,..., n 1. Pri opisanem lepljenju osnovnih pravokotnikov v trak vedno desno zgornje oglišče pravokotnika, na primer Y, in levo spodnje oglišče X prejšnjega pravokotnika na torusu očitno dasta isto 18

Slika 16: Nezaključena loksodroma. Slika 17: Nadaljevanje osnovnega pravokotnika. točko M na notranjem ekvatorju. Lihost funkcije f pa poskrbi za gladkost loksodrome v točki M. Iz zahteve n 2πb c tg α = m 2π dobimo pogoj za sklenjenost loksodrome na torusu: b c tg α = m n, kjer sta m in n tuji si naravni števili. središčnico torusa ter m-krat njegovo os. Loksodroma tedaj n-krat obkroži 19

Vzemimo torus s podatki: a = 5, b = 3 in konstruirajmo na njem loksodromo s kotom α = π/4. Dobimo c = 4 in b tg α/c = 3/4. Loksodroma se štirikrat ovije okoli središčnice in trikrat okoli osi torusa (slika 18). Slika 18: Loksodroma na torusu za m = 3, n = 4. Vzemimo še torus s podatki: a = 13, b = 5 in konstruirajmo na njem loksodromo s kotom α = π/4. Dobimo c = 12 in b tg α/c = 5/12. Loksodroma se dvanajstkrat ovije okoli središčnice in petkrat okoli osi torusa (slika 19). Slika 19: Loksodroma na torusu za m = 5, n = 12. Vzemimo nazadnje torus s podatki: a = 2, b = 1 in konstruirajmo na njem 20

loksodromo s kotom α = π/6. Dobimo c = 3 in b tg α/c = 1/3. Loksodroma se trikrat ovije okoli središčnice in enkrat okoli osi torusa (slika 20). Slika 20: Loksodroma na torusu za m = 1, n = 3. Kadar imamo opravka z vretenastim torusom, ko je b > a > 0, vpeljemo p = b a in c = b 2 a 2, povezava med parametroma u in v za loksodromo na torusu pa je u = f(v) = b tg α c p tg(v/2) + c ln p tg(v/2) c. Loksodroma poteka tako po zunanji strani torusa kakor tudi po njegovem vretenu v notranjosti (slika 21). Po vsem tem spoznamo, da so loksodrome na krožnem torusu še najbolj preproste. 5 Ortogonalne sklenjene loksodrome Dve sklenjeni loksodromi na torusu se lahko sekata. Oglejmo si, kdaj se sekata pravokotno. Če prva seka vse poldnevnike pod kotom α, kjer vzamemo 0 < α < π/2, druga, ki je nanjo pravokotna, seka poldnevnike pod kotom β = α π/2. Pri tem pa je π/2 < β < 0. Pogoj, da je druga loksodroma 21

Slika 21: Loksodroma na vretenastem torusu. sklenjena, je b c tg β = b c tg(α π/2) = b c cot α = m 1 n 1. Pri tem sta m 1 in n 1 tuji si naravni števili. Velja torej relacija: b 2 c = 1 2 (a/b) 2 1 = m n m1. n 1 Če se sklenjena loksodroma m-krat ovije okoli osi torusa in n-krat okoli njegove središčnice, pri čemer je razmerje kvadratov njegovih polmerov racionalno število in je izpolnjena zgornja relacija, potem se ortogonalna loksodroma ovije okoli osi torusa m 1 -krat in okoli njegove središčnice n 1 -krat. V primeru a = 2, b = 1 dobimo na primer Lahko izberemo b 2 c = 1 2 3 = 1 3 1 1. b c tg α = 1 tg α = 1 3 3, b c tg β = 1 tg β = 1 3 1 22

in s tem 3 α = arc tg 3 = π 6, β = arc tg 3 = π 3. Prva loksodroma se enkrat ovije okoli osi torusa in trikrat okoli njegove središčnice. Druga loksodroma je Villarceaujeva krožnica, ki seka ekvator torusa pod kotom π/6 (slika 22). Ta loksodroma se enkrat ovije okoli osi torusa in enkrat okoli njegove središčnice. Slika 22: Ortogonalni sklenjeni loksodromi a. Ker za a = 2, b = 1 lahko zapišemo tudi b 2 c = 1 2 3 = 3 4 4 9, najdemo drug par pravokotnih sklenjenih loksodrom s kotoma α = arc tg 3 3 4 3, β = arc tg 4 9. Razmere na torusu so kar pestre (slika 23). Prva loksodroma se trikrat ovije okoli osi torusa in štirikrat okoli njegove središčnice. Druga loksodroma pa se štirikrat ovije okoli osi torusa in devetkrat okoli njegove središčnice. Za konec Avtor se oprošča za vse napake, ki jih je v svojem neznanju prizadel v pričujočem besedilu zapisanim grškim besedam, diferencialni geometriji s prostor- 23

Slika 23: Ortogonalni sklenjeni loksodromi b. skimi krivuljami vred. Da sploh lahko pišemo grške besede tudi v L A TEX-u, pa je izvedel šele na svoja stara leta, ko je že začel odlagati kredo in gobo ter druga moderna pisala. Tiste dni je tudi spoznal tako novo GeoGebro, ki Slika 24: En svitek predira drugega. obvlada tudi prostorske krivulje in ploskve. Zato lahko konča s Platonovo mislijo: 24

Ἀεὶ ὁ θεὸς γεωμετρεῖ. Bog vedno geometrizira. 25

Literatura in spletni viri [1] B. Aubelj, Antična imena po slovensko, Modrijan, Ljubljana 1997. [2] M. Babič, Grška slovnica, Filozofska fakulteta, Ljubljana 2000. [3] W. H. Besant, Notes on Roulettes and Glissettes, Bell & Co., Deighton 1890. [4] F. Bradač: Grška slovnica, DZS, Ljubljana 1968. [5] R. Bratož: Grška zgodovina, Zveza zgodovinskih društev Slovenije, Ljubljana 2010. [6] A. Dokler, Grško-slovenski slovar, Knezoškofijski zavod sv. Stanislava, Ljubljana 1915. [7] A. Emch, Note on the loxodromic lines of the torus, American mathematical monthly 6 (1899), št. 5, str. 136 139. [8] E. Mihevc Gabrovec, Grščina: teksti in vaje za pouk klasične grščine, Znanstvena založba Filozofske fakultete, Ljubljana 2011. [9] E. Hairer, G. Wanner, Analysis by its history, Springer, New York, 2008. [10] C. McLarty, The babel polutonikogreek keyboard, 2005, spletni vir. [11] A. Ostermann, G. Wanner, Geometry by its history, Springer, Heidelberg in drugje, 2012. [12] L. Pantieri, L arte di scrivere in greco con L A TEX, 2008, spletni vir. [13] A. A. Savelov, Ravninske krivulje, Školska knjiga, Zagreb, 1979. [14] L. Stephen (ed.), Dictionary of national Biography, Vol. V., Macmillan & Co., New York, Smith & Co., London, 1886. [15] J. Stillwell, Mathematics and its history, Springer, New York in drugje, 2010. [16] A. Syropoulos, Writing Greek with the greek option of the babel, 1997, spletni vir. [17] M. Špelič, Grško-slovenski slovar Nove zaveze, Svetopisemska družba Slovenije, Ljubljana 2002. c Dr. Marko Razpet, Ljubljana 2013 26