Dowieść, że każda liczba naturalna mniejsza od
jest sumą co najwyżej
różnych liczb naturalnych dzielących
.
Dowód prowadzimy przez indukcję względem
. Dla
twierdzenie jest spełnione ,,w próżni'' (nie ma liczb naturalnych mniejszych od
). Ustalmy liczbę naturalną
i załóżmy, że teza twierdzenia jest dla niej prawdziwa. Dowiedziemy tezy dla
.
Weźmy dowolną liczbę naturalną
. Mamy wykazać, że liczba
dopuszcza przedstawienie w postaci
![]() |
Dzieląc
przez
dostajemy iloraz
i resztę
:
![]() |
Gdy
, wówczas
dzieli
; wystarczy więc przyjąć jako (1) przedstawienie z jednym tylko składnikiem, równym
.
Gdy
, to wobec nierówności
musi być
. W myśl założenia indukcyjnego liczba
jest sumą postaci
![]() |
Stąd wobec (2)
![]() |
Liczby
są dzielnikami
. Jeśli więc
, to otrzymujemy przedstawienie (1) przyjmując
,
dla
. Jeśli natomiast
, przyjmujemy
,
dla
oraz
. Nierówności
wynikają z analogicznych nierówności między liczbami
. Nierówność
wyniknie stąd, że
, a
.
Zgodnie z zasadą indukcji, twierdzenie jest prawdziwe dla każdej liczby naturalnej
.