Nie da się cyrklem i linijką podzielić każdego kąta na trzy równe części
Trysekcja kąta jest często opowiadana tak, jakby matematycy przez wieki po prostu nie znaleźli wystarczająco sprytnej konstrukcji. W 1837 roku Pierre Wantzel udowodnił coś znacznie mocniejszego: ogólna trysekcja nie jest możliwa przy użyciu wyłącznie klasycznego cyrkla i nieoznaczonej linijki. Niektóre kąty — na przykład 90° — oczywiście można podzielić na trzy części, a dowolny kąt można trisektować przy użyciu dodatkowych narzędzi lub krzywych. Niemożliwość dotyczy dokładnie uniwersalnej konstrukcji w określonym modelu geometrycznym.
Nie każdy przypadek jest niemożliwy
Kąt prosty można podzielić na trzy części, konstruując 30°, więc zdanie „kątów nie da się trisektować” jest błędne. Problem klasyczny pyta o metodę działającą dla dowolnie zadanego kąta. Wystarczy więc znaleźć jeden kąt, którego nie można podzielić na trzy części klasycznymi narzędziami, aby wykazać brak uniwersalnej procedury.
Dlaczego trysekcja prowadzi do równania sześciennego
Tożsamość cos 3θ = 4cos³θ−3cosθ sprawia, że podzielenie kąta na trzy części prowadzi naturalnie do równań trzeciego stopnia. Klasyczne konstrukcje cyrklem i linijką odpowiadają natomiast zasadniczo kolejnym rozszerzeniom kwadratowym. Nie wszystkie równania sześcienne da się rozwiązać przez serię samych pierwiastków kwadratowych.
Wantzel zamienił tysiące prób w jedno kryterium
W 1837 roku Pierre Wantzel opublikował ogólną metodę badania, czy problem geometryczny jest rozwiązywalny cyrklem i linijką. Użył jej do pierwszego pełnego dowodu niemożliwości ogólnej trysekcji i podwojenia sześcianu. To zasadnicza zmiana podejścia: zamiast szukać kolejnych konstrukcji, można wykazać, że cały ich dozwolony język jest zbyt słaby.
Dodatkowe narzędzie zmienia odpowiedź
Starożytni znali metody wykorzystujące przekroje stożkowe albo linijkę z zaznaczeniami, czyli konstrukcje typu neusis. Przy takich regułach ogólna trysekcja jest możliwa. Niemożliwość Wantzela nie jest więc metafizycznym twierdzeniem, że kąta „nie da się podzielić”. Mówi, że nie da się tego zrobić dokładnie za pomocą ściśle określonego zestawu operacji.
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.