Traktrise

**Traktrise** (fra latinsk *trahere* - å trekke ) er en matematisk kurve som i dagligtale ofte blir kalt for **hundekurven**. Historisk knyttes kurven til den tyske filosof og matematiker Gottfried Leibniz som rundt 1690 ble stilt spørsmålet om hvilken kurve beskrives av en gjenstand som blir trukket i et stramt bånd på et horisontalt underlag som gir friksjon til bevegelsen. I praksis kan kurven observeres når en gjenstridig hund trekkes med i et stramt bånd.

Kurvens matematiske egenskaper hadde blitt undersøkt allerede av Isaac Newton i 1676, mens dens analytiske form ble utledet av Christiaan Huygens i 1692 og Leibniz i 1693 ved bruk av den nye differensialregningen. Løsningen viser seg å ha flere interessante egenskaper. For eksempel, så har den en evolute som er en kjedelinje. Roteres kurven om *y*&thinsp;-aksen, fremstår en krum flate som oppviser hyperbolsk geometri. I motsetning til kuleflaten som har konstant, positiv krumning, har denne rotasjonsflaten konstant, negativ krumning og kalles en pseudosfære eller «traktroide».

## Matematisk utledning

Som et eksempel kan man tenke seg en gjenstridig hund på *x*&thinsp;-&thinsp;aksen til et kartesisk koordinatsystem i en viss avstand  *a&thinsp;* fra origo hvor hundens eier står og holder hunden stramt i et bånd. Når så eieren langsomt begynner å gå langs *y*&thinsp;-&thinsp;aksen og hunden hele tiden stritter imot, vil hunden beskrive en kurve etter som den blir dratt med av sin eier.  Siden hunden hele tiden stritter imot, er båndet til den alltid stramt og kan likså godt erstattes av en stiv stang med samme lengde som båndet. Til slutt ender hunden også på *y*&thinsp;-&thinsp;aksen hvor den blir dratt videre i denne retningen av eieren.

Båndets lengde er *a&thinsp;* og det danner til vinkelen *&theta;&thinsp;* med  *y*&thinsp;-&thinsp;aksen som vist i figuren. Derfor er  *x*&thinsp;-&thinsp;koordinaten til hunden  hvor  som fremgår av figuren da båndet er tangensielt til kurven. Det gir differensialligningen

:   {dy\over dx} = - {\sqrt{a^2 - x^2}\over x} 

hvor minustegnet skyldes at *y&thinsp;* øker når *x* avtar. Løsningen kan finnes ved at å anta at hunden starter ut i punktet *(a,0)*. Ved direkte integrasjon finnes da hundens posisjon ved et senere tidspunkt.

Integrasjonen kan gjennomføres ved å bruke *u = &radic;(a<sup>2</sup> - x<sup>2</sup>)*&thinsp; som ny integrasjonsvariabel. Da er *u&thinsp;du = -x&thinsp;dx&thinsp;* slik at

:  {dy\over du} = {u^2\over a^2 - u^2}  = {a\over 2}\left({1\over a + u} + {1\over a -u}\right) - 1 

Hvert ledd kan her integreres ved bruk av elementære funksjoner. Det er mulig å skrive resultatet på flere måter, blant annet som

:  y = {1\over 2}\ln {a + u\over a - u} - u = a\ln{a + \sqrt{a^2 - x^2}\over x} -\sqrt{a^2 - x^2}  

Dette gir formen på hundekurven langs den positive *y&thinsp;-&thinsp;*aksen. Med motsatt fortegn beskriver den en tilsvarende kurve langs den negative  *y&thinsp;-&thinsp;*aksen. Tilsammen utgjør de hele traktrisen.

I visse sammenhenger er det nyttig å benytte vinkelen *&theta;&thinsp;*  som uavhengig variabel via sammenhengen  . Da blir

:   {dy\over d\theta} = - a\left({1\over\sin\theta} - \sin\theta\right) 

Begge leddene her kan nå direkte integreres og gir den parametriserte løsningen

:     y  = -a\left(\ln\tan{\theta\over 2} + \cos\theta\right) 

Det første leddet lar seg forenkle ved å benytte den trigonometriske identiteten . Her er nå  slik at svaret blir

:  y =  - a\ln{a - \sqrt{a^2 - x^2}\over x} - \sqrt{a^2 - x^2}

Dette er i overensstemmelse med det forrige svaret da argumentene til logaritmene er inverse til hverandre.

### Alternativ parametrisering

Det første leddet i løsningen har samme form som den inverse hyperbolske funksjonen arcosh*(a/x)*. Mer nøyaktig, den siste formen av løsningen kan skrives som

:  y = a\operatorname{arcosh}{a\over x} -\sqrt{a^2 - x^2} 

Denne kan man komme direkte frem til ved å bruke den alternative parametriseringen *x = a*/cosh*t*. Det gir differensialligningen . Ved å benytte identiteten  kan denne ligningen direkte integreres. Det gir det fulle svaret på parametrisert form,

:\begin{align}
    x &= {a\over\cosh t} \\
    y &= a(t - \tanh t) \\
\end{align}

Benytter man her at sinh*t* = &radic;*(a<sup>2</sup> -  x<sup>2</sup>)/x* samtidig som , er dette samme svaret som tidligere. Sammenligner man med resultatet uttrykt ved vinkelen *&theta;*, må derfor . Det er konsistent med  som også kan leses direkte ut av løsningene.

Parameteren *t&thinsp;* starter ut med verdien *t = 0&thinsp;* som tilsvarer *&theta; = &pi;/2*. Etterhvert som hundeeieren går langs den positive *y*&thinsp;-&thinsp;aksen, vokser parameteren *t*, mens vinkelen  *&theta;&thinsp;* avtar og går til slutt mot null. Da man nå kan skrive hundens *y*&thinsp;-&thinsp;koordinat som , ser man fra figuren at mannens posisjon langs denne aksen til enhver tid er gitt ved den første termen *at*. Den nedre del av traktrisen langs den negative *y&thinsp;-&thinsp;*aksen er beskrevet av vinkler *&theta; > &pi;/2* som tilsvarer negative verdier av parameteren *t*.

## Egenskaper

Arealet mellom den øvre hundekurven og  *x*&thinsp;-&thinsp;aksen er gitt ved integralet   tatt mellom null og *x = a*. En slik integrasjon er vanskelig. Derimot, hvis man utfører det tilsvarende integralet  mellom de samme grensene, reduseres beregningen til integralet

:  {A\over 2} = \int_0^a\!dx\sqrt{a^2 - x^2} = {1\over 4}\pi a^2 

som er lik arealet av en sirkelkvadrant med radius *a*. Et tilsvarende areal resulterer fra kurven for negative verdier av *y*.  Det fulle arealet mellom traktrisen og hele *y*&thinsp;-&thinsp;aksen er derfor *A = &pi;&thinsp;a<sup>&thinsp;2</sup>/2*.

### Krumning

Fra den generelle formelen 

:  \kappa = {y*\over (1 + y'^2)^{3/2}} </math>

for [[kurve|krumningen]] til en plan kurve *y = y(x)*, finner man ved direkte derivasjon av  at den blir

: <math> \kappa  = {x\over a\sqrt{a^2 - x^2}} </math>

Med *x = a&thinsp;*sin*&theta;&thinsp;* gir dette *&kappa; = (1/a)*&thinsp;tan*&theta;*. Som ventet er derfor krumningen størst i nærheten av endepunktet *(a,0)* hvor vinkelen *&theta;* nærmer seg *&pi;&thinsp;/2*.

===Buelengde===
Betrakter man to punkt på den øvre hundekurven med *x*&thinsp;-&thinsp;koordinater *x1&thinsp;* og *x2*, er de separert ved en [[buelengde]]

:<math>\begin{align}
     L &= \int_{x_1}^{x_2}\!ds = \int_{x_1}^{x_2}\!dx \sqrt{dx^2 + dy^2}  \\
     &=   \int_{x_1}^{x_2}\!dx\sqrt{1 + y'^2}  = a\int_{x_1}^{x_2}\!{dx\over x} = a\ln {x_2\over x_1} \\
\end{align}</math>

da *y' = dy/dx*. Det betyr at buelengden mellom et vilkårlig punkt på kurven og endepunktet *(a,0)*&thinsp; er *s =  a*&thinsp;ln*(a/x)*. Ved å la *x &rarr; 0*, ser man at hundekurven er uendelig lang.

===Naturlig parametrisering===


Dette resultatet for buelengden gjør det mulig å finne den [[ parameterfremstilling|naturlige parametriseringen]] av hundekurven, det vil si ved hjelp av dens buelengden *s*. Definerer man nå
 og , vil . Da nå

: <math> y' = {dy\over ds} = {dy/dx\over ds/dx} = - {x'\over x}\sqrt{a^2 - x^2}, </math>

kan *x'&thinsp;* bestemmes med resultatet *x' = - x/a*. Ved direkte integrasjon gir det den [[ parameterfremstilling|naturlige parametriseringen]]

: <math> x = ae^{-s/a} </math>

Det er ikke noe annet enn en omskrivning av det tidligere resultatet *s =  a*&thinsp;ln*(a/x)* for buelengden. Innsatt i uttrykket for *y' *, betyr det at

: <math>  {dy\over ds} = \sqrt{1 - (x/a)^2} = \sqrt{1 - e^{-2s/a}} </math>

Herav kan nå finnes ved direkte integrasjon den naturlige parametriseringen *y = y(s)* av den andre koordinaten. Når buelengden *s&thinsp;* er blitt mye større enn lengden *a*, øker den lineært med buelengden, og man har ganske enkelt at *y = s*.

===Evolute===

Man kan definere [[evolute]]n til en kurve som [[omhyllingskurve]]n til alle dens normaler. Fra animasjon ser man at dette gir en ny kurve som ser ut som en [[parabel]]. En nøyaktig beregningen viser derimot at evoluten til traktrisen er en [[kjedelinje]]. Bare rundt sitt laveste punkt har den form som en parabel.

Per definisjon er derfor normalene til traktrisen tangenter til kjedelinjen. Hvis man tar en av disse tangentene og betrakter ett bestemt punkt på den, så vil dette beskrive en nye kurve hvis man lar tangenten rulle langs kjedelinjen som i animasjonen. Den kalles for [[involute]]n til kjedelinjen og er derfor en traktrise.

==Litteratur==
* H.J.M. Bos, *Lectures in the History of Mathematics*, American Mathematical Society, New York (1993). ISBN 0-8218-0920-2.
* E. H. Lockwood, *A Book of Curves*, Cambridge University Press, England (1967). ISBN 0-5210-4444-8.
* D.J. Struik, *Lectures on Classical Differential Geometry'', Dover Publications, New York (1961). ISBN 0-4866-5609-8.