- 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
Komentarz
LVIII OM - I - Zadanie 8
Niech
będzie liczbą pierwszą. Dowieść, że istnieje taka permutacja
zbioru
, że liczby
![]() |
dają różne reszty przy dzieleniu przez
.
Rozwiązanie
Przyjmijmy
oraz dla
niech
będzie taką liczbą ze zbioru
, że liczba
jest podzielna przez
.
Oczywiście musimy najpierw wykazać, że podane określenie liczby
jest poprawne, czyli że taka liczba
istnieje. W tym celu dla ustalonej wartości
rozpatrzmy liczby
![]() |
Żadna z tych liczb nie daje reszty
przy dzieleniu przez
; gdyby bowiem dla pewnego
liczba
dawała resztę
, to liczba
byłaby podzielna przez
, co jest niemożliwe wobec nierówności
,
oraz faktu, iż
jest liczbą pierwszą. Analogicznie dowodzimy, że jeśli
,
są liczbami całkowitymi spełniającymi nierówności
, to liczba
![]() |
nie jest podzielna przez
. To oznacza, że wśród wypisanych
liczb żadne dwie nie dają tej samej reszty z dzielenia przez
oraz żadna nie daje reszty
. Wynika stąd, że dokładnie jedna z tych liczb daje resztę
, czyli dzieli się przez
.
Udowodnimy teraz, że otrzymane w ten sposób liczby
,
,
,
są parami różne. Żadna z liczb
,
,
,
nie jest równa
, gdyż liczba
nie jest podzielna przez
. Przypuśćmy z kolei, że dla pewnych wskaźników
zachodzi równość
. Wtedy liczby
oraz
są podzielne przez
, a więc różnica
![]() |
dzieli się przez liczbę pierwszą
, co jest niemożliwe, gdyż
, jak również
.
Pozostaje wykazać, że skonstruowane liczby spełniają warunki zadania. W tym celu wykażemy indukcyjnie, że dla
liczba
daje resztę
z dzielenia przez
. Dla
jest to prawda. Załóżmy teraz prawdziwość tej własności dla
. Liczba
jest zatem podzielna przez
, a więc i liczba
dzieli się przez
. Ale z określenia liczby
wynika, że liczba
daje resztę
przy dzieleniu przez
. Wobec tego liczba
daje resztę
z dzielenia przez
, co kończy dowód indukcyjny i rozwiązanie zadania.
Uwaga: Znajomość podstawowych własności arytmetyki liczb modulo
pozwala znacznie uprościć zapis powyższego rozumowania. Mianowicie przyjmujemy
![]() |
Ponieważ
jest liczbą pierwszą, więc określenie liczby
jest poprawne. Jest jasne, że liczby
,
,
,
są różne od
; ponadto równość
dla pewnych
prowadziłaby do zależności
![]() |
co daje oczywistą sprzeczność
. Pozostaje sprawdzić, że dla
mamy
![]() |
a więc
.


![\[<br />
x_1,\;\;\; x_1x_2,\;\;\; x_1x_2x_3,\;\;\; \ldots,\;\;\; x_1x_2...x_{p-1}<br />
\]](/files/tex/f153e18d43167e1b82a16c0c3d5ffbb7690d328b.png)
![\[<br />
(i-1)-i,\;\;\; 2(i-1)-i,\;\;\; 3(i-1)-1, \;\;\;\ldots,<br />
\;\;\; (p-1)(i-1)-1.<br />
\]](/files/tex/e6dd578af6a1cf07d5bc941fe965441f390089db.png)
![\[<br />
(l(i-1)-i)-(k(i-1)-i)=(l-k)(i-1)<br />
\]](/files/tex/fa92d2d66b0197abeaffb12f2f1739714ded058a.png)
![\[<br />
((j-1)x_i-j)-((i-1)x_i-i)=(j-i)(x_i-1)<br />
\]](/files/tex/dff7f47b5013aec87cd1cebaa03e38a448c4b89d.png)
![\[<br />
x_1=1 \qoraz (i-1)x_i\equiv i\pmod{p}\dla i=2,3,\ldots,p-1.<br />
\]](/files/tex/0d6d977ea35b28a2c5452d6184980fb248095d22.png)
![\[<br />
ij-i\equiv i(j-1)\equiv (i-1)(j-1)x_i\equiv (i-1)(j-1)x_j\equiv (i-1)j<br />
\equiv ij-j\pmod{p},<br />
\]](/files/tex/f7b22080fe562bec5405eaaf809de1fc3c24287e.png)
