Liczby naturalne
, których największy wspólny dzielnik jest równy 1, spełniają równanie
![]() |
Dowieść, że
jest kwadratem liczby naturalnej.
Równanie przepisujemy w postaci
![]() |
Niech
oznacza największy wspólny dzielnik liczb
i
:
. Mamy więc
![]() |
Zauważmy, że
![]() |
Pierwsza z równości (2) wynika z tego, że
(każdy dzielnik pierwszy iloczynu
musi dzielić
lub
, więc nie może dzielić sumy
; druga równość (2) jest konsekwencją założenia
.
Podstawiając
,
do (1) i dzieląc stronami przez
dostajemy
![]() |
a stąd, na mocy (2),
![]() |
Ostatecznie więc
![]() |