- LX OM
- LIX OM
- LVIII OM
- LVII OM
- LVI OM
- LV OM
- LIV OM
- LIII OM
- LII OM
- LI OM
- L OM
- XLIX OM
- XLVIII OM
- XLVIII OM - I etap
- XLVIII OM - I - Zadanie 1
- XLVIII OM - I - Zadanie 2
- XLVIII OM - I - Zadanie 3
- XLVIII OM - I - Zadanie 4
- XLVIII OM - I - Zadanie 5
- XLVIII OM - I - Zadanie 6
- XLVIII OM - I - Zadanie 7
- XLVIII OM - I - Zadanie 8
- XLVIII OM - I - Zadanie 9
- XLVIII OM - I - Zadanie 10
- XLVIII OM - I - Zadanie 11
- XLVIII OM - I - Zadanie 12
- XLVIII OM - II etap
- XLVIII OM - III etap
- XLVIII OM - I etap
- XLVII OM
- XLVI OM
- XLV OM
- XLIV OM
- XLIII OM
- XLII OM
- XLI OM
- XL OM
- XXXIX OM
- XXXVIII OM
- XXXVIII OM - I etap
- XXXVIII OM - I - Zadanie 1
- XXXVIII OM - I - Zadanie 2
- XXXVIII OM - I - Zadanie 3
- XXXVIII OM - I - Zadanie 4
- XXXVIII OM - I - Zadanie 5
- XXXVIII OM - I - Zadanie 6
- XXXVIII OM - I - Zadanie 7
- XXXVIII OM - I - Zadanie 8
- XXXVIII OM - I - Zadanie 9
- XXXVIII OM - I - Zadanie 10
- XXXVIII OM - I - Zadanie 11
- XXXVIII OM - I - Zadanie 12
- XXXVIII OM - II etap
- XXXVIII OM - III etap
- XXXVIII OM - I etap
- XXXVII OM
- XXXVII OM - I etap
- XXXVII OM - I - Zadanie 1
- XXXVII OM - I - Zadanie 2
- XXXVII OM - I - Zadanie 3
- XXXVII OM - I - Zadanie 4
- XXXVII OM - I - Zadanie 5
- XXXVII OM - I - Zadanie 6
- XXXVII OM - I - Zadanie 7
- XXXVII OM - I - Zadanie 8
- XXXVII OM - I - Zadanie 9
- XXXVII OM - I - Zadanie 10
- XXXVII OM - I - Zadanie 11
- XXXVII OM - I - Zadanie 12
- XXXVII OM - II etap
- XXXVII OM - III etap
- XXXVII OM - I etap
- XXXVI OM
- XXXV OM
- XXXIV OM
- XXXIII OM
- XXXIII OM - I etap
- XXXIII OM - I - Zadanie 1
- XXXIII OM - I - Zadanie 2
- XXXIII OM - I - Zadanie 3
- XXXIII OM - I - Zadanie 4
- XXXIII OM - I - Zadanie 5
- XXXIII OM - I - Zadanie 6
- XXXIII OM - I - Zadanie 7
- XXXIII OM - I - Zadanie 8
- XXXIII OM - I - Zadanie 9
- XXXIII OM - I - Zadanie 10
- XXXIII OM - I - Zadanie 11
- XXXIII OM - I - Zadanie 12
- XXXIII OM - II etap
- XXXIII OM - III etap
- XXXIII OM - I etap
- XXXII OM
- XXXI OM
- XXX OM
- XXIX OM
- XXVIII OM
- XXVII OM
- XXVI OM
- XXV OM
- XXIV OM
- XXIII OM
- XXII OM
- XXI OM
- XX OM
- XIX OM
- XVIII OM
- XVII OM
- XVI OM
- XV OM
- XIV OM
- XIII OM
- XII OM
- XI OM
- X OM
- IX OM
- VIII OM
- VII OM
- V OM
- VI OM
- IV OM
- III OM
- II OM
- I OM
- Skład komitetów Olimpiady
- Zawody stopnia I (przygotowawcze)
- Zadania z pierwszej olimpiady matematycznej
- I OM - B
- I OM - B - Zadanie 1
- I OM - B - Zadanie 2
- I OM - B - Zadanie 3
- I OM - B - Zadanie 4
- I OM - B - Zadanie 5
- I OM - B - Zadanie 6
- I OM - B - Zadanie 7
- I OM - B - Zadanie 8
- I OM - B - Zadanie 9
- I OM - B - Zadanie 10
- I OM - B - Zadanie 11
- I OM - B - Zadanie 12
- I OM - B - Zadanie 13
- I OM - B - Zadanie 14
- I OM - B - Zadanie 15
- I OM - B - Zadanie 16
- I OM - B - Zadanie 17
- I OM - B - Zadanie 18
- I OM - B - Zadanie 19
- I OM - B - Zadanie 20
- I OM - I etap
- I OM - II etap
- I OM - III etap
- I OM - B
XXXVII OM - I - Zadanie 9
Dowieść, że każda liczba naturalna mniejsza od
jest sumą co najwyżej
różnych liczb naturalnych dzielących
.
Rozwiązanie
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
.


![\[<br />
(1) \qquad N = sum_{i=1}^m D_i;\ m \leq n+1,\ D_i|(n+1)!,\ D_1 > \ldots > D_m.<br />
\]](/files/tex/0a3e3cdf498c47b36a6fa8db655166665808fe84.png)
![\[<br />
(2) \qquad N=q(n+1)+r;\ q \geq 0,\ 0 \leq r < n+1.<br />
\]](/files/tex/7bd2c501b4bca606b04265bfcee477988c48a682.png)
![\[<br />
q = \sum_{i=1}^k d_i;\ k \leq n,\ d_i | n!, \ d_1> \ldots > d_k.<br />
\]](/files/tex/7fa879b114b36914179419a3fb96affa682fb2db.png)
![\[<br />
N = \sum_{i=1}^k d_i(n+1)+r.<br />
\]](/files/tex/8c854394a2329697c412123e536dd1d0a6861156.png)
Komentarze
Dodaj nową odpowiedź