Nie istnieje odpowiednik wzoru kwadratowego dla wszystkich równań piątego stopnia
Po znalezieniu wzorów rozwiązujących ogólne równania trzeciego i czwartego stopnia matematycy przez stulecia szukali analogicznej formuły dla równania stopnia piątego. Ostatecznie Ruffini i przede wszystkim Niels Henrik Abel wykazali, że ogólnego równania piątego stopnia nie da się rozwiązać przez skończoną kombinację dodawania, odejmowania, mnożenia, dzielenia i wyciągania pierwiastków z współczynników. Nie oznacza to, że równania piątego stopnia nie mają pierwiastków ani że żadne konkretne równanie nie jest rozwiązywalne przez pierwiastniki. Niemożliwa jest uniwersalna formuła tego określonego typu.
Historia zachęcała do szukania kolejnego wzoru
Wzór kwadratowy był znany od starożytności, a w renesansowych Włoszech znaleziono wzory dla równań sześciennych i stopnia czwartego. Naturalne wydawało się, że stopień piąty wymaga tylko jeszcze większej pomysłowości. Przez około 250 lat mimo wysiłków najlepszych algebraistów nie pojawiła się jednak ogólna formuła.
Ruffini i Abel zmienili cel z poszukiwania na niemożliwość
Paolo Ruffini pod koniec XVIII wieku przedstawił argumenty mające dowodzić niemożliwości ogólnego rozwiązania przez pierwiastniki, ale jego prace zawierały luki i nie zdobyły pełnej akceptacji. Abel w latach 20. XIX wieku podał rygorystyczny dowód, że ogólnego równania piątego stopnia nie da się rozwiązać w ten sposób.
„Nie ma wzoru” ma bardzo precyzyjne znaczenie
Każdy wielomian piątego stopnia ma pięć zespolonych pierwiastków z krotnościami, zgodnie z podstawowym twierdzeniem algebry. Wiele konkretnych wielomianów stopnia piątego ma proste rozwiązania, a pierwiastki dowolnego wielomianu można przybliżać numerycznie. Abel–Ruffini wyklucza jedynie uniwersalny wzór używający współczynników, działań arytmetycznych i pierwiastników.
Galois wyjaśnił, dlaczego jedne równania dają się rozwiązać, a inne nie
Évariste Galois powiązał rozwiązywalność równania przez pierwiastniki ze strukturą grupy permutacji jego pierwiastków. Dzięki temu zamiast tajemniczego załamania przy stopniu piątym otrzymaliśmy ogólne kryterium strukturalne. Niepowodzenie poszukiwania wzoru doprowadziło więc do narodzin teorii grup — jednego z centralnych języków współczesnej matematyki.
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.