Pascals snegle

**Pascals snegle** eller **limaçon** er en plan kurve av fjerde grad. Den er en epitrokoide hvor forholdet  mellom radiene til de to sirklene er . Ved bruk av polarkoordinater (*r,&theta;*) er den gitt ved ligningen

:  r(\theta) = a + b \cos\theta 

Dens form avhenger av forholdet *b*/*a*. I det spesielle tilfellet at *b*/*a* = 1, blir den en kardioide eller *hjertekurve*. Når  vil den skjære seg selv i et punkt slik at den inneholder en løkke. Derimot når  er den overalt konveks.

Kurven ble opprinnelig studert av Albrecht Dürer i sitt verk *Underweysung der Messung* fra 1525. Her ga han flere, geometriske metoder for å fremstille den. Omtrent hundre år senere ble dette arbeidet tatt opp igjen av Étienne Pascal som var far til Blaise Pascal. Siden er hans navn blitt knyttet til denne kurven.

## Matematisk fremstilling

Fra definisjonen kan kurven fremstilles i kartesiske koordinater ved sammenhengene  og . De gir

:  x(\theta) = a\cos\theta + {b\over 2}\cos 2\theta + {b\over 2} 
:  y(\theta) = a\sin\theta + {b\over 2}\sin 2\theta 

Pascals sneglekurve er derfor en epitrokoide hvor argumentene til de trigonometriske funksjonene viser at den er generert av to sirkler med like store radier hvorav den ene ruller utenpå den andre. Konstanten *b*/2 tilsvarer en forflytning med den størrelse langs *x*-aksen.

En mer kompakt fremstilling av kurven fås ved bruk av den komplekse koordinaten . Den blir

:  z =  a e^{i\theta} + {b\over 2} e^{2i\theta} + {b\over 2} 

ved å benytte  Eulers formel   e^{i\theta} = \cos\theta + i \sin\theta . Hvis vinkelen *&theta;* øker jevnt med tiden *t* slik at  der *&omega;* er vinkelhastigheten, beskriver de to eksponentialfunksjonene rotasjonen av den ene sirkelen hvis senter roterer utenfor den andre.

### Fjerdegradskurve
En implisitt ligning for Pascals sneglekurve i kartesiske koordinater kan også gis. Den finnes mest direkte ved å skrive   r^2 - bx = r(r - b\cos\theta) = ar  slik at

:  (x^2 + y^2 - bx)^2 = a^2(x^2 + y^2) 

siden man har  r^2 = x^2 + y^2 . Denne kurven er derfor av fjerde grad.

## Limaçon som omhyllingskurve

Pascals snegle kan fremstilles som omhyllingskurven for alle sirkler som har sitt senter på en gitt sirkel og går gjennom et gitt punkt. Hvis den gitte sirkelen har radius *a* og senter i punkt (*b*, 0) på *x*-aksen, kan man velge det gitte punkt å ligge i origo.

Et punkt på den gitte sirkelen har da koordinatene

:  x_c = b +a \cos\theta\,, \;\; y_c = a\sin\theta 

hvor *&theta;* er en polar vinkel. Den kvadrerte radius til  ny sirkel sentrert i dette punktet og som går gjennom origo, vil nå være

:  r_c^2 = x_c^2 + y_c^2 = a^2 + b^2 + 2ab\cos\theta 

i overensstemmelse med cosinussetningen. Skaren av slike sirkler er gitt ved ligningen  (x - x_c)^2 +  (y - y_c)^2 = r_c^2  eller  F(x,y,\theta) = 0  hvor

:  F(x,y,\theta) = x^2 + y^2 - 2x(b + a\cos\theta) - 2ya\sin\theta 

For at to sirkler i denne skaren med nesten samme verdi av parameteren *&theta;* skal tangere den samme omhyllingskurven, må  = 0. Nå er  slik at denne betingelsen er oppfylt når punktene (*x,y*) på omhyllingskurven kan skrives på formen  og .  Den ukjente størrelsen *r&thinsp;* bestemmes fra   som gir den ikke-trivielle løsningen . Bortsett fra en faktor 2, er dette ligningen for Pascals snegle.

## Referanser


## Eksterne lenker

* MacTutor, ''Limaçon of Pascal'', University of St. Andrews, Scotland.
* Albrecht Dürer, ''Underweysung der Messung'', Wikisource
* E. Weisstein, ''Limaçon'', Wolfram MathWorld.