Regularny siedmiokąt wygląda niewinnie, ale dokładnie nie da się go skonstruować klasycznym cyrklem i linijką
Regularny trójkąt, kwadrat, pięciokąt i sześciokąt mają klasyczne konstrukcje. Naturalne byłoby oczekiwanie, że po prostu potrzeba sprytniejszego rysunku dla siedmiokąta. Tymczasem regularny 7-kąt nie jest konstrukcyjny w klasycznym sensie. Pełne kryterium Gaussa–Wantzela mówi, że liczba boków musi być iloczynem potęgi 2 i różnych pierwszych liczb Fermata. Liczba 7 nie ma tej postaci. Można więc konstruować bardzo dobre przybliżenia, używać oznaczonej linijki albo origami, ale nie istnieje dokładna klasyczna konstrukcja.
Dlaczego sąsiednie liczby boków zachowują się tak różnie
Sześciokąt regularny jest wyjątkowo prosty: jego bok ma długość promienia okręgu opisanego. Siedmiokąt nie ma podobnej własności. Różnica nie wynika tylko z braku eleganckiego pomysłu. Algebraiczna liczba opisująca odpowiedni kąt 2π/7 ma strukturę, której nie można uzyskać przez skończoną serię samych rozszerzeń kwadratowych.
Kryterium konstruowalności daje odpowiedź bez testowania rysunków
Twierdzenie Gaussa–Wantzela klasyfikuje regularne wielokąty możliwe do skonstruowania. Jeśli n=2^k p1…pr, gdzie p_i są różnymi pierwszymi liczbami Fermata, regularny n-kąt jest konstruowalny. Siedem jest liczbą pierwszą, ale nie jest liczbą Fermata, więc nie spełnia kryterium.
Przybliżenie może być praktycznie doskonałe i matematycznie niedokładne
Istnieją konstrukcje dające kąty bardzo bliskie 360°/7, a także dokładne metody korzystające z innych reguł, na przykład konstrukcji neusis z oznaczoną linijką. Na papierze błąd przybliżenia może być niewidoczny. W klasycznym problemie nie chodzi jednak o użyteczność inżynierską, lecz o dokładną osiągalność liczby.
Siedmiokąt jest najmniejszym regularnym wielokątem z taką przeszkodą
Dla 3, 4, 5 i 6 boków istnieją klasyczne konstrukcje. Siedem jest pierwszą liczbą boków, przy której dokładna konstrukcja zawodzi. Dzięki temu heptagon jest szczególnie przystępnym przykładem: granica formalnego systemu geometrycznego pojawia się już przy bardzo zwyczajnym kształcie, a nie dopiero przy egzotycznych obiektach.
Jaki rodzaj granicy tu widzimy?
Ten przykład warto czytać bardzo precyzyjnie. W matematyce „nie ma rozwiązania” może oznaczać kilka zupełnie różnych sytuacji: problem może być nadal otwarty, może istnieć dowód niemożliwości przy zadanych regułach, może nie istnieć uniwersalny algorytm, albo dane zdanie może być niezależne od wybranego systemu aksjomatów. Te przypadki nie są zamienne. Siła matematycznego wyniku bierze się właśnie z dokładnego określenia warunków: dowód nie mówi ogólnie, że „człowiek tego nie potrafi”, lecz wskazuje, czego nie można uzyskać przy konkretnych założeniach. To odróżnia granicę matematycznej wiedzy od zwykłego braku pomysłu.
Dlaczego ograniczenie narzędzi jest matematycznie istotne
W klasycznych konstrukcjach nie chodzi o praktyczną możliwość narysowania figury. Cyrkiel i nieoznaczona linijka definiują formalny model operacji, podobnie jak zestaw instrukcji definiuje model obliczeń. Gdy geometria zostaje przetłumaczona na algebrę, każdemu dozwolonemu krokowi odpowiada określony typ rozszerzenia liczbowego. Dzięki temu można opisać cały nieskończony zbiór możliwych konstrukcji jednym twierdzeniem. To właśnie ta translacja pozwala zastąpić bezskuteczne poszukiwanie rysunku dowodem o granicach całego systemu.
Niemożliwe w jednym modelu może być łatwe w innym
Dowód niemożliwości trzeba zawsze czytać wraz z warunkami. Dodanie oznaczeń na linijce, dopuszczenie przekrojów stożkowych, origami, metod numerycznych albo zwykłego pomiaru może całkowicie zmienić odpowiedź. Matematyczna treść wyniku polega nie na stwierdzeniu, że obiekt jest „niemożliwy”, lecz że nie należy do zbioru obiektów osiągalnych przez precyzyjnie określone operacje. Ta uwaga chroni przed jednym z najczęstszych błędów popularnych opisów klasycznych problemów geometrycznych. Warto też zauważyć, że taki wynik klasyfikuje nie tylko pojedynczy rysunek, lecz całą rodzinę możliwych procedur. To typowy matematyczny ruch: zamiast przeglądać nieskończenie wiele kandydatów po kolei, opisujemy wspólną własność wszystkich dozwolonych konstrukcji i pokazujemy, że poszukiwany obiekt jej nie spełnia. Dzięki temu dowód obejmuje również każdą konstrukcję, której nikt jeszcze nie wymyślił.