Rozwiązać w liczbach całkowitych równanie
![]() |
Przypuśćmy, że liczby całkowite
,
spełniają równanie (1) i niech
![]() |
Z (1) i (2) wynika równanie
![]() |
Rozwiązując układ równań (2) i (3) względem
i
otrzymujemy
![]() |
Jeśli zatem para liczb całkowitych
,
jest rozwiązaniem równania (1), to zachodzą równości (4), gdzie
jest liczbą całkowitą.
Odwrotnie, jeśli
jest dowolną liczbą całkowitą, to liczby
,
określone wzorami (4) spełniają równanie (1), gdyż
, a
. Liczby te są całkowite, albowiem
i
, jako iloczyny kolejnych liczb całkowitych, są liczbami parzystymi.
Zatem wszystkie rozwiązania równania (1) w liczbach całkowitych wyrażają się wzorami (4), gdzie
oznacza dowolną liczbę całkowitą.