Pokażemy, że gdy jest nieparzystą liczbą pierwszą, równanie nie ma rozwiązań w liczbach całkowitych dodatnich.
Przypuśćmy, że para liczb całkowitych jest rozwiązaniem. Zgodnie z małym twierdzeniem Fermata,
Jeśli więc to czyli
Z wypukłości funkcji (w zbiorze liczb dodatnich) wynika nierówność
Funkcja jest rosnąca; stąd Skoro zaś (mod ), widzimy, że A zatem Aby uzyskać oczekiwaną sprzeczność, wystarczy wykazać, że
|
(1) |
Oznaczmy: ; wtedy Ponownie korzystając z wypukłości funkcji mamy nierówność Wobec tego
|
(2) |
Z drugiej strony,
|
(3) |
Nierówność (1) będzie udowodniona, jeśli pokażemy, że w wyrażeniu po prawej stronie (2) współczynnik stojący przy jest nie mniejszy niż analogiczny współczynnik w wyrażeniu (3); czyli, że
|
(4) |
Łatwo przerachować, że
Stąd ; oszacowanie (4) gotowe, dowód zakończony.