Dowieść, że jeśli
jest liczbą naturalną parzystą, to liczba
jest podzielna przez
.
Wystarczy dowieść, że gdy
jest parzyste, to
daje przy dzielniku
resztę
.
Zastosujemy metodę indukcji zupełnej.
Niech
. Gdy
, twierdzenie jest prawdziwe, gdyż
![]() |
Przypuśćmy, że dla pewnego
zachodzi równość
![]() |
gdzie
jest liczbą naturalną.
W takim razie
![]() |
Z tego wnosimy, że twierdzenie j est prawdziwe dla każdego naturalnego
.
Uwaga. Wzór (1) otrzymuje się w łatwy sposób ze wzoru na sumę postępu geometrycznego:
![]() |
Gdy do tego wzoru podstawimy
i uwzględnimy, że
jest nieparzyste, otrzymamy po prostych przekształceniach wzór (1). Wymaga to zastrzeżenia, że
i
.
Gdy
lub gdy
, wzór (1) jest oczywisty.