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 π 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 α = 360°/n sett fra den omskrevne sirkels sentrum. Dette er mangekantens sentralvinkel. Da summen av vinklene i en trekant er 180°, vil den indre vinkelen i mangekanten være β = 180° - α =  (1 - 2/n)⋅180°. Den nærmer seg 180° når antall sidekanter blir veldig stort. Den ytre vinkelen γ = 180° - β = α er lik sentralvinkelen og vil derimot gå mot null i samme grense.
Uttrykt ved radianer er sentralvinkelen α = 2π/n. Hvis R er radius i den omskrevne sirkelen, så er lengden av en side i mangekanten lik med  s = 2R sinα/2 eller

  
    
      
        s
        =
        2
        R
        sin
        ⁡
        
          
            π
            n
          
        
      
    
    {\displaystyle s=2R\sin {\pi  \over n}}
  Radius i den innskrevne sirkelen er på samme måte

  
    
      
        a
        =
        R
        cos
        ⁡
        
          
            π
            n
          
        
      
    
    {\displaystyle 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
        =
        2
        n
        R
        sin
        ⁡
        
          
            π
            n
          
        
        =
        2
        n
        a
        tan
        ⁡
        
          
            π
            n
          
        
      
    
    {\displaystyle 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π R som for en sirkel. Det følger fra at (sinx)/x = 1 når x → 0.


=== 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åes arealet til hele mangekanten, 

  
    
      
        A
        =
        n
        
          R
          
            2
          
        
        sin
        ⁡
        
          
            π
            n
          
        
        cos
        ⁡
        
          
            π
            n
          
        
        =
        n
        
          a
          
            2
          
        
        tan
        ⁡
        
          
            π
            n
          
        
      
    
    {\displaystyle A=nR^{2}\sin {\pi  \over n}\cos {\pi  \over n}=na^{2}\tan {\pi  \over n}}
  Dette går mot π R2 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π/p og en q-kant med sentralvinkel 2π/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 ap + bq = 1 for visse heltall a og b slik at 2aπ/q + 2bπ/p = 2π/pq 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
          
            
              ν
              
                0
              
            
          
        
        
          5
          
            
              ν
              
                1
              
            
          
        
      
    
    {\displaystyle n=2^{m}3^{\nu _{0}}5^{\nu _{1}}}
  hvor m = 0,1,2,3,... og νi = 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
          
          
            
              ν
              
                0
              
            
          
        
        
          F
          
            1
          
          
            
              ν
              
                1
              
            
          
        
        
          F
          
            2
          
          
            
              ν
              
                2
              
            
          
        
        
          F
          
            3
          
          
            
              ν
              
                3
              
            
          
        
        
          F
          
            4
          
          
            
              ν
              
                4
              
            
          
        
      
    
    {\displaystyle 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, Fi  står for Fermat-tallene 3,5,17,257,65537  og νi = 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π/n  kunne konstrueres og dermed tallet cos2π/n. Man kan for eksempel konstruere en 120-kant med en sentralvinkel på 3°. Da 120 = 23⋅3⋅5, kan det gjøres ved å starte med en 15-kant og så halvere sidekantene tre ganger. Det tilsvarer den eksakte verdien

  
    
      
        cos
        ⁡
        
          3
          
            ∘
          
        
        =
        
          
            1
            8
          
        
        (
        
          
            3
          
        
        +
        1
        )
        
          
            5
            +
            
              
                5
              
            
          
        
        +
        
          
            1
            16
          
        
        (
        
          
            6
          
        
        −
        
          
            2
          
        
        )
        (
        
          
            5
          
        
        −
        1
        )
      
    
    {\displaystyle \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
      
    
    {\displaystyle 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
            π
            i
            k
            
              /
            
            n
          
        
        =
        cos
        ⁡
        
          
            
              2
              π
              k
            
            n
          
        
        +
        i
        sin
        ⁡
        
          
            
              2
              π
              k
            
            n
          
        
      
    
    {\displaystyle 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 = √-1  er den imaginære enheten. Den  reelle løsningen x = 1 tilsvarer z0 = zn = 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 αn = 2π/n.
For n = 2 er begge løsningene x = ± 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 n = 3. De tre røttene er da

  
    
      
        
          (
          
            1
            ,
            −
            
              
                1
                2
              
            
            +
            
              
                i
                2
              
            
            
              
                3
              
            
            ,
            −
            
              
                1
                2
              
            
            −
            
              
                i
                2
              
            
            
              
                3
              
            
          
          )
        
        ,
      
    
    {\displaystyle \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 (±1, ±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 zk, 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 x = zk  er primitiv, så er den ikke en løsning av xm - 1 = 0  for noe positivt heltall m < n. For eksempel når n = 3, så er begge røttene 1/2(-1 ± i√3)  primitive. Derimot for n = 4 er bare z = ± i primitive da (-1)2 = 1, mens (± i)2 = - 1. Når n er et primtall, så er generelt antall primitive røtter lik med n - 1.
Av formen for den generelle roten  zk 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 φ(n).  Da alle postive tall mindre enn et primtall p er relativt primiske til dette, vil  φ(p) = p - 1. 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).