8 i 9 są jedynymi kolejnymi doskonałymi potęgami większymi od 1
Liczby 8=2³ i 9=3² stoją obok siebie i obie są nietrywialnymi potęgami liczb całkowitych. Eugène Catalan przypuszczał w 1844 roku, że taka sytuacja nie zdarza się już nigdzie indziej: równanie x^p−y^q=1 dla x,y>0 i p,q>1 ma tylko rozwiązanie 3²−2³=1, jeśli wykluczyć trywialne przypadki związane z 0 i 1. Przypuszczenie opierało się dowodowi przez ponad półtora wieku, aż Preda Mihăilescu je udowodnił. Dziś wynik jest znany jako twierdzenie Mihăilescu. To dobry przykład, że intuicja oparta na skończonych rachunkach lub znanym zapisie liczby może nie wystarczać do zrozumienia jej pełnej struktury matematycznej.
Co znaczy „doskonała potęga”
Nietrywialna doskonała potęga to liczba postaci a^b z całkowitymi a>0 i b>1. Przykładami są 4=2², 8=2³, 9=3², 16=2⁴=4², 25=5² czy 27=3³. Wiele takich liczb leży blisko siebie, ale 8 i 9 są wyjątkowe, bo różnią się dokładnie o 1. Pytanie Catalana brzmi więc niezwykle prosto: czy dwie kolejne dodatnie liczby całkowite mogą obie być nietrywialnymi potęgami w jakikolwiek inny sposób?
Łatwe pytanie, bardzo trudny dowód
Równanie x^p−y^q=1 można zapisać w jednym wierszu, lecz obejmuje nieskończenie wiele możliwych podstaw i wykładników. Sprawdzenie ogromnego zakresu komputerem nie wystarczyłoby jako dowód, bo zawsze pozostałyby większe przypadki. Przez dziesięciolecia uzyskiwano częściowe wyniki ograniczające możliwe rozwiązania. Dopiero praca Mihăilescu na początku XXI wieku zamknęła problem ogólny, wykorzystując głębokie narzędzia algebraicznej teorii liczb.
Od przypuszczenia do twierdzenia
Catalan sformułował przypuszczenie w 1844 roku. W XX wieku Robert Tijdeman wykazał ważny wynik: ewentualnych rozwiązań może być tylko skończenie wiele, lecz nie wskazał pełnej listy. Mihăilescu udowodnił ostatecznie, że żadnego dodatkowego rozwiązania nie ma. Artykuły przeglądowe American Mathematical Society opisywały ten wynik jako rozwiązanie starego problemu diofantycznego i podkreślały rolę teorii ciał cyklotomicznych w dowodzie.
Dlaczego wynik jest tak zaskakujący
Na osi liczb całkowitych doskonałe potęgi pojawiają się bez końca: kwadratów jest nieskończenie wiele, sześcianów także, podobnie potęg czwartego i wyższych stopni. Można więc oczekiwać wielu przypadkowych zbliżeń. Twierdzenie Mihăilescu mówi jednak, że jeśli wymagamy odległości dokładnie 1, cały nieskończony problem zapada się do jednej pary: 8 i 9. To charakterystyczny motyw równań diofantycznych — bardzo proste pytanie o liczby całkowite może mieć ekstremalnie sztywną odpowiedź i wymagać zaskakująco głębokiej matematyki.
To nie jest twierdzenie o kwadratach czy sześcianach osobno
Dla konkretnych wykładników można badać łatwiejsze równania, na przykład kiedy kwadrat różni się od sześcianu o 1. Problem Catalana jest znacznie szerszy, bo wykładniki p i q również są niewiadomymi. Trzeba wykluczyć jednocześnie pary typu kwadrat–sześcian, sześcian–piąta potęga, siódma–jedenasta i wszystkie inne kombinacje wykładników większych od 1. Właśnie ta dodatkowa nieskończoność możliwych przypadków sprawia, że prosty wygląd równania jest zwodniczy. Twierdzenie Mihăilescu mówi globalnie, że po uwzględnieniu wszystkich podstaw i wszystkich wykładników jedynym nietrywialnym sąsiedztwem pozostaje 2³ i 3². Odpowiedź mieści się w jednym zdaniu, ale dowód potrzebuje narzędzi daleko wykraczających poza elementarne manipulacje potęgami.
Jedna para wygrywa w nieskończonym wyścigu
Kwadraty i wyższe potęgi stają się coraz rzadsze wśród dużych liczb, ale ich rodzin jest nieskończenie wiele. Można więc wyobrażać sobie wszystkie wykresy n², n³, n⁴ i kolejnych potęg przecinające się z liniami oddalonymi o 1. Twierdzenie mówi, że w dodatnich liczbach całkowitych po wykluczeniu trywialnych przypadków tylko raz dwie wartości z tych rodzin lądują na sąsiednich punktach osi: 8 i 9. Ta geometryczna intuicja nie jest dowodem, ale dobrze pokazuje skalę sztywności wyniku: spośród nieskończenie wielu potęg jedyny odstęp równy dokładnie 1 występuje na samym początku.
Ważnym krokiem było pokazanie, że wyjątków może być tylko skończenie wiele
Zanim pojawił się pełny dowód, Robert Tijdeman w 1976 roku wykazał, że równanie Catalana może mieć co najwyżej skończenie wiele rozwiązań. To ogromny postęp, ale logicznie wciąż nie wystarczał: skończona liczba nieznanych wyjątków mogła być większa od jednego. Dopiero Mihăilescu wyeliminował wszystkie pozostałe możliwości. Historia dobrze pokazuje, jak rozwiązywanie wielkiego problemu bywa etapowe. Wynik pośredni może radykalnie ograniczyć przestrzeń możliwości, nawet jeśli nie daje jeszcze ostatecznej odpowiedzi.