thumb|240px|To evolventer (rød) til en parabel som starter i punktene A og B på denne kurven. Evolvent (engelsk: involute) er en kurve som står vinkelrett på tangentene til en annen kurve. En gitt kurve vil derfor ha uendelig mange evolventer som er parallelle med hverandre og starter i forskjellige punkt på den gitte kurven. Det betyr at normalen til en av disse evolventene også vil være normal til de andre evolventene slik at avstanden mellom to av dem er konstant når denne måles langs en normal.
Da evoluten til en kurve er definert som omhyllingskurven til dens normaler, vil evoluten til alle evolventene av en gitt kurve være denne samme kurven.
Ut fra denne definisjonen kan man gi en praktisk anvisning for konstruksjon av evolventen til en plan kurve. Man tar en tråd av en viss lengde og legger den langs kurven med en ende fast. Så beveges den andre enden ut fra tråden slik at den hele tiden holdes stramm. Det betyr at den frigjorte delen av tråden vil falle sammen med en tangent til kurven. Hvis denne avviklingen av tråden fra kurven fortsettes på samme måte, vil den frie enden beskrive en evolvent.
Noen spesielle evolventer har funnet praktiske anvendelser i utformingen av tannhjul.
Matematisk definisjon
Ved bruk av naturlig parametrisering er den gitte kurven gitt ved en funksjon r = r(s) der s er dens buelengde. For at et punkt x skal være på en evolvent, må vektoren ha samme retning som tangenten til kurven. Det betyr at
hvor den ukjente størrelsen λ = λ(s) må velges slik at tangenten til evolventen står vinkelrett på tangenten t til kurven. D.J. Struik, Lectures on Classical Differential Geometry, Dover Publications, New York (1988). ISBN 0-486-65609-8.. Da
når man benytter Frenets formel d t/ds = κ n der κ er kurvens krumning og n dens normal.
Betingelsen t⋅T = 0 gir dermed dλ/ds = - 1 da og . I resultatet vil integrasjonskonsanten a tilsvare lengden på tråden som kan benyttes ved konstruksjonen av evolventen. Den er nå gitt ved ligningen
som viser at den starter på den gitt kurven i punktet s = a.
Tangentvektoren til en evolvent er nå gitt som T = (a - s)κ n og er derfor null i begynnelsespunktet . Dette er derfor et singulært punkt som arter seg som en spiss til evolventen. Ved å plotte denne for og kommer dette tydelig frem. C.G. Gibson, Elementary Geometry of Differentiable Curves, Cambridge University Press, England (2001). ISBN 0-521-01107-8.
Evolute
Buelengden s er ingen naturlig parameter for evolventen da |T| ≠ 1. Kaller man den for u, vil den derfor være bestemt ved at du/ds = |T| = (a - s)κ sålenge som s < a. Det gjør det mulig å beregne krumningsradius til evolventen med resultatet . Skrives dens ligning som x(s) + ρ t = r(s), viser den at kurven r(s) er evoluten til evolventen da dennes normaler faller sammen med tangentene t til den gitte kurven.
Sammenhengene mellom en kurves evolventer og evoluter ble først klarlagt allerede i 1673 av Christian Huygens. Han viste at enhver kurve er evoluten til dens evolventer samtidig som den er en evolvent til dens evolute. H.W. Guggenheimer, Differential Geometry, Dover Publications, New York (1977). ISBN 0-486-63433-7.
Eksempel thumb|240px|Den spesielle evolventen til kjedelinjen som starter i punktet (0,1), er en traktrise.
Når den gitte kurven har en vilkårlig parametrisering r = (x(t ),y(t )), er ikke tangenten r' = d r/dt i alminnelighet en enhetsvektor. Buelengden s må da beregnes fra
Den normerte tangentvektoren er da t = .
Et enkelt eksempel er kjedelinjen y = coshx. Det tilsvarer parametriseringen og slik at . Dermed er tangenten med lengde |r'| = . En evolvent som starter i et vilkårlig punkt s = a er da gitt ved ligningene
I det spesielle tilfellet for en evolvent som starter i kjedelinjens laveste punkt (0,1) som tilsvarer at a = 0, blir den en traktrise.
Sirkelevolventen left|thumb|240px|En sirkelevolvent som starter i t = 0. thumb|240px|Noen evolventer til en sirkel. Deres felles evolute er den gitte sirkelen.
Tangenten til sirkelen r = (cost, sint ) er enhetsvektoren r' = (-sint, cost ). Det betyr at t gir en naturlig parametrisering av sirkelen med buelengde s = t.
En evolvent til sirkelen som starter i punktet med parameter t = a, er da gitt som x = . Hvert punkt på denne sirkelevolventen har derfor koordinatene
Når a = 0, starter den i punktet (1,0). Vanligvis blir kurven fremstilt for dette valget av denne parameteren. E. Weisstein, Circle Involute, Wolfram MathWorld.
Buelengden til sirkelevolventen finnes nå som
mens krumningen er
Det betyr at den har en krumningsradius ρ = 1/κ = t - a. Herav kan nå evoluten til denne evolventen beregnes og blir den gitte sirkelen uavhengig av parameteren a. Evoluten til alle sirkelevolventer er derfor sirkelen. R. Tambs Lyche, Matematisk Analyse I, Gyldendal Norsk Forlag, Oslo (1961).
Referanser
Eksterne lenker
Stackexchange, Evolute of Involute, Mathematics blog Tec-Science, Geometry of Involute Gears, evolventer og tannhjul
Kategori: Kurver Kategori: Analytisk geometri