Niech
będzie liczbą pierwszą. Dowieść, że istnieje taka permutacja
zbioru
, że liczby
![]() |
dają różne reszty przy dzieleniu przez
.
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
.