Evolvent

**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

:  \mathbf{x} =  \mathbf{r}(s) + \lambda \mathbf{t} 

hvor den ukjente størrelsen *&lambda;* =  *&lambda;*(*s*) må velges slik at tangenten  til evolventen står vinkelrett på tangenten **t** til kurven.. Da

:  \mathbf{T} =  \mathbf{t} + {d\lambda\over ds}\mathbf{t} + \lambda\kappa\mathbf{n}  

når man benytter  Frenets formel *d*&thinsp;**t**/*ds* = *&kappa;*&thinsp;**n** der *&kappa;* er kurvens krumning og **n** dens normal.

Betingelsen **t**&sdot;**T** = 0 gir dermed *d&lambda;*/*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

:   \mathbf{x} =  \mathbf{r}(s) + (a - s) \mathbf{t} 

som viser at den starter på den gitt kurven i punktet *s* = *a*.

Tangentvektoren til en evolvent er nå gitt som **T** = (*a* - *s*)*&kappa;*&thinsp;**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.

### Evolute

Buelengden *s* er ingen naturlig parameter for evolventen da |**T**| &ne; 1. Kaller man den for *u*, vil den derfor være bestemt ved at *du*/*ds* = |**T**| =  (*a* - *s*)*&kappa;* sålenge som *s*  s = \int_0^s \! dt |\mathbf{r'}| =   \int_0^s \! dt \sqrt{x'^2(t) + y'^2(t)} 
 
Den normerte tangentvektoren er da **t** = .

Et enkelt eksempel er kjedelinjen *y* = cosh*x*. 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

:  x(t) = t + (a - \sinh t){1\over\cosh t} = t - \tanh t + {a\over\cosh t} 
:  y(t) = \cosh t + (a - \sinh t){\sinh t\over\cosh t} = {1\over\cosh t} + a\tanh t 

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

Tangenten til sirkelen **r** = (cos*t*, sin*t*&thinsp;) er enhetsvektoren  **r'&thinsp;** = (-sin*t*, cos*t*&thinsp;). 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

: \begin{align} x(t) &= \cos t + (t - a)\sin t \\  y(t) &= \sin t - (t - a)\cos t \end{align} 

Når  *a* = 0, starter den i punktet (1,0). Vanligvis blir kurven fremstilt for dette valget av denne parameteren. 

Buelengden til sirkelevolventen finnes nå som

:  L = \int_0^t \! dt \sqrt{x'^2(t) + y'^2(t)} = {1\over 2} (t - a)^2, 

mens krumningen  er

:  \kappa = {x' y* - x* y'\over (x'^2 + y'^2)^{3/2}} = {1\over t - a} 

Det betyr at den har en krumningsradius *&rho;* = 1/*&kappa;* = *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.

## Referanser


## Eksterne lenker

* Stackexchange, ''Evolute of Involute'', Mathematics blog
* Tec-Science, ''Geometry of Involute Gears'', evolventer og tannhjul