Wielkie Twierdzenie Fermata

Co się właśnie stało?

Dla n=2 równanie ma nieskończenie wiele rozwiązań w liczbach naturalnych — to zwykłe trójki pitagorejskie. Dla każdego n większego od 2 nie istnieje ani jedno rozwiązanie w dodatnich liczbach całkowitych.

Wielkie Twierdzenie Fermata:

nie ma rozwiązań w liczbach naturalnych dodatnich x, y, z, gdy wykładnik n jest liczbą całkowitą większą od 2. Dla n=2 to zwykłe twierdzenie Pitagorasa:

350 lat bez dowodu

Pierre de Fermat zapisał to twierdzenie na marginesie książki około 1637 r., dodając słynną notatkę, że ma „prawdziwie cudowny dowód, który jednak się tu nie mieści”. Przez ponad 350 lat żaden matematyk nie potrafił go odtworzyć — dziś sądzi się, że Fermat się mylił albo miał dowód błędny lub niepełny.

Andrew Wiles i dowód z 1994/1995 r.

Brytyjski matematyk Andrew Wiles pracował nad dowodem w tajemnicy przez lata i przedstawił go w 1993 r. — okazało się, że zawierał lukę. Po roku poprawek, z pomocą Richarda Taylora, w 1994 r. przedstawił kompletny, poprawny dowód (opublikowany 1995 r.), wykorzystujący zaawansowaną teorię krzywych eliptycznych i form modularnych (hipotezę Taniyamy-Shimury-Weila). Dowód zajął ponad 100 stron. Za to osiągnięcie Wiles otrzymał w 2016 r. Nagrodę Abela — jeden z najważniejszych odpowiedników Nobla w matematyce.

Po co Ci to na maturze:

Wielkiego Twierdzenia Fermata nie dowodzisz na maturze, ale ilustruje ono kluczową ideę matematyki: łatwo sformułować hipotezę, a dowód bywa nieporównywalnie trudniejszy. Matura testuje tę samą logikę na prostszych przykładach — sprawdzanie, czy równanie ma rozwiązania w danym zbiorze liczb, to typowe zadanie z teorii liczb.

Zapamiętaj: x^n+y^n=z^n ma rozwiązania w liczbach naturalnych tylko dla n=2 (trójki pitagorejskie) — dla każdego n>2 nie ma żadnego. To Wielkie Twierdzenie Fermata, dowiedzione przez Andrew Wilesa dopiero po 350+ latach.