M_R_W06_M1 Wprowadzenie do geometrii płaskiej
4. Wielokąty foremne
Każdy zajmujący się matematyką czy jej historią, zna postać francuskiego matematyka Pierre de Fermata. Ale niewielu zdaje sobie sprawę, że jedno z podstawowych twierdzeń teorii liczb, tzw. małe twierdzenie Fermata, zostało sformułowane wcześniej przez wybitnego polskiego matematyka, żyjącego w latach 1585 – 1652, profesora Akademii Krakowskiej, a w latach 1632 – 1652 proboszcza parafii w Staszowie - Jana Brożka. To słynne twierdzenie sformułował on na 42 lata przed Fermatem i podobnie jak Fermat, zajmował się wielokątami foremnymi gwiaździstymi.
Dla danego -kąta foremnego możemy rozważyć łamaną zamkniętą o wierzchołkach, utworzoną z tych przekątnych tego wielokąta, które mają równą długość - otrzymujemy wówczas wielokąt foremny gwiaździsty.
Najbardziej znanym wielokątem foremnym gwiaździstym jest pentagram (patrz rysunek).

To właśnie Jan Brożek nazwał kąty przy wierzchołkach wielokąta gwiaździstego kątami sterczącymi. Brożek podał sposób kreślenia różnych wielokątów gwiaździstych dla danej liczby wierzchołków . Temu celowi służy odpowiedni rozkład liczby na składniki. Liczba możliwych do zbudowania różnych pięciokątów jest równa , ponieważ liczbę możemy rozłożyć, z dokładnością do kolejności, na następujące dwie sumy: . Oznacza to, że po podzieleniu okręgu na równych części otrzymamy: pięciokąt foremny, gdy połączymy kolejne punkty podziału oraz pięciokąt gwiaździsty, gdy połączymy co drugi z takich punktów (co drugi wierzchołek pięciokąta foremnego).
Odkryjesz algorytm konstrukcji –kąta foremnego dla .
Poznasz i uzasadnisz poprawność konstrukcji sześciokąta foremnego.
Poznasz konstrukcję pięciokąta foremnego.
Usystematyzujesz wiadomości na temat wielokątów foremnych.
Zbadasz liczbę wielokątów foremnych gwiaździstych dla danego wielokąta foremnego i wykreślisz przykładowe wielokąty gwiaździste.
Zastosujesz poznane zależności w sytuacjach typowych i problemowych.
Wielokątem foremnym nazywamy taki wielokąt, którego wszystkie boki mają taką samą długość i kąty wewnętrzne są przystające (mają równe miary).
Zauważ, że mówiąc o trójkącie foremnym (równobocznym) wystarczy zażądać równości samych długości boków lub tylko równości miar kątów. Ale już w przypadku czworokątów foremnych musimy wymagać przystawania zarówno boków, jak i kątów. Romb niebędący kwadratem jest przykładem wielokąta, którego wszystkie boki są równe, ale który nie jest foremny. Z kolei prostokąt, który nie jest kwadratem to przykład czworokąta, którego wszystkie kąty są równe, a który nie jest foremny.
Okazuje się, że na dowolnym –kącie foremnym można opisać okrąg oraz w dowolny –kąt foremny można wpisać okrąg. Zależność między długością boku danego wielokąta i długościami promieni obu okręgów opisuje poniższe twierdzenie.
Niech dany będzie wielokąt foremny o boku długości . Niech będzie długością promienia okręgu opisanego na tym wielokącie, a niech będzie długością promienia okręgu wpisanego w ten wielokąt. Wtedy .
Prosty dowód zapisanej zależności wynika bezpośrednio z zastosowania twierdzenia Pitagorasa w trójkącie, którego dwoma bokami są odpowiednie promienie, a trzecim jest połowa boku danego wielokąta (patrz: rysunek).
Przejdziemy teraz do klasycznej geometrii z zastosowaniem cyrkla i linijki. Naszym zadaniem będzie konstrukcja wybranych –kątów foremnych spełniających zadane warunki. W opisywanych przykładach, w aplecie oraz ćwiczeniach skupimy się przede wszystkim na konstrukcjach –kąta, gdy zadana jest długość jego boku lub długość promienia okręgu opisanego na tym –kącie.
Zauważmy, że mając dany –kąt foremny wpisany w okrąg możemy, wykorzystując konstrukcję symetralnej odcinka, skonstruować wielokąt foremnywielokąt foremny o podwojonej liczbie boków.
Rozważmy kwadrat wpisany w okrąg taki jak na rysunku i dwie proste, które są symetralnymi równoległych boków (symetralna boku jest jednocześnie symetralną boku i podobnie dla boków i ).
Proste te przecinają dany okrąg w czterech punktach. Spróbuj określić, czym są te punkty.
Oczywiście otrzymane punkty, wraz z punktami , , i , są wierzchołkami ośmiokąta. Jest to ośmiokąt foremny wpisany w dany okrąg (patrz: rysunek poniżej).
Jeśli teraz poprowadzimy symetralne wszystkich boków otrzymanego ośmiokąta, to punkty wspólne tych symetralnych i okręgu wyznaczą kolejne wierzchołki szesnastokąta foremnego (patrz: rysunek).
Zauważ, że taką operację można prowadzić dowolną ilość razy, otrzymując wielokąt foremny wpisany w dany okrąg, który ma boków (dla ) – jedynym ograniczeniem jest dokładność naszych rysunków (zapewne już kolejny wielokąt o 32 bokach byłby niemal nieodróżnialny od szesnastokąta, czy od danego okręgu).
Analogicznie moglibyśmy skonstruować sześciokąt foremny wpisany w dany okrąg, mając wcześniej trójkąt równoboczny, który w ten okrąg jest wpisany.
Teraz jednak zajmiemy się konstrukcją wybranych wielokątów, gdy dane są długości ich boków. Pominiemy znaną doskonale konstrukcję trójkąta równobocznego o danym boku. Także konstrukcja kwadratu o boku zadanej długości czy wpisanego w okrąg o danym promieniu, gdy znany jest sposób konstrukcji symetralnej (patrz: lekcja 745), nie powinna nastręczać trudności. Pora więc na konstrukcję pięciokąta i sześciokąta foremnego.
Opis konstrukcji sześciokąta foremnego.
Odłóż na płaszczyźnie odcinek o długości równej długości boku sześciokąta.
Wykreśl okrąg o dowolnym środku i promieniu równym .
Na otrzymanym okręgu zaznacz dowolny punkt i nazwij go, np.: .
Z punktu zakreśl łuk promieniem równym , aż do przecięcia z okręgiem (odkładamy cięciwę ). Następnie z punktu odłóż cięciwę równą promieniowi okręgu, następnie z punktu odłóż cięciwę itd. W ten sposób podzielisz okrąg na 6 równych części.
Połącz kolejne końce cięciw, a otrzymasz szukany sześciokąt.
Zauważ, że przedstawiona konstrukcja jest konstrukcją sześciokąta foremnego o danym boku i jednocześnie konstrukcją sześciokąta wpisanego w okrąg o danym promieniu.
W Przykładzie pierwszym, wychodząc od wielokąta o danej liczbie boków, konstruowaliśmy wielokąt, którego liczba boków była dwukrotnie większa. Okazuje się, że czasami warto postąpić odwrotnie. Jeśli bowiem wykreślimy sześciokąt foremny i połączymy kolejno odcinkami co drugi jego wierzchołek, to otrzymamy trójkąt równoboczny. Tym samym, otrzymaliśmy metodę konstrukcji trójkąta równobocznego wpisanego w okrąg o zadanym promieniu. Podobną operację można przeprowadzić w przypadku dziesięciokąta i pięciokąta foremnego.
Opis konstrukcji pięciokąta foremnego wpisanego w okrąg o zadanym promieniu.
Odłóż na płaszczyźnie odcinek o długości równej długości promienia okręgu opisanego na pięciokącie.
Wykreśl symetralną danego odcinka, w celu wyznaczenia odcinka o długości równej .
Wykreśl okrąg o dowolnym środku i promieniu równym a i poprowadź dowolną średnicę – środek okręgu oznacz przez , końce średnicy przez , .
Poprowadź symetralną odcinka – punkty wspólne otrzymanej prostej z okręgiem, które wyznaczają średnicę prostopadłą do , oznacz przez i .
Na średnicy odłóż (po dowolnej stronie prostej ) odcinek o długości równej .
Poprowadź odcinek , na którym odłóż odcinek o długości równej – pozostała część odcinka , czyli odcinek , jest bokiem dziesięciokąta foremnego wpisanego w ten okrąg.
Z dowolnego punktu okręgu, np. z punktu zakreśl łuk promieniem równym długości odcinka , aż do przecięcia z okręgiem (zaznaczysz w ten sposób końce cięciwy). Z końca zaznaczonego łuku zakreśl ponownie łuk o takim samym promieniu, by przeciął się z okręgiem, itd. W ten sposób podzielisz okrąg na 10 równych części.
Połącz kolejne końce cięciw, a otrzymasz dziesięciokąt foremny.
Połącz co drugi z wierzchołków otrzymanego dziesięciokąta, a otrzymasz pięciokąt foremny.
Dowód poprawności konstrukcji dziesięciokąta (pięciokąta) foremnego wpisanego w okrąg o danym promieniu wykracza poza wymagania matematyki szkolnej, ale z pewnością sama konstrukcja (mimo rozbudowanego opisu) nie jest skomplikowana. Inaczej rzecz się ma z konstrukcją pięciokąta o boku zadanej długości. Przygotuj cyrkiel i linijkę, a następnie odtwórz na kartce opisaną niżej konstrukcję.
Opis konstrukcji pięciokąta foremnego o boku zadanej długości.
Na płaszczyźnie narysuj prostą i odłóż na tej prostej odcinek o długości równej długości boku pięciokąta – otrzymany odcinek oznacz .
Wykreśl okrąg o środku w punkcie i promieniu .
Przez punkt poprowadź prostą prostopadłą do prostej – punkty wspólne prostej i okręgu oznacz odpowiednio przez , .
Poprowadź symetralną odcinka – otrzymany środek odcinka oznacz przez .
Z punktu wykreśl okrąg o promieniu – otrzymasz dwa punkty wspólne z prostą . Oznacz przez ten z otrzymanych punktów, który leży po przeciwnej stronie prostej względem punktu .
Z punktu wykreśl okrąg o promieniu – otrzymasz dwa punkty wspólne z okręgiem i dwa punkty wspólne z prostą . Rozważmy te z nich, które leżą po tej samej stronie prostej , co punkt i oznaczmy przez punkt wspólny z okręgiem , a przez punkt wspólny z prostą .
Wykreśl okręgi o środkach w punktach i – otrzymasz dwa punkty wspólne. Ten z nich, który leży po tej samej stronie prostej , co punkt , oznacz przez .
Połącz kolejno punkty , a otrzymasz pięciokąt foremny o zadanym boku.
Uruchom aplet. Wybierz sześciokąt, a następnie kolejno zaznacz opisy etapów (ETAP 1, później ETAP 2, itd., aż do ETAP 7). Obserwuj operacje, jakie wykonuje program. W notatniku opisz działanie i jego wynik. Po wciśnięciu znacznika ETAP 7 i opisaniu zaobserwowanego działania i jego wyniku spróbuj odtworzyć konstrukcję tylko na podstawie swoich notatek. Obserwuj, jaka jest relacja między długością promienia okręgu i długością boku wielokąta. W razie potrzeby jeszcze raz uruchom aplet.
Zapoznaj się z poniższym apletem, aby na jego podstawie rozwiązać kolejne polecenia związane z konstrukcją pięciokąta i sześciokąta foremnego.
Zasób interaktywny dostępny pod adresem https://zpe.gov.pl/a/D81B282A7
Po zrealizowaniu ETAPU 7 i wykreśleniu sześciokąta wpisanego w dany okrąg zaproponuj konstrukcję trójkąta równobocznego wpisanego w ten okrąg. Po wykonaniu konstrukcji trójkąta (albo, gdy nie masz pomysłu jak ją wykonać) wciśnij znacznik TRÓJKĄT i obserwuj zaproponowany sposób konstrukcji.
Po zapoznaniu się z apletem, a następnie zastanów się, jakie inne wierzchołki sześciokąta można połączyć ze sobą, aby otrzymać trójkąt równoboczny?
Uruchom ponownie aplet. Wybierz pięciokąt, a następnie kolejno zaznacz opisy etapów (ETAP 1, później ETAP 2, itd., aż do ETAP 8). Obserwuj operacje, jakie wykonuje program. W notatniku opisz działanie wykonywane w kolejnych etapach i ich wynik. Po wciśnięciu znacznika ETAP 8 i jego opisaniu spróbuj odtworzyć konstrukcję tylko na podstawie swoich notatek. W razie potrzeby jeszcze raz uruchom aplet.
Po zrealizowaniu ETAPU 8 i wykreśleniu dziesięciokąta wpisanego w dany okrąg zaproponuj konstrukcję pięciokąta foremnego wpisanego w ten okrąg. Wciśnij znacznik PIĘCIOKĄT i porównaj swoje propozycje i konstrukcję zaproponowaną w aplecie.
W ETAPIE 8 dostajemy dziesięciokąt foremny. Zastanów się, ile różnych pięciokątów foremnych można otrzymać łącząc ze sobą, co drugi wierzchołek tego dziesięciokąta?
Wielokąty gwiaździste
Wiadomo, że wszystkie wielokąty foremne o takiej samej liczbie boków są podobne. Ale już wielokąty foremne gwiaździstewielokąty foremne gwiaździste o takiej samej liczbie boków nie muszą być figurami geometrycznymi podobnymi. Okazuje się, że istnieje tyle różnych (tzn. niepodobnych) -kątów foremnych gwiaździstych, ile jest liczb naturalnych względnie pierwszych z , z przedziału . Dla istnieją dwie takie liczby, które są względnie pierwsze z liczbą i które należą do zbioru - są to liczby i . Oczekujemy zatem, że dla danego siedmiokąta foremnego, będą dwa różne siedmiokąty foremne gwiaździste. Poniższe rysunki pokazują, że rzeczywiście tak jest.

Sposób konstrukcji takich dwóch siedmiokątów wynika z metody Brożka. Mamy, że . Pierwszy rozkład na składniki „definiuje” siedmiokąt foremny, kolejny wskazuje na możliwość łączenia co drugiego z wierzchołków siedmiokąta, a ostatni pozwala skonstruować wielokąt gwiaździstywielokąt gwiaździsty, poprzez łączenie co trzeciego z wierzchołków siedmiokąta foremnego.
Naszym celem będzie teraz skonstruowanie wielokątów foremnych gwiaździstych utworzonych z przekątnych danego ośmiokąta foremnego.
Wyznaczymy najpierw liczbę takich figur. W przedziale , są dwie liczby naturalne: i . Liczba nie jest względnie pierwsza z liczbą , ale liczba jest względnie pierwsza z liczbą . Wiemy więc, że jest jeden ośmiokąt foremny gwiaździsty.
Korzystając z metody Brożka możemy zapisać, że . Pierwszy z rozkładów na składniki opisuje ośmiokąt foremny. Rozkład , wyznaczony przez liczbę , która nie jest względnie pierwsza z liczbą , prowadzi do „zamknięcia” łamanej zanim dotrze ona do każdego z wierzchołków.

Okaże się, że rozkład , wyznaczony przez liczbę , która jest względnie pierwsza z liczbą , prowadzi do skonstruowania ośmiokąta gwiaździstego.

Pozostaje dodać, że rozkład prowadzi w oczywisty sposób do konstrukcji odcinka.
O konstrukcjach wielokątów foremnych *
Jak zauważyliśmy w poprzednim akapicie, liczba wielokątów foremnych gwiaździstychwielokątów foremnych gwiaździstych jest ściśle związana z występowaniem liczb, które są względnie pierwszewzględnie pierwsze z liczbą opisującą ilość boków danego wielokąta. Pamiętamy także o kryterium Gaussa, które orzeka o możliwości skonstruowania wielokąta foremnego za pomocą klasycznych metod, tj. tylko za pomocą cyrkla i linijki. Gauss stwierdził, że -kąt foremny można skonstruować tylko wtedy, gdy , gdzie jest liczbą naturalną (wraz z zerem), a są różnymi pierwszymi liczbami Fermata lub gdy , gdzie jest liczbą naturalną nie mniejszą niż 2. Przypomnijmy jeszcze, że liczbą Fermata jest liczba postaci , gdzie jest nieujemną liczbą całkowitą. Każdy z nas potrafi skonstruować trójkąt równoboczny, czyli trójkąt foremny. Niemal każdy wie, że da się skonstruować pięciokąt foremny, a opis tej konstrukcji łatwo znaleźć. Okazuje się, że to nam wystarcza, by stwierdzić, że możliwe jest skonstruowanie -kąta foremnego. Mówi o tym poniższe twierdzenie.
Jeśli liczby i są względnie pierwsze oraz -kąt foremny i -kąt foremny można skonstruować metodami klasycznymi, to można też skonstruować wielokąt foremny, którego liczba boków jest iloczynem .
Skorzystamy z kryterium Gaussa.
Przypuśćmy, że jedna z liczb, np. liczba , jest postaci , gdzie jest liczbą naturalną nie mniejszą niż . Wtedy, z faktu, że liczby , są względnie pierwszewzględnie pierwsze wynika, że liczba nie może dzielić się przez – jest zatem postaci , gdzie musi być . Zauważmy jednak, że wówczas . Jest to zatem postać, która wskazuje, na mocy kryterium Gaussa, że da się skonstruować wielokąt foremny o takiej liczbie boków.
Przypuśćmy teraz, że oraz . Wtedy z faktu, że liczby , są względnie pierwsze wynika, że żadna z liczb nie może być równa jakiejkolwiek z liczb . Ale wówczas iloczyn jest równy , czyli jest postaci . Jest to zatem postać, która wskazuje, na mocy kryterium Gaussa, że da się skonstruować wielokąt foremny o takiej liczbie boków. Co należało wykazać.
Wracając do -kąta foremnego możemy stwierdzić, że z faktu, że liczby i są względnie pierwszewzględnie pierwsze i wynika (po skorzystaniu z powyższego twierdzenia), że -kąt foremny da się skonstruować za mocą metod klasycznych. Wcześniej musielibyśmy zapisać, że , czyli zapisać liczbę w postaci iloczynu liczb pierwszych Fermata.
promień okręgu wpisanego w wielokąt foremny nazywamy apotemą wielokąta foremnego
Zagraj w grę edukacyjną, a następnie rozwiąż polecenia.
Wykonaj następujące ćwiczenia.
Wyznacz apotemę ośmiokąta o boku długości .
Uzasadnij, że nie istnieje sześciokąt foremny gwiaździsty.
Przeprowadź konstrukcję dwunastokąta foremnego wpisanego w okrąg o promieniu .
Przeprowadź konstrukcję kwadratu wpisanego w okrąg o promieniu .
Przeprowadź konstrukcję kwadratu opisanego na okręgu o promieniu .
Oblicz różnicę pól sześciokąta foremnego i trójkąta równobocznego wpisanych w okrąg o promieniu .
Dany jest dziewięciokat foremny, taki jak na rysunku.

Wyznacz liczbę różnych dziewięciokątów foremnych gwiaździstych i skonstruuj te wielokąty, korzystając z dołączonego rysunku.
Wyznacz miarę kąta sterczącego (kąta przy wierzchołku wielokąta gwiaździstego) w ośmiokącie foremnym gwiaździstym.
Uzasadnij, że da się skonstruować wielokąt foremny o trzydziestu wierzchołkach.
Oblicz różnicę miar kąta wewnętrznego dziesięciokąta foremnego i kąta sterczącego dziesięciokąta foremnego gwiaździstego.
Małe twierdzenie Fermata (MTF) orzeka, że dla dowolnej liczby naturalnej i dowolnej liczby pierwszej liczba dzieli się przez . Udowodnij, korzystając z MTF, że liczba dzieli się przez .
Słownik
wielokąt, którego wszystkie boki mają taką samą długość i kąty wewnętrzne są przystające (mają równe miary)
-kątem foremnym gwiaździstym nazywamy łamaną zamkniętą o wierzchołkach, utworzoną z tych przekątnych -kąta foremnego, które mają równą długość
powiemy, że dwie liczby całkowite są względnie pierwsze, jeśli ich największym wspólnym dzielnikiem jest liczba


