Znaleźć wszystkie pary liczb całkowitych
,
spełniające równanie
![]() |
Przyjmijmy, że liczby całkowite
,
spełniają zadane równanie i że
; wówczas także
. Liczba
jest jednym z pierwiastków trójmianu kwadratowego
; niech
będzie drugim pierwiastkiem. Ze wzorów
,
wynika, że
też jest liczbą całkowitą oraz że
. Oznaczmy największy wspólny dzielnik liczb
,
przez
; tak więc
,
,
![]() |
Liczby
,
są względnie pierwsze, więc z drugiego wzoru widać, że
![]() |
dla pewnych liczb naturalnych
,
, przy czym
nie dzieli się przez
. Z pierwszego wzoru (1) wnosimy teraz, że
, dzieli się przez
. Przyjmijmy
. Dostajemy równanie
. Czynnik
, jako większy od
, musi być równy
lub
. Druga możliwość łatwo prowadzi do sprzeczności. Zatem
(czyli
) i mamy równanie
, z jednym rozwiązaniem w liczbach naturalnych
,
. Wracając do alternatywy (2) stwierdzamy, że
lub
, wobec czego
![]() |
Drugi wzór (1) daje w obu przypadkach wartości
.
Pozostał przypadek, gdy
; wtedy
lub
. Następujące pary
stanowią zatem pełne rozwiązanie równania:
,
,
,
,
,
.