Wielokąt foremny — Regular polygon

Zestaw wypukłych regularnych n-gonów

Wielokąt regularny 3 z adnotacjami.svgWielokąt foremny 4 z adnotacjami.svgWielokąt regularny 5 z adnotacjami.svgWielokąt foremny 6 z adnotacjami.svg
Wielokąt regularny 7 z adnotacjami.svgWielokąt regularny 8 z adnotacjami.svgWielokąt foremny 9 z adnotacjami.svgWielokąt foremny 10 z adnotacjami.svg
Wielokąt foremny 11 z adnotacjami.svgWielokąt foremny 12 z adnotacjami.svgWielokąt foremny 13 z adnotacjami.svgWielokąt foremny 14 z adnotacjami.svg
Wielokąt regularny 15 z adnotacjami.svgWielokąt foremny 16 z adnotacjami.svgWielokąt foremny 17 z adnotacjami.svgWielokąt foremny 18 z adnotacjami.svg
Wielokąt foremny 19 z adnotacjami.svgWielokąt regularny 20 z adnotacjami.svg
Wielokąty regularne

Krawędzie i wierzchołki n
Symbol Schläfli { n }
Wykres Coxetera-Dynkina Węzeł CDel 1.pngCDel n.pngCDel node.png
Grupa symetrii D n , rząd 2n
Podwójny wielokąt Samodzielność
Powierzchnia
(z długością boku, s )
Kąt wewnętrzny
Suma kątów wewnętrznych
Wpisana średnica koła
Średnica okręgu opisanego
Nieruchomości Wypukły , cykliczny , równoboczny , izogonalny , izotoksal

W geometrii euklidesowej , o wielokąt foremny to wielokąt czyli równokątny (wszystkie kąty są równe miary) oraz równoboczny (wszystkie boki mają taką samą długość). Wielokąty regularne mogą być wypukłe lub gwiaździste . W granicy ciąg wielokątów foremnych o rosnącej liczbie boków przybliża okrąg , jeśli obwód lub obszar jest stały, lub apeirogon foremny (efektywnie linia prosta ), jeśli długość krawędzi jest stała.

Właściwości ogólne

Regularne wielokąty wypukłe i gwiaździste z 3 do 12 wierzchołkami oznaczonymi symbolami Schläfliego

Te właściwości dotyczą wszystkich regularnych wielokątów, zarówno wypukłych, jak i gwiaździstych .

Regularne n -sided wielokąt ma symetrii obrotowej o uporządkowaniu n .

Wszystkie wierzchołki wielokąta foremnego leżą na wspólnym okręgu ( okrąg opisanym ); tj. są to punkty koncykliczne . Oznacza to, że wielokąt foremny jest wielokątem cyklicznym .

Wraz z majątku równa długości boków, oznacza to, że każdy wielokąt foremny ma również koła wpisanego lub incircle , która jest styczna do każdej strony w punkcie środkowym. Tak więc wielokąt foremny jest wielokątem stycznym .

Regularne n -sided wielokąta może być wykonana z kompasu i liniału wtedy i tylko wtedy, gdy nieparzyste głównymi czynnikami n są różnymi liczbami pierwszymi Fermat . Zobacz wielokąt możliwy do zbudowania .

Symetria

Grupa symetrii o n -sided regularny wielokąt dwuściennej grupy D N (rzędu 2 N ): R 2 , D 3 , D 4 , ... składają się z obrotami w C n , wraz z symetria osiowa w n osiach które przechodzą przez centrum. Jeśli n jest parzyste, to połowa tych osi przechodzi przez dwa przeciwległe wierzchołki, a druga połowa przez środek przeciwległych boków. Jeśli n jest nieparzyste, wszystkie osie przechodzą przez wierzchołek i środek przeciwnej strony.

Regularne wielokąty wypukłe

Wszystkie regularne proste wielokąty ( wielokąt prosty to taki, który nigdzie się nie przecina) są wypukłe. Te, które mają taką samą liczbę boków, są również podobne .

N -sided wypukłego wielokąta foremnego jest oznaczona jej symbol schläfliego { n }. Dla n < 3 mamy dwa przypadki zdegenerowane :

Monogon {1}
Zwyrodniać w zwykłej przestrzeni . (Większość autorytetów nie uważa monogonu za prawdziwy wielokąt, częściowo z tego powodu, a także dlatego, że poniższe formuły nie działają, a jego struktura nie przypomina żadnego abstrakcyjnego wielokąta .)
Digon {2}; „podwójny segment linii”
Zwyrodniać w zwykłej przestrzeni . (Niektóre autorytety z tego powodu nie uważają digonu za prawdziwy wielokąt).

W pewnych kontekstach wszystkie rozważane wielokąty będą regularne. W takich okolicznościach zwyczajowo opuszcza się przedrostek regularny. Na przykład wszystkie ściany jednostajnych wielościanów muszą być regularne, a ściany będą opisywane po prostu jako trójkąt, kwadrat, pięciokąt itp.

Kąty

Dla regularnego wypukłego n- kąta każdy kąt wewnętrzny ma miarę:

stopnie;
radiany; lub
pełne obroty ,

a każdy kąt zewnętrzny (tj. uzupełniający do kąta wewnętrznego) ma miarę stopni, z sumą kątów zewnętrznych równą 360 stopni lub 2π radianów lub jeden pełny obrót.

Gdy n zbliża się do nieskończoności, kąt wewnętrzny zbliża się do 180 stopni. Dla wielokąta foremnego o 10 000 bokach ( miriagon ) kąt wewnętrzny wynosi 179,964°. Wraz ze wzrostem liczby boków kąt wewnętrzny może zbliżyć się do 180°, a kształt wielokąta zbliża się do koła. Jednak wielokąt nigdy nie może stać się okręgiem. Wartość kąta wewnętrznego nigdy nie może być dokładnie równa 180°, ponieważ obwód w rzeczywistości stałby się linią prostą. Z tego powodu okrąg nie jest wielokątem o nieskończonej liczbie boków.

Przekątne

Dla n > 2 liczba przekątnych wynosi ; tj. 0, 2, 5, 9, ..., dla trójkąta, kwadratu, pięciokąta, sześciokąta, ... . Przekątne dzielą wielokąt na 1, 4, 11, 24, ... części OEISA007678 .

Dla regularnego n- kąta wpisanego w okrąg o jednostkowym promieniu iloczyn odległości od danego wierzchołka do wszystkich innych wierzchołków (w tym wierzchołków sąsiednich i wierzchołków połączonych przekątną) wynosi n .

Punkty w samolocie

Dla zwykłego prostego n -gonu o promieniu okręgu R i odległościach d i od dowolnego punktu na płaszczyźnie do wierzchołków mamy

Dla większych potęg odległości od dowolnego punktu na płaszczyźnie do wierzchołków regularnego -gonu, jeśli

,

następnie

,

oraz

,

gdzie jest dodatnią liczbą całkowitą mniejszą niż .

Jeśli jest odległością od dowolnego punktu na płaszczyźnie do środka ciężkości regularnego gonu o promieniu okręgu , to

,

gdzie = 1, 2, …, .

Punkty wewnętrzne

Dla regularnego n- kąta suma odległości prostopadłych od dowolnego punktu wewnętrznego do n boków jest n razy apotem (apotem jest odległością od środka do dowolnego boku). Jest to uogólnienie twierdzenia Vivianiego dla przypadku n = 3.

Circumpromień

Regularnego pięciokąta ( n = 5) z boku s , circumradius R i apotema
Wykresy boczne ,  s ; apotem ,  a ; i obszar ,  z regularnych wielokątów o n bokach i circumradius 1, z podstawy ,  b z prostokąta o tej samej powierzchni . Zielona linia pokazuje przypadek n = 6 .

Circumradius R od środka regularnego wielokąta do jednego z wierzchołków jest uzależniona od długości boku a lub w apotema a przez

Dla konstruowalnych wielokątów , algebraicznymi wyrażenia dla tych relacji istnieje; zobacz Wielokąt dwucentryczny#Wielokąty regularne .

Suma prostopadłych od wierzchołków n- kąta foremnego do dowolnej prostej stycznej do okręgu opisanego jest równa n- krotności promienia okręgu.

Suma kwadratów odległości od wierzchołków regularnego n- kąta do dowolnego punktu na jego okręgu wynosi 2 nR 2, gdzie R jest promieniem okręgu.

Suma kwadratów odległości od punktów środkowych boków regularnego n- kąta do dowolnego punktu na okręgu wynosi 2 nR 21/4ns 2 , gdzie s to długość boku, a R to promień okręgu.

Jeśli są odległościami od wierzchołków kąta foremnego do dowolnego punktu na jego okręgu, to

.

Sekcje

Coxeter stwierdza, że ​​każdy zonogon (2 m -gon, którego przeciwległe boki są równoległe i równej długości) może być rozcięty na lub1/2m ( m − 1) równoległoboki. Te kafelki są zawarte jako podzbiory wierzchołków, krawędzi i ścian w rzutach ortogonalnych m -sześciany . W szczególności dotyczy to regularnych wielokątów o równomiernie wielu bokach, w którym to przypadku wszystkie równoległoboki są rombami. Lista OEISA006245 podaje liczbę rozwiązań dla mniejszych wielokątów.

Przykładowe przekroje dla wybranych równobocznych wielokątów foremnych
2 mln 6 8 10 12 14 16 18 20 24 30 40 50
Obraz 6-gon rombowy rozwarstwienie.svg 8-kąt rombowy rozwarstwienie.svg Dziesięciokąt słońca.svg 12-gon rombowe rozwarstwienie.svg 14-gon-dissection-star.svg 16-kąt rombowy rozwarstwienie.svg 18-gon-dissection-star.svg 20-gon rombowe rozwarstwienie.svg 24-kąt rombowy rozwarstwienie.svg 30-gon-dissection-star.svg 40-gon rombowe rozwarstwienie.svg 50-gon-dissection-star.svg
Romby 3 6 10 15 21 28 36 45 66 105 190 300

Powierzchnia

Pole A wypukłego wielokąta n- bocznego foremnego mającego boki s , obwód promienia R , apotem a i obwód p jest określone wzorem

W przypadku regularnych wielokątów z boku a = 1, circumradius R = 1 lub apotema = 1, to wytwarza się w poniższej tabeli: (Należy zauważyć, że ponieważ jako obszar, gdy dąży się do jak rośnie duży).

Liczba
boków
Powierzchnia, gdy bok s = 1 Pole, w którym obwód promienia R = 1 Pole, gdy apotem a = 1
Dokładny Przybliżenie Dokładny Przybliżenie W stosunku do obszaru
wokół okręgu 
Dokładny Przybliżenie W stosunku do obszaru
otaczającego 
n
3 0,433012702 1.299038105 0,4134966714 5.196152424 1,653986686
4 1 1.0000000000 2 2.00000000 0,6366197722 4 4.000000000 1,273239544
5 1.720477401 2.377641291 0.7568267288 3.632712640 1.156328347
6 2.598076211 2.598076211 0,8269933428 3.464101616 1.102657791
7 3.633912444 2.736410189 0,8710264157 3.371022333 1.073029735
8 4.828427125 2.828427125 0.9003163160 3,313708500 1.054786175
9 6.181824194 2.892544244 0,9207254290 3,275732109 1.042697914
10 7.694208843 2,938926262 0,9354892840 3.249196963 1.034251515
11 9.365639907 2.973524496 0,9465022440 3.229891423 1.028106371
12 11.19615242 3 3.0000000000 0,9549296586 3.215390309 1.023490523
13 13.18576833 3.020700617 0.9615188694 3.204212220 1.019932427
14 15.33450194 3.037186175 0,9667663859 3.195408642 1.017130161
15 17.64236291 3.050524822 0.9710122088 3.188348426 1.014882824
16 20.10935797 3.061467460 0.9744953584 3.182597878 1.013052368
17 22.73549190 3.070554163 0.9773877456 3.177850752 1.011541311
18 25.52076819 3.078181290 0.9798155361 3.173885653 1.010279181
19 28.46518943 3.084644958 0.9818729854 3.170539238 1.009213984
20 31.56875757 3.090169944 0,9836316430 3.167688806 1.008306663
100 795.5128988 3.139525977 0,9993421565 3.142626605 1,000329117
1000 79577,20975 3.141571983 0.9999934200 3.141602989 1,000003290
10 000 7957746.893 3.141592448 0.9999999345 3.141592757 1.00000033
1 000 000 79577471545 3.141592654 1.0000000000 3.141592654 1.0000000000
Porównanie rozmiarów wielokątów foremnych o tej samej długości krawędzi, od trzech do sześćdziesięciu boków. Rozmiar rośnie bez ograniczeń, gdy liczba boków zbliża się do nieskończoności.

Ze wszystkich n- gonów o danym obwodzie, ten o największej powierzchni jest regularny.

Konstruowany wielokąt

Niektóre regularne wielokąty są łatwe do skonstruowania za pomocą kompasu i linijki ; inne regularne wielokąty nie są w ogóle możliwe do zbudowania. W starożytnych greckich matematyków umiał zbudować regularny wielobok z 3, 4 lub 5 stron, a oni wiedzieli, jak skonstruować wielokąt foremny z podwójną liczbą stronach danego wielokąta foremnego. Doprowadziło to do postawienia pytania: czy za pomocą kompasu i linijki można skonstruować wszystkie regularne n- gony? Jeśli nie, to które n- gony są możliwe do zbudowania, a które nie?

Carl Friedrich Gauss dowiódł możliwości budowy regularnego 17-gonu w 1796 roku. Pięć lat później rozwinął teorię okresów Gaussa w swoich Disquisitiones Arithmeticae . Teoria ta pozwoliła mu sformułować warunek wystarczający dla konstruowalności wielokątów foremnych:

Regularny n- gon może być skonstruowany za pomocą kompasu i liniału pomiarowego, jeśli n jest iloczynem potęgi 2 i dowolnej liczby różnych liczb pierwszych Fermata (w tym żadnej).

(Liczba pierwsza Fermata jest liczbą pierwszą w postaci ) Gauss stwierdził bez dowodu, że ten warunek jest również konieczny , ale nigdy nie opublikował swojego dowodu. Pełny dowód konieczności podał Pierre Wantzel w 1837 roku. Wynik ten znany jest jako twierdzenie Gaussa-Wantzela .

Równoważnie, regularny n- gon jest konstruowalny wtedy i tylko wtedy, gdy cosinus jego wspólnego kąta jest liczbą konstruktywną — to znaczy może być zapisany w kategoriach czterech podstawowych operacji arytmetycznych i wyciągania pierwiastków kwadratowych.

Regularne wielokąty skośne

Cube Petrie polygon sideview.png
Kostka zawiera pochylać regularny sześciokąt , postrzegane jako 6 czerwonych krawędziach zygzakiem między dwóch płaszczyznach prostopadłych do osi przekątnej sześcianu.
Antypryzmat17.jpg
Zygzakowate krawędzie boczne n - antypryzmaty reprezentują regularny skos 2 n- kąt, jak pokazano na tym 17-kątnym antypryzmacie.

Regularny wielokąt skośny w przestrzeni 3-wymiarowej może być postrzegane jako nie płaskie ścieżki zygzakiem dwóch równoległych płaszczyznach, zdefiniowane jako bocznych krawędziach jednolitej antygraniastosłup . Wszystkie krawędzie i kąty wewnętrzne są równe.

Petrie polygons.png
W Platońskie ciało stałe (the Tetrahedron , sześcian , ośmiościan , dwunastościan i dwudziestościanu ) mają wielokątów Petriego, widoczne na czerwony tutaj, z boków 4, 6, 6, 10 i 10, odpowiednio.

Bardziej ogólnie regularne wielokąty skośne można zdefiniować w n -przestrzeni. Przykłady obejmują wieloboki Petriego wielokątny ścieżki krawędzi, które dzielą się regularne Polytope na dwie połowy, i uważanych za regularnego wielokąta w rzucie prostokątnym.

W nieskończonej granicy skośne wielokąty regularne stają się skośnymi apeirogonami .

Regularne wielokąty gwiazdy

Regularne wielokąty gwiazdy
2 < 2q < p, gcd (p, q) = 1
Wielokąt gwiazdy regularnej 5-2.svg
{5/2}
Regularny wielokąt gwiazdy 7-2.svg
{7/2}
Regularny wielokąt gwiazdy 7-3.svg
{7/3} ...
Symbol Schläfli {p/k}
Wierzchołki i krawędzie P
Gęstość Q
Schemat Coxetera Węzeł CDel 1.pngCDel p.pngCDel rat.pngCDel dq.pngCDel node.png
Grupa symetrii Dwuścienny (D p )
Podwójny wielokąt Samodzielność
Kąt wewnętrzny
( stopnie )

Niewypukły wielokąt foremny to wielokąt foremny gwiazdy . Najczęstszym przykładem jest pentagram , który ma te same wierzchołki co pięciokąt , ale łączy naprzemienne wierzchołki.

W przypadku n- bocznego wielokąta gwiazdy, symbol Schläfliego jest modyfikowany, aby wskazać gęstość lub „gwiaździstość” m wielokąta, jako { n / m }. Jeśli na przykład m wynosi 2, to co drugi punkt jest łączony. Jeśli m wynosi 3, to co trzeci punkt jest łączony. Granica wielokąta wije się wokół środka m razy.

(niezdegenerowane) regularne gwiazdy o maksymalnie 12 bokach to:

m i n musi być względnie pierwsze , a liczba ta degeneracji.

Zdegenerowane regularne gwiazdy o maksymalnie 12 bokach to:

  • Czworokąt – {4/2}
  • Sześciokąty – {6/2}, {6/3}
  • Ośmiokąty – {8/2}, {8/4}
  • Enneagon – {9/3}
  • Dziesięciokąty — {10/2}, {10/4} i {10/5}
  • Dwunastokąty – {12/2}, {12/3}, {12/4} i {12/6}
Dwie interpretacje {6/2}
Grünbaum
{6/2} lub 2{3}
Coxeter
2 {3} lub {6}[2{3}]{6}
Podwójnie ranny sześciokąt.png Zwykła figura gwiazdy 2(3,1).svg
Sześciokąt podwójnie nawinięty Heksagram jako związek
dwóch trójkątów

W zależności od dokładnego wyprowadzenia symbolu Schläfli, opinie co do charakteru zdegenerowanej postaci są różne. Na przykład {6/2} można traktować na dwa sposoby:

  • Przez większą część XX wieku (patrz na przykład Coxeter (1948) ) powszechnie przyjmowaliśmy /2, aby wskazać łączenie każdego wierzchołka wypukłego {6} z jego najbliższymi sąsiadami dwa kroki dalej, aby uzyskać regularny związek dwóch trójkątów lub heksagram .
    Coxeter wyjaśnia ten regularny związek za pomocą notacji {kp}[k{p}]{kp} dla związku {p/k}, więc heksagram jest reprezentowany jako {6}[2{3}]{6}. W bardziej zwięzły sposób Coxeter pisze również 2 {n/2}, jak 2 {3} dla heksagramu jako złożonego jako naprzemian regularnych wielokątów parzystych, z kursywą na wiodącym czynniku, aby odróżnić go od zbieżnej interpretacji.
  • Wielu współczesnych geometrów, takich jak Grünbaum (2003), uważa to za błędne. Przyjmują /2, aby wskazać przesuwanie dwóch miejsc wokół {6} na każdym kroku, uzyskując trójkąt „podwójnie nawinięty”, który ma dwa wierzchołki nałożone na każdy punkt narożny i dwie krawędzie wzdłuż każdego odcinka linii. Nie tylko lepiej pasuje to do współczesnych teorii abstrakcyjnych wielokątów , ale także dokładniej odwzorowuje sposób, w jaki Poinsot (1809) stworzył swoje wielokąty gwiaździste – biorąc pojedynczy odcinek drutu i zginając go w kolejnych punktach pod tym samym kątem. aż postać się zamknie.

Dualizm regularnych wielokątów

Wszystkie regularne wielokąty są self-dualny do spójnością, a dla nieparzystych n są self-dualny do tożsamości.

Ponadto regularne figury gwiazd (związki), składające się z regularnych wielokątów, są również samo-dwójne.

Wielokąty regularne jako ściany wielościanów

Jednolity wielościan ma regularne wielokąty jak twarze, takie, że dla każdych dwóch wierzchołków istnieje izometria jeden mapowanie do drugiego (tak jak nie ma dla wielokąta foremnego).

Quasiregular wielościan jest jednolity wielościan, który ma tylko dwa rodzaje twarzy na przemian wokół każdego wierzchołka.

Regularne wielościan jest jednolity wielościan, który ma tylko jeden rodzaj twarzy.

Pozostałe (niejednolite) wypukłe wielościany o regularnych ścianach są znane jako bryły Johnsona .

Wielościan posiadający regularne trójkąty jako twarze nazywa się deltahedron .

Zobacz też

Uwagi

Bibliografia

  • Coxeter, HSM (1948). „Zwykłe Polytopes”. Methuen i spółka Cytowanie dziennika wymaga |journal=( pomoc )
  • Grünbauma, B.; Czy twój wielościan jest taki sam jak mój wielościan?, Dyskretny i komputerowy. geom: pismo Goodmana-Pollacka , wyd. Aronov i in., Springer (2003), s. 461–488.
  • Poinsot, L .; Memoire sur les polygones et polyèdres. J. de l'École Polytechnique 9 (1810), s. 16-48.

Zewnętrzne linki

Rodzina A n B n I 2 (p) / D n E 6 / E 7 / E 8 / F 4 / G 2 H n
Wielokąt foremny Trójkąt Kwadrat p-gon Sześciokąt Pięciokąt
Jednolity wielościan Czworościan Ośmiościankostka Demicube DwunastościanIcosahedron
Jednolita polichoron Pentachoron 16-ogniwowyTesseract Demitesseract 24-komorowy 120-ogniwowy600-ogniwowy
Jednolity 5-politop 5-simplex 5-ortopleks5-kostka 5-demicube
Jednolity 6-politop 6-simplex 6-ortopleks6-kostka 6-demicube 1 222 21
Jednolity 7-politop 7-simplex 7-ortopleks7-kostka 7-demicube 1 322 313 21
Jednolity 8-politop 8-simplex 8-ortopleks8-kostka 8-demicube 1 422 414 21
Jednolity 9-politop 9-simplex 9-ortopleks9-kostka 9-demicube
Jednolity 10-politop 10-simplex 10-ortopleks10-kostka 10-demicube
Jednolity n - polytope n - simpleks n - ortoplexn - sześcian n - demicube 1 k22 k1k 21 n - pięciokątny politop
Tematy: Rodziny PolytopeRegularny polytopeLista regularnych polytopów i związków