Niech
będzie ciągiem liczb naturalnych spełniających warunki
a)
,
b) istnieje takie
,
, że
,
c)
, dla względnie pierwszych
.
Wykazać, że
dla każdego
.
Ponieważ liczb naturalnych mniejszych od danej liczby naturalnej
jest
l, więc jeśli dla pewnego
jest
, to wobec warunku a) musi być
dla
. Jeśli liczba
wymieniona w warunku b) jest większa od
, to liczba
jest większa od
oraz jest względnie pierwsza z liczbą
. Jest przy tym
, więc na mocy warunku c) jest też
. Ponieważ
, więc
, a wobec tego, że liczby
oraz
są względnie pierwsze otrzymujemy na mocy c), że
. Rozumując analogicznie otrzymamy
dla
.
Ponieważ dla każdej liczby naturalnej
istnieje
, dla którego
, więc na mocy tego, co stwierdziliśmy na początku rozwiązania jest
dla każdego
.
Pozostał do rozpatrzenia przypadek, gdy
wymienione w warunku b) równe jest
. Jest wtedy
. Niech
. Wobec tego
. Wobec tego
, więc
, a zatem
, stąd
,
. Z ostatniej nierówności wynika, że
. Z drugiej strony
, więc
. Otrzymujemy stąd, że
![]() |
skąd wynika
. Wobec tego jest
i zadanie zostało sprowadzone do rozważonego już wyżej przypadku.