W geometrii euklidesowej , o wielokąt foremny to wielokąt, który jest zarówno równobocznego (wszystkie jego boki mają taką samą długość) i equiangle (wszystkie jego kąty mają ten sam środek). Regularny wielokąt jest wypukły lub gwiazdowy .
Wszystkie regularne wielokąty wypukłe o tej samej liczbie boków są podobne . Wszelkie Ulubione wielokąt foremny o n bokach posiada kopertę wypukły o n bokach, który jest regularny wielobok. Liczba całkowita n większa lub równa 3, ponieważ istnieje wypukły wielokąt regularny o n bokach.
W niektórych kontekstach wszystkie rozważane wielokąty będą wypukłe i regularne. Wówczas zwyczajowo narzuca się te dwa epitety jako „regularne wypukłe”. Na przykład wszystkie ściany jednolitych wielościanów muszą być wypukłe i regularne, a twarze będą opisane po prostu jako trójkąt , kwadrat , pięciokąt ...
Różnorodne właściwości regularnych wielokątów doprowadziły do ich badań matematycznych od czasów starożytnych i do różnych interpretacji symbolicznych , religijnych lub magicznych .
Wielokąt jest regularny wtedy i tylko wtedy, gdy jest równoboczny i zapisywalny (w okręgu ).Środek i promień tego okręgu nazywane są wówczas środkiem i promieniem wielokąta.
Wielokąt jest regularny wtedy i tylko wtedy, gdy istnieje obrót, który przesyła każdy wierzchołek do następnego.Ta (unikalna) rotacja przesyła następnie każdą stronę do następnej.
Dlatego każdy wielokąt regularny jest nie tylko równoboczny i równoboczny (z definicji), ale nawet izotoksyczny i izogonalny .
Wielokąt o n bokach jest regularny wtedy i tylko wtedy, gdy jego grupa symetrii jest „tak duża, jak to możliwe”: rzędu 2 n .Grupa ta jest więc grupą dwuścienną D n , złożoną z obrotów C n (grupa symetrii obrotowej rzędu n - jeśli n jest parzyste, wielokąt ma zatem środek symetrii) i n symetrii osiowych, których osie przechodzą Centrum. Jeśli n jest parzyste, to połowa tych osi przechodzi przez dwa przeciwległe wierzchołki, a druga połowa przez punkty środkowe dwóch przeciwległych boków. Jeśli n jest nieparzyste, to każda oś przechodzi przez wierzchołek i środek przeciwnej strony.
Każdy regularny wielokąt jest autodualny .Rzeczywiście, wspomniany obrót całkowicie charakteryzuje wielokąt (z bliskim bezpośrednim podobieństwem ).
Regularne wielokąty z n wierzchołkami (rozpatrywane z bliskim podobieństwem) są w układzie bijekcyjnym z liczbami całkowitymi pierwszymi zn i między 1 a n / 2
(dlatego dla n > 2 istnieje φ ( n ) / 2, gdzie φ oznacza wskaźnik Eulera ) .Rzeczywiście, obrót jest rzędu n, więc jego kąt wynosi 2 k π / n rad dla pewnej liczby całkowitej k pierwszej z n . Co więcej, dwa kąty dają „ten sam” wielokąt wtedy i tylko wtedy, gdy są równe lub przeciwne.
Za pomocą linijki i kompasu można zbudować regularny wielokąt (wypukły lub gwiazda) z n krawędziami wtedy i tylko wtedy, gdy n jest iloczynem potęgi 2 przez różne liczby pierwsze Fermata ( por . Artykuł „ Theorem of Gauss-Wantzel ” ). Jedyne znane liczby pierwsze Fermata to 3, 5, 17, 257 i 65 537.
Regularny wypukły wielokąt o n bokach odpowiada kątowi obrotu 2π / n .
Dla regularnego wypukłego wielokąta o n bokach.
Odległość między środkiem wielokąta a każdym z boków nazywana jest apotemem (jest to promień wpisanego koła ).
Dane jednej z trzech długości (bok a , promień ρ lub apotem h ) umożliwiają poznanie pozostałych dwóch, a tym samym scharakteryzowanie wielokąta.
Jeśli oznaczymy przez c = a / 2 połowę boku a wielokąta foremnego o n bokach, długości te są powiązane twierdzeniem Pitagorasa :
i za pomocą następujących wzorów trygonometrycznych (kąty wyrażone w radianach):
z którego wywnioskujemy odpowiednio:
Obwód P regularnego wielokąta wypukła n bokach ( n ≥ 3) o długości oczywiście równej nd . Ze względu na swój obszar S , jest sumą obszarów n trójkątów ( równoramienny ) o wysokości h (The apotema) i podstawy A , zatem:
.Z poprzednich relacji między a , h i promieniem ρ wielokąta wnioskujemy:
;ostatnia równość również używa trygonometryczne tożsamości : .
Od sin x jest równoważny do X jako x dąży do 0, obwodowa ma tendencję do 2 n ρ jak n dąży do nieskończoności, a także obszar gatunku ρ 2 . Znajdujemy obwód koła i obszar dysku .
Regularne wypukłe wielokąty mają niezwykłą właściwość, znaną od Greków . Spośród wszystkich wielokątów o tej samej liczbie boków i tym samym obwodzie największy obszar ma ten, który jest regularny wypukły. Ten obszar, zawsze mniejszy niż obszar koła o tym samym promieniu, zbliża się do niego, gdy n staje się większe. Właściwości te omówiono w artykule „ Izoperymetria ”.
Wartości liczboweboki | Nazwisko | Dokładny obszar, jeśli a = 1 | Pół obwodu, jeśli ρ = 1 |
---|---|---|---|
3 | Trójkąt równoboczny | 2.5980762 | |
4 | Kwadrat | 2.8284271 | |
5 | Pięciokąt regularny | 2.9389263 | |
6 | Sześciokąt regularny | 3,000000 | |
7 | Regularny siedmiokąt | 3.0371862 | |
8 | Zwykły ośmiokąt | 3.0614675 | |
9 | Zwykły Enneagone | 3.0781813 | |
10 | Zwykły dziesięciokąt | 3.0901699 | |
11 | Zwykły sześciokąt | 3.0990581 | |
12 | Zwykły dwunastokąt | 3,1058285 | |
13 | Regularny trójkątny | 3,1111036 | |
14 | Zwykły czworokąt | 3,1152931 | |
15 | Pięciokąt regularny | 3,1186754 | |
16 | Regularny sześciokąt | 3.1214452 | |
17 | Zwykły siedmiokątny | 3.1237418 | |
18 | Zwykły ośmiokąt | 3,1256672 | |
19 | Zwykły Enneadecagon | 3,1272972 | |
20 | Zwykły Icosagon | 3,1286893 | |
30 | Zwykły triakontagon | 3,1358539 | |
100 | Regularny sześciokąt | 3.1410759 | |
1000 | Zwykły Chiliagon | 3.1415875 | |
10 000 | Myriagone regular | 3.1415926 |
Zauważ, że jeśli promień jest równy 1, połowa obwodu zbliża się coraz bardziej do π .
Przykładem regularnego wielokąta gwiaździstego (co jest równoważne z „ skrzyżowanym regularnym ” lub „nie wypukłym regularnym”) jest pentagram , który ma te same wierzchołki co regularny pięciokąt wypukły , ale który jest połączony naprzemiennymi wierzchołkami.
Pierwsze wielokąty gwiazd to:
Jednolity wielościan jest wielościan z regularnych wielokątów na twarzy tak, że dla każdej pary wierzchołków istnieje izometria zastosowanie jednej nad drugą. Słowo wielokąt pochodzi od słowa poli (wiele) i nie ma (kąty).