Pierwsze liczby Fermata wyglądały jak początek idealnego wzoru — kolejna go zniszczyła
Liczby Fermata mają postać Fₙ = 2^(2^n)+1. Dla n=0,1,2,3,4 otrzymujemy 3, 5, 17, 257 i 65537 — wszystkie są pierwsze. Fermat przypuszczał, że kolejne liczby tej postaci również będą pierwsze. Następny przypadek, F₅=4294967297, okazał się jednak złożony: Euler wykazał, że dzieli się przez 641. To klasyczny przykład, jak kilka perfekcyjnie zgodnych przypadków może zasugerować fałszywy wzorzec, zwłaszcza gdy kolejne testy szybko stają się gigantyczne. 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.
Wzrost, który utrudnia sprawdzanie
Formuła 2^(2^n)+1 rośnie podwójnie wykładniczo. Indeks zwiększony zaledwie o 1 podwaja wykładnik potęgi dwójki, więc kolejne liczby Fermata stają się ogromne w zastraszającym tempie. Pierwsze pięć jest niewielkich na tyle, by ich pierwszość można było potwierdzić metodami dostępnymi już we wczesnej nowożytności. To właśnie one stworzyły niezwykle przekonujący początek sekwencji: 3, 5, 17, 257 i 65537.
Euler znajduje czynnik 641
Następny wyraz to F₅ = 2^32+1 = 4294967297. Euler wykazał w 1732 roku, że liczba ta jest podzielna przez 641, więc nie jest pierwsza. Wystarczył jeden czynnik, by obalić ogólne przypuszczenie. To ważna cecha problemów o pierwszości: aby udowodnić, że liczba jest złożona, wystarczy znaleźć jeden nietrywialny dzielnik; aby udowodnić pierwszość, trzeba wykluczyć wszystkie możliwe faktory w odpowiedni sposób.
Dlaczego pięć przykładów mogło przekonywać
Dzisiejszy odbiorca wie, że pięć przypadków to mało, ale w tej historii kluczowa jest gwałtowna zmiana skali. Nie da się po prostu sprawdzić „jeszcze stu następnych” tak łatwo, jak w prostym ciągu arytmetycznym. Kolejne liczby rosną tak szybko, że faktoryzacja staje się poważnym problemem obliczeniowym. MathWorld odnotowuje, że nawet dla stosunkowo małych indeksów pełne rozkłady wymagały nowoczesnych metod obliczeniowych. To sprawia, że rodzina liczb Fermata jest dobrym przykładem różnicy między prostą definicją a trudnością własności liczb, które z niej wynikają.
Piękny wzór i fałszywa generalizacja
Historia liczb Fermata pokazuje jedną z podstawowych zasad matematyki: wzorzec zaobserwowany dla dowolnie wielu, ale skończenie wielu przypadków nie staje się automatycznie twierdzeniem. Eksperyment może sugerować hipotezę, ale potrzebny jest dowód. Co więcej, im szybciej rosną badane obiekty, tym łatwiej o złudzenie, że kilka początkowych przypadków ujawnia regułę ogólną. Tutaj jeden stosunkowo mały dzielnik — 641 — wystarczył, by rozbić wyjątkowo elegancką hipotezę.
Kolejne liczby szybko uciekają poza intuicję
F₅ ma już ponad cztery miliardy, F₆ ma 20 cyfr, a kolejne wyrazy rosną jeszcze gwałtowniej. MathWorld zestawia historię pełnych faktoryzacji i pokazuje, że nawet liczby o małych indeksach wymagały metod rozwijanych przez wiele dziesięcioleci. To ważne dla samej historii przypuszczenia Fermata: nie miał on do dyspozycji możliwości łatwego przetestowania wielu następnych wyrazów. Rodzina wygląda niewinnie, bo definicja mieści się w kilku znakach, ale rozmiar obiektów eksploduje. W teorii liczb często spotyka się właśnie ten kontrast: prosty wzór generuje liczby tak wielkie, że podstawowe pytanie „czy to jest pierwsze?” staje się poważnym przedsięwzięciem matematycznym i obliczeniowym. Porażka przy F₅ była więc nie tylko obaleniem wzorca, lecz także zapowiedzią trudności, jakie będą towarzyszyć badaniu całej rodziny.
Złożona nie znaczy łatwa do rozłożenia
Gdy Euler znalazł czynnik 641 dla F₅, od razu było wiadomo, że liczba jest złożona. W przypadku późniejszych liczb Fermata znalezienie jednego czynnika również wystarcza do obalenia pierwszości, ale pełne rozłożenie całej ogromnej liczby może być znacznie trudniejsze. Dlatego w tabelach badań nad liczbami Fermata rozróżnia się „wiemy, że złożona” od „znamy pełną faktoryzację”. To subtelność dobrze pokazująca, że pytanie o pierwszość i pytanie o kompletny rozkład na czynniki są blisko związane, lecz obliczeniowo nie są tym samym.
Obalenie hipotezy może wymagać tylko jednego przykładu
Przypuszczenie „wszystkie liczby Fermata są pierwsze” jest zdaniem uniwersalnym. Aby je udowodnić, należałoby objąć argumentem każdy indeks n. Aby je obalić, wystarcza jeden kontrprzykład. F₅ pełni właśnie taką rolę. Ta asymetria między dowodem a obaleniem jest fundamentalna dla matematyki: tysiące poprawnych przykładów nie dowodzą zdania ogólnego, lecz jeden poprawny kontrprzykład wystarcza, by je definitywnie odrzucić. Historia Fermata i Eulera jest jednym z najczystszych przykładów tej zasady.