Regulær mangekant

En **regulær polygon** eller **regulær mangekant** er innen euklidsk geometri en polygon som er både likesidet og likevinklet, det vil si at alle sidekantene er like lange og alle vinklene er like store. Mangekanten fremkommer ved å forbinde punktene med rette linjestykker. Forbindes hvert punkt på sirkelen med sine nabopunkt fremkommer de mest vanlige, regulære mangekantene som for eksempel pentagon og heksagon. Disse er konvekse og har den egenskapen at hver linje som skjærer en side, vil skjære kun en annen side. Regulære polygoner kan også være stjerneformede. Det finnes et uendelig antall regulære polygoner, og konvekse regulære mangekanter navnsettes med antallet kanter de har enten på norsk eller på gresk etterfulgt av *-kant* på norsk eller *-gon* på gresk. I en matematisk følge av konvekse regulære polytoper vil grenseverdien være en sirkel.

Punktene på sirkelen er mangekantens hjørner eller *vertex*, mens linjestykkene som forbinder punktene er mangekantens sider. Da den er regulær, har alle sidene samme lengde. Det er like mange sider som hjørner i en slik polygon. Sirkelen med hjørnene omskriver mangekanten. Man kan også innskrive en sirkel i mangekanten slik at den tangerer alle dens sider. Regulære mangekanter er sykliske polygoner.

Forbindes derimot hvert punkt på sirkelen med nest nærmeste eller tredje nærmeste nabo, vil en regulær stjernepolygon fremstå. Disse er ikke lenger konvekse. De mest kjente eksemplene er pentagram og heksagram. I disse mangekantene vil sidene krysse hverandre, og de er derfor ikke *enkle*.

Regulære mangekanter har vært kjente i lang tid tilbake. Deres egenskaper ble studert av greske matematikere i antikkens Hellas. Arkimedes benyttet regulære mangekanter til å gi et numerisk svar på spørsmålet om sirkelens kvadratur. Hans mest nøyaktige verdi for konstanten &pi; var basert på innskrevne og omskrevne 96-kanter.

Overflaten til de platonske legemene er dannet av regulære trekanter, firkanter og femkanter. Alle disse lar seg konstruere ved hjelp av linjal og passer. Ved å halvere hver sidekant i disse fremkommer regulære 6-kanter, 8-kanter og 10-kanter. I 1796 viste Gauss at også den regulære 17-kanten kunne konstrueres.

## Omkrets og areal

Hver side i en konveks, regulær mangekant med *n* hjørner vil utspenne en vinkel *&alpha; = 360&deg;/n* sett fra den omskrevne sirkels sentrum. Dette er mangekantens *sentralvinkel*. Da summen av vinklene i en trekant er 180&deg;, vil den indre vinkelen i mangekanten være  Den nærmer seg 180&deg; når antall sidekanter blir veldig stort. Den ytre vinkelen  er lik sentralvinkelen og vil derimot gå mot null i samme grense.

Uttrykt ved radianer er sentralvinkelen *&alpha; = 2&pi;/n*. Hvis *R* er radius i den omskrevne sirkelen, så er lengden av en side i mangekanten lik med   eller

:  s = 2R\sin{\pi\over n} 

Radius i den innskrevne sirkelen er på samme måte

:  a = R\cos{\pi\over n} 

Historisk blir denne avstanden fra mangekantens sentrum til en side kalt for dens *apotema*.

Summen av alle sidene i mangekanten gir dens omkrets eller *perimeter* *p = ns*. Settes her inn for sidekanten *s*, er den

:  p = 2nR\sin{\pi\over n} = 2na \tan{\pi\over n} 

Når antall sider *n* blir veldig stort, går denne mot verdien *2&pi;&thinsp;R* som for en sirkel. Det følger fra at  når 

### Areal

Hver trekant med en sidekant som grunnlinje og toppunkt i mangekantens sentrum har areal *as/2*. Settes her inn for sidekanten *s*  og apotema *a* og multipliseres dette med *n*, fås arealet til hele mangekanten,

:  A = nR^2\sin{\pi\over n}\cos{\pi\over n} = na^2 \tan{\pi\over n} 

Dette går mot *&pi;&thinsp;R<sup>2</sup>* når antall sider *n* blir veldig stort. I den grensen går den regulære mangekanten over til å bli en sirkel.

## Geometrisk konstruksjon

Fra en vilkårlig *n*-kant kan man konstruere en *2n*-kant ved å halvere alle sidekantene. Den enkleste og minste, regulære mangekanten er tokanten eller en *digon*. I euklidsk geometri er denne degenerert til en rett linje som er en diameter i den omskrevne sirkelen. Ved å halvere de to degenererte sidene oppstår en regulær firkant som er et kvadrat. Ved videre halveringer kan man konstruere 8-kanter eller oktagoner, 16-kanter og så videre.  Fra den regulære trekanten kan man konstruere en 6-kant og videre 12-kanter, 24-kanter og så videre. Og fra 5-kanten fremkommer 10-kanter, 20-kanter og så videre ved slike sidehalveringer.

Hvis man kan konstruere en *p*-kant med sentralvinkel *2&pi;/p* og en *q*-kant med sentralvinkel *2&pi;/q* hvor tallene *p* og *q* er relativ primiske, kan man også konstruere en *pq*-kant ved å la *p*-kanten og *q*-kanten ha et felles hjørne på samme sirkel. Det skyldes at slike primtall oppfyller  for visse heltall *a* og *b* slik at  som er sentralvinkelen i *pq*-kanten. Dette gjør det mulig å konstruere en 15-kant fra en 3-kant og en 5-kant. Dermed kan man også konstruere 30-kanter, 60-kanter og så videre. Derimot går det ikke an å konstruere en regulær 9-kant da 3 ikke er relativt primisk til 3.

Alt dette var kjent for de greske matematikere i antikkens Hellas. Denne kunnskapen kan oppsummeres i formelen

:  n = 2^m 3^{\nu_0}5^{\nu_1} 

hvor *m* = 0,1,2,3,... og *&nu;<sub>i</sub>* = 0,1. Den gir antall sider til de regulære mangekantene som man mente kunne konstrueres med passer og linjal.

Dette var situasjonen frem til 1796 da Carl Friedrich Gauss som 19-årig student ved Universitetet i Göttingen viste at den regulære 17-kanten kunne lages ved en slik geometrisk konstruksjon. Noen år senere publiserte han den matematiske forklaringen og viste at også regulære mangekanter med *n* = 257 og 65537 sider kan konstrueres. Antall sider i en regulær mangekant med et odde antall sider måtte være lik med et Fermat-tall eller et produkt av forskjellige slike. Dette resultatet kan sammenfattes i formelen

:  n = 2^m F_0^{\nu_0}F_1^{\nu_1}F_2^{\nu_2}F_3^{\nu_3}F_4^{\nu_4} 

hvor *m* igjen er et heltall, *F<sub>i</sub>*&thinsp; står for Fermat-tallene 3,5,17,257,65537  og *&nu;<sub>i</sub>* = 0,1. De fem Fermat-tallene gir derfor opphav til i alt 31 regulære, konstruerbare mangekanter med et odde antall sider.

Omtrent tredve år senere viste Pierre Wantzel hvordan disse resultatene passet inn i en større sammenheng basert på utvidelser av tallkropper. Dette var igjen en videreføring av hva Niels Henrik Abel hadde kommet frem til om løsbarheten av  polynomligninger. På den måten ble det klart at en geometrisk konstruksjon av et tall kun er mulig når dette inneholder rasjonelle uttrykk som i alminnelighet involverer kvadratrøtter av rasjonelle uttrykk med kvadratrøtter som igjen inneholder kvadratrøtter og så videre et endelig antall ganger. For å konstruere en *n*-kant må derfor sentralvinkelen *2&pi;/n*&thinsp; kunne konstrueres og dermed tallet cos*2&pi;/n*. Man kan for eksempel konstruere en 120-kant med en sentralvinkel på 3&deg;. Da  kan det gjøres ved å starte med en 15-kant og så halvere sidekantene tre ganger. Det tilsvarer den eksakte verdien

:   \cos 3^\circ =  {1\over 8}(\sqrt{3} + 1)\sqrt{5 + \sqrt{5}} + {1\over 16}(\sqrt{6} - \sqrt{2})(\sqrt{5} - 1)

som er et konstruerbart tall da det inneholder kun kvadratrøtter og en kvadratrot av en kvadratrot.

## Sirkeldelingsligningen

Konstruksjon av en regulær *n*-kant er ekvivalent med å finne løsningene eller røttene til den spesielle polynomligningen

:  x^n -1 = 0 

Den har opplagt løsningen *x = 1*. Men hvis man også tillater komplekse røtter, så kan alle skrives som

: z_k =  e^{2\pi ik/n} = \cos \frac{2\pi k}{n} + i \sin \frac{2\pi k}{n}  

hvor *k = 0,1,2,..., n-1* og *i = &radic;-1*&thinsp; er den imaginære enheten. Den  reelle løsningen *x = 1* tilsvarer *z<sub>0</sub> = z<sub>n</sub> = 1*. Disse *n* røttene ligger på en sirkel i det komplekse planet og danner hjørnene i en mangekant med *n* sider og sentralvinkel *&alpha;<sub>n</sub> = 2&pi;/n*.

For *n = 2* er begge løsningene *x = &plusmn; 1* reelle, og mangekanten er en 2-kant som består av en diameter i sirkelen. Mer interessant er den likesidete trekanten som kommer frem for . De tre røttene er da

: \left(1, -{1\over 2} + {i\over 2}\sqrt{3}, -{1\over 2} - {i\over 2}\sqrt{3}\right) ,

mens for * n = 4* blir røttene *(&plusmn;1, &plusmn;i)* og danner et kvadrat. Når *n = 5*, fremkommer en pentagon som figuren viser.

Produktet av to røtter er en ny rot. På samme måte gir potensen av en rot, i alminnelighet en annen rot. Tar man alle potenser av en og samme rot *z<sub>k</sub>*, vil resultatet enten bli en undergruppe av alle *n* røttene eller generere dem alle sammen. I det siste tilfellet kalles roten for **primitiv**. Den har den egenskapen at hvis roten &thinsp; er primitiv, så er den ikke en løsning av &thinsp; for noe positivt heltall  For eksempel når , så er begge røttene  primitive. Derimot for  er bare  primitive da , mens  Når *n* er et primtall, så er generelt antall primitive røtter lik med *n - 1*.

Av formen for den generelle roten * z<sub>k</sub>* til sirkeldelingslinjen av grad *n* ser man at antall primitive røtter er gitt ved de verdier av *k < n* som er relativt primisk til *n*. Denne tallteoretiske egenskapen til *n* er uttrykt ved Eulers totientfunksjon &phi;(*n*).  Da alle postive tall mindre enn et primtall *p* er relativt primiske til dette, vil   Denne aritmetiske funksjonen spiller en sentral rolle i den algebraiske bestemmelsen av hvilke regulære mangekanter som kan geometrisk konstrueres.

## Se også
* Likesidet trekant
* Kvadrat
* Regulær polytop
* Regulært polyeder
* Regulær polytop

## Litteratur
* A. Søgaard og R. Tambs Lyche, *Matematikk for den høgre skolen*, Gyldendal Norsk Forlag, Oslo (1955).
* J. Reed og J. Aarnes, *Matematikk i vår tid*, Universitetsforlaget, Oslo (1967).
* R. Courant and H. Robbins, *What is Mathematics? An Elementary Approach to Ideas and Methods*, Oxford University Press, Oxford (1996). ISBN 0-195-10519-2.

## Eksterne lenker
* Devin Kuh, Constructible Regular n-gons , Senior Project, Whitman College (2013).