- 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
XII OM - III - Zadanie 1
Dowieść, że każda liczba naturalna, która nie jest całkowitą potęgą liczby
, jest sumą dwóch lub więcej kolejnych liczb naturalnych.
Rozwiązanie
Niech
będzie liczbą naturalną, która nie jest całkowitą potęgą dwóch, wobec czego
![]() |
gdzie
i
są liczbami całkowitymi, przy czym
,
.
Mamy dowieść, że istnieją takie liczby całkowite
i
, że
![]() |
oraz
![]() |
czyli
![]() |
Warunek (2) jest spełniony, jeżeli
,
, tzn. jeżeli
![]() |
Rozwiązanie
równania (2), określone wzorami (3), czyni zadość warunkowi (1) tylko wtedy, gdy
, tj. gdy
![]() |
Warunek (2) jest spełniony również wtedy, gdy
,
, tzn. gdy
![]() |
Liczby
i
określone wzorami (5) są całkowite; warunek (1) spełniają one tylko wtedy, gdy
![]() |
Ponieważ jeden z warunków (4) i (6) zawsze jest spełniony, więc równanie (2) ma zawsze rozwiązanie całkowite
czyniące zadość nierównościom (1).
Gdy na przykład
, to otrzymamy rozwiązanie
,
i
, gdy
, to
,
,
.
Uwaga. Zastanowimy się nad tym, czy wyżej znaleziony rozkład liczby naturalnej N na sumę kolejnych liczb naturalnych jest jedynym takim rozkładem.
Przypuśćmy, jak poprzednio, że liczby całkowite a i k spełniają warunki (1) i (2). Możliwe są tylko dwa następujące przypadki:
A) liczba
jest parzysta, wobec czego liczba
jest nieparzysta.
Z równania (2) wynika, że
jest podzielne przez
, zatem
![]() |
![]() |
oraz
![]() |
gdzie
i
są liczbami całkowitymi nieujemnymi. Ponieważ
, więc z równości (8) wynika, że
![]() |
Odwrotnie, jeżeli liczba
ma postać (9), gdzie
i
są liczbami całkowitymi, przy czym
, a
spełnia warunek (10), to liczby
i
obliczone według wzorów (7) i (8) określają rozkład liczby
na sumę kolejnych liczb naturalnych. Jeżeli przy tym
, jest to ten sam rozkład, który znaleźliśmy poprzednio [wzory (5)].
B) Liczba
jest nieparzysta, zatem
jest podzielne przez
. Wówczas
![]() |
![]() |
skąd, jak poprzednio,
![]() |
przy czym liczby całkowite
i
czynią zadość nierównościom
![]() |
gdyż
,
.
Odwrotnie, jeżeli liczba
ma postać (9), gdzie
i
są liczbami całkowitymi spełniającymi warunki (13), to liczby
i
obliczone według wzorów (11) i (12) określają żądany rozkład liczby
. Jeżeli przy tym
, jest to rozkład znaleziony poprzednio [wzory (3)].
Uzyskaliśmy wynik następujący. Jeżeli liczba
jest liczbą pierwszą, to istnieje tylko jeden rozkład liczby
na sumę kolejnych liczb naturalnych. Jest to znaleziony poprzednio rozkład określony wzorami (3), bądź wzorami (5), zależnie od tego, czy zachodzi nierówność (4) czy też nierówność (6). Jeżeli zaś
jest liczbą złożoną, to oprócz tego są jeszcze inne rozkłady. Mianowicie każdemu rozkładowi liczby
na
czynniki nierówne i większe od
odpowiadają dwa rozkłady liczby
. Łatwo wykazać (co proponujemy czytelnikowi), że albo jeden z tych rozkładów odpowiada przypadkowi A), a drugi - przypadkowi B), albo też oba należą do przypadku B). Wreszcie, gdy istnieje rozkład liczby
na dwa czynniki równe, tzn. gdy jest ona kwadratem liczby całkowitej, to poza już wymienionymi rozkładami istnieje jeszcze jeden rozkład należący do przypadku B).
Na przykład:
![]() |
![]() |


![\[<br />
N = 2^n (2m + 1),<br />
\]](/files/tex/985fd0b7f6aa2edc35e3674938391b635e0232cc.png)
![\[<br />
(1) \qquad a \geq 1,\ k \geq 2<br />
\]](/files/tex/16752d867e8e0cc4dbed97343a1b38f0ff4be5e7.png)
![\[<br />
a + (a + 1) + \ldots (a + k- 1) = N,<br />
\]](/files/tex/64045486f18ccb6e620e44bb2d64f56ed164a074.png)
![\[<br />
(2) \qquad (2a + k - 1) k = 2^{n+1}(2m + 1).<br />
\]](/files/tex/95f6a7dfec8fbec8e96c754e4c674afc90c69867.png)
![\[<br />
(3) \qquad a = 2^n - m, \ k = 2m + 1.<br />
\]](/files/tex/0a10ecb4a02b92cd53e68680b284664146089dd7.png)
![\[<br />
(4) \qquad 2^n > m.<br />
\]](/files/tex/7a1340894468d696c503470bc6664901d0cb2047.png)
![\[<br />
(5) \qquad a = m + 1 - 2^n,\ k = 2^{n+1}.<br />
\]](/files/tex/1ac4505db7559792d62387f510c1d3d6400e3a7e.png)
![\[<br />
(6) \qquad 2^n \leq m .<br />
\]](/files/tex/895d683675cee60af848446ff5bbfeeae9c6d389.png)
![\[<br />
(7) \qquad k = 2^{n+1} (2p + 1)<br />
\]](/files/tex/a66b36b491a9547e0fbc212b9b53a3af0d70967e.png)
![\[<br />
(8) \qquad 2a + k-l = 2q+1,\textrm{ zatem } a = q+1 - 2^n(2p + 1)<br />
\]](/files/tex/bedec04e60d0e28c81ee196d4134df7fdb77aba3.png)
![\[<br />
(9) \qquad 2m + 1 = (2p + 1) (2q + 1)<br />
\]](/files/tex/d94cd814c1bae67579f336b8ac646c230f7d16d4.png)
![\[<br />
(10) \qquad q \geq 2^n (2p + 1)<br />
\]](/files/tex/e412d64830f8cf6b2a1f60aa0dd92ed1a220aff7.png)
![\[<br />
(11) \qquad k = 2q + 1<br />
\]](/files/tex/cf76612d85b75a26a17d48676e6fa7cf2c735852.png)
![\[<br />
(12) \qquad 2a + k - 1 = 2^{n+1} (2p + 1), \textrm{ zatem } a = 2^n (2p + 1)-q,<br />
\]](/files/tex/bbc5d1218705c8b0cfcb8083fbc556f3aeddc070.png)
![\[<br />
2m + 1 = (2p + 1) (2q + 1),<br />
\]](/files/tex/dee1ddf281601fe97111d8b5253a88638932db70.png)
![\[<br />
(13) \qquad q>0, \quad q>2n(2p+ 1),<br />
\]](/files/tex/3670f6287603b7701ec3c4f96385089a0076fd2d.png)
![\[<br />
30=6 + 7 + 8 + 9 = 4+ 5+ 6 + 7 + 8 = 9 + 10 + 11,<br />
\]](/files/tex/b31e973bba8c863de9da2f2bd458a94a8405eb28.png)
![\[<br />
\begin{split}<br />
225 &= 112 + 113 = 74 + 75 + 76 = 43 + 44 + 45 + 46 + 47 =\\<br />
&= 35 + 36 + 37 + 38 + 39 + 40 =\\<br />
&= 21 + 22 + + 23 + 24 + 25 + 26 + 27 + 28 + 29 =\\<br />
&= 18 + 19 + \ldots + 26 + 27 = 8 + 9 + \ldots + 21 + 22.<br />
\end{split}<br />
\]](/files/tex/b214c618c45b2681f4540c193980f9363ac44f2e.png)
Komentarze
Dodaj nową odpowiedź