Китайская теорема об остатках
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Пусть числа и
взаимно просты. Докажите, что при делении чисел от 1 до
на
и на
получаются все возможные пары
остатков.
Рассмотрим произвольную пару остатков где
и
По китайской теореме об остатках для взаимно простых
и
существует единственное число
такое, что:
причём
Таким образом, для каждой пары остатков найдётся ровно одно число
в промежутке от
до
дающее при делении на
остаток
а при делении на
— остаток
Всего возможных пар остатков ровно
так как
может принимать
различных значений, а
—
различных
значений. Поскольку числа
и
взаимно просты, все эти пары различны и покрывают все числа от
до
без
повторений.
Следовательно, при делении чисел от до
на
и на
получаются все возможные пары остатков, что и требовалось
доказать.
Ошибка.
Попробуйте повторить позже
При каких целых число
делится на
Чтобы число делилось на
оно должно делиться и на
и на
Сначала рассмотрим делимость на :
Отсюда
Для делимости на :
Отсюда или
Для и
по китайской теореме об остатках существует единственное решение при
не трудно
заметить, что это 46.
Для и
по китайской теореме об остатках существует единственное решение при
не трудно
заметить, что это 6.
или
где
Ошибка.
Попробуйте повторить позже
Докажите, что для каждого натурального существуют натуральные
и
такие, что
делится на
Заметим, что достаточно доказать утверждение для случая, когда — степень простого числа. Тогда для произвольного
с
разложением
можно решить задачу по каждому модулю а затем по китайской теореме об остатках совместить решения в одно по модулю
После этого легко подобрать натуральные
и
прибавив к ним по необходимости кратные
Таким образом, остаётся рассмотреть случаи где
— простое.
Рассмотрим сначала модуль Число
взаимно просто с
то есть
а значит, существует обратный к
по модулю
Возьмём
Тогда
Аналогично в модуле число
обратимо, поскольку
Возьмём
и
Тогда
Если то также
и можно взять
что снова даёт
Для каждого простого делителя числа
мы построили пару
таких что
По китайской теореме об остатках существует пара такая что
для всех и при этом
Ошибка.
Попробуйте повторить позже
Полезное следствие из КТО. Докажите, что для любых попарно взаимно простых чисел и остатков
по
модулям
найдутся
последовательных чисел
таких, что
Потребуем, чтобы для некоторых подряд идущих чисел
выполнялось
при всех
Это равносильно системе сравнений для одного числа :
Модули попарно взаимно просты, значит, по Китайской теореме об остатках система имеет решение Тогда числа
…,
дают нужные остатки.
Ошибка.
Попробуйте повторить позже
Докажите, что найдутся последовательных натуральных чисел, каждое из которых имеет по меньшей мере три различных простых
делителя.
Возьмём первые простых чисел
…,
Потребуем, чтобы каждое из чисел
…,
делилось хотя бы на
три различных простых числа. Зададим систему сравнений:
Модули попарно просты, поэтому по следствию из КТО существует решение причём
можно взять натуральным. Тогда для
каждого
…,
число
кратно трём попарно различным простым числам
следовательно, имеет по
меньшей мере три различных простых делителя.
Ошибка.
Попробуйте повторить позже
(a) Пусть Предположим, что существует лишь конечное множество простых чисел, которые делят хотя бы одно
значение
Обозначим их
…,
Рассмотрим произведение
Тогда для любого
и потому
Значит, ни одно из простых …,
не делит
Следовательно, у
найдётся простой делитель, отличный
от
…,
Получили противоречие. Таким образом, простых, которые встречаются в значениях
бесконечно
много.
(b) Из пункта (a) мы знаем, что таких простых бесконечно много. Выберем любые различных простых
…,
для
которых
при некоторых
Заметим, что для любого целого
Потребуем следующую систему сравнений:
Так как простые …,
попарно различны, система имеет решение по Китайской теореме об остатках. Для такого
имеем
и значит, делится как минимум на
различных простых чисел.
Ошибка.
Попробуйте повторить позже
Дано -значное число
и произвольное натуральное число
Докажите, что найдется такое не более чем
-значное число
натуральное число
что любое число вида
— составное.
Источники:
Из признака делимости на (необходимо рассмотреть знакочередующуюся сумму блоков по
цифре с конца) следует, что
числа в которых количество
в записи отличается на четное число имеют одинаковые остатки при делении на
Заметим, что а еще по лемме об уточнении показателя
не делится на
поэтому у
есть простой
делитель
отличный от
Достаточно сделать так, чтобы и
делились на
и на
соответственно. Такое
существует и не превосходит
по китайской теореме об остатках.
Ошибка.
Попробуйте повторить позже
Дано конечное множество натуральных чисел. Докажите, что существует натуральное число
такое, что для каждого
число
будет степенью (выше первой) натурального числа.
Подсказка 1
Ясно, что рассуждать нужно о степенях вхождения простых чисел. Пусть a — элемент множества A, в которое простое число p входит в степени n. Предположим, что ab должно стать k-ой степенью простого числа. В какой степени должно входить простое число p в b?
Подсказка 2
Верно! В степени, сравнимой с -n по модулю k. Если p делит другие элементы A, то может оказаться так, что в эти элементы оно входит в степенях, не сравнимых с -n, и сделать их k-ой степенью не получится. Попробуем сделать их различными степенями натуральных чисел. Как этого можно добиться?
Подсказка 3
Верно! Заведомо выберем для каждого элемента множества A, какой степенью оно должно стать, после домножения на b. Попробуем теперь выбрать степень для простого числа p, в которой оно должно входить в b. Для этого придется посмотреть на степени вхождения p во все элементы A. Какое условие будет достаточным, чтобы при умножении на b получились степени натуральных чисел?
Подсказка 4
Как мы уже поняли, чтобы сделать k-ую степень натурального числа, нужно сделать так, чтобы p входило в b в степени, сравнимой с -l, если l — степень вхождения p в элемент множества A. Тогда выходит много сравнений для степени вхождения p в b. Как гарантировать существование такой степени вхождения!
Подсказка 5
Точно! Попробуем применить китайскую теорему об остатках. Тогда попробуем для каждого элемента множества A заранее выбрать, какой степенью натурального числа он должен стать после домножения на b. Какие степени удобно выбирать?
Пусть Выберем любые различные простые числа
так, что каждое из них больше степени вхождения
любого простого числа в любой элемент множества
Теперь покажем, что можно выбрать
так, чтобы
…,
были соответственно
степенями натурального числа. Для этого рассмотрим простое число
которое
входит хотя бы в один из элементов множества
Пусть
где
и
— числа, не делящиеся на
Выберем число
так, чтобы для каждого
выполнялось сравнение
(это возможно по китайской теореме об остатках). Тогда
входит в число
в степени, делящейся на
поскольку
Аналогичное действие выполним для всех простых чисел
делящих хотя
бы один из элементов множества
и определим для них числа
Положим
и задача
решена.
Ошибка.
Попробуйте повторить позже
Даны натуральные и
Известно, что для любого натурального
число
делится на
Докажите, что
Подсказка 1
Попробуем доказать, что разность a и b сравнима с нулем по модулю какого-нибудь очень большого числа. Как от исходного условия перейти к исследованию разности?
Подсказка 2
Верно! Легко видеть с помощью простого вычитания делителя, что условие задачи эквивалентно тому, что разность n-ых степеней a и b делится на сумму n-ой степени b и n. Попробуем для произвольного простого числа p изготовить такое n, чтобы эта сумма на него делилась. Как это сделать?
Подсказка 3
Точно! Просто берем n, имеющее остаток -b по модулю p и остаток 1 по модулю p-1. Тогда легко показать по малой теореме Ферма, что сумма n-ой степени b и b делится на p. А что это означает для разности n-ый степеней a и b?
Ясно, что если делится на
то и
также делится на
Рассмотрим произвольное простое
число
Возьмём такое
что
и
Благо, КТО позволит выбрать такое
Заметим, что в этом
случае
так как либо
делит
либо они взаимно просты и
делится на
тогда
вторая скобка по МТФ сравнима с
Отсюда
кратно
то есть
В силу выбора
имеем
То есть
для любого простого числа
Отсюда нетрудно показать равенство
и
Возьмём
такое простое число, которое больше разности
и
Ясно, что в этом случае
на него поделится лишь когда
Что и
требовалось.
Ошибка.
Попробуйте повторить позже
Два различных простых числа и
отличаются менее чем в два раза. Докажите, что существуют такие два последовательных
натуральных числа, что у одного из них наибольший простой делитель равен
а у другого —
Первое решение. Без ограничения общности будем считать, что взаимно просты, по малой теореме Ферма
а значит существует некоторый остаток
такой, что и
В силу того, что либо
либо
и тогда
При этом
Если можно взять два последовательных натуральных числа числа
и
У числа
— наибольший простой
делитель
а у числа
наибольший простой делитель равен
(
— наибольшие простые делители, иначе бы числа
были бы больше
соответственно).
Если же то возьмем последовательные натуральные числа
Тогда у числа
— опять-таки наибольший простой делитель, а у числа
наибольший простой делитель равен иначе бы
то есть что не выполняется.
Следовательно, существуют такие два последовательных натуральных числа, что у одного из них наибольший простой делитель равен
а у другого —
______________________________________________________________________________________________________________________________________________________
Второе решение. Пусть По китайской теореме об остатках существует такое
что
и
Число делится на
и поскольку
у него не может быть простого делителя больше
значит,
— наибольший
простой делитель
Число делится на
Если бы у него был больший простой делитель
то
Тогда
Рассмотрим теперь числа и
Первое делится на
второе — на
Число так как
поэтому
— наибольший простой делитель.
Число поэтому
— наибольший простой делитель.
Значит, мы нашли нужную пару чисел.
Ошибка.
Попробуйте повторить позже
Сколько существует натуральных чисел , меньших
, для которых
делится на
Заметим, что даёт только остатки
по модулю
для
соответственно.
Для имеем
По условию нам нужно
В качестве примера рассмотрим . Здесь накладываются два условия
. Уместно воспользоваться Китайской
теоремой об остатках, которая говорит нам, что таких чисел будет ровно два в наборе
, но можно и явно найти эти
числа —
. Здесь легко видеть, что от сдвига набора ничего не поменяется, поскольку нам важно только наличие всех остатков по
модулю
ровно по одному разу.
Абсолютно аналогично по два числа в каждом наборе из подряд идущего подойдут для остатков
и
, то есть в итоге из каждых
нам подойдут
чисел.
Поскольку , то из первых
групп подойдут
. Остаются числа чисел
, из которых подходит
. Получаем ответ
Ошибка.
Попробуйте повторить позже
Генерал построил солдат в колонну по но при этом солдат Иванов остался лишним. Тогда генерал построил солдат в колонну по
И
снова Иванов остался лишним. Когда же и в колонне по
Иванов оказался лишним, генерал посулил ему наряд вне очереди, после чего
в колонне по
Иванов нашел себе место и никого лишнего не осталось. Какое наименьшее число солдат могло быть у
генерала?
Подсказка 1
Предположим, что всего солдат n. Тогда по условию n = 7t и n имеет остаток 1 при делении на 4, 5 и 6. Можно ли вместо условий на n получить условия на t?
Подсказка 2
Верно! Например, 7t имеет остаток 1 при делении на 5, что означает t = 5k - 2. Можно ли продолжать аналогичные действия, пока все данные сравнения не будут использованы?
Подсказка 3
Можно! В конце получаем, что n = 420r - 119. Тогда чему равно наименьшее значение n?
Пусть всего солдат, тогда имеют место следующие сравнения:
и
Из
последнего сравнения следует, что
Также необходимо, чтобы
а это происходит лишь когда
Таким образом,
откуда
Следовательно,
Осталось заметить, что при
выполняется третье сравнение. Наконец,
Теперь видно, что
Ошибка.
Попробуйте повторить позже
Сколько четырёхзначных чисел подходит под условие
Подсказка 1
Условие означает, что x(x-1) делится на 10000. Может ли x или x-1 делится на 10000?
Подсказка 2
Верно, не может, поскольку x — четырехзначное число. Тогда x делится на 2⁴ и x - 1 делится на 5⁴ или наоборот. Тогда в качестве x или x - 1 нужно подобрать четырехзначное число, делящееся на 625. Как это сделать?
Подсказка 3
Верно! Можно перебрать все числа, делящиеся на 625, начиная с 1250 и заканчивая 9375, попутно проверяя условие делимости одного из чисел x или x-1 на 16.
Нетрудно понять, что если то
должно делиться на
и
Очевидно, что
и
взаимно просты.
Также понятно, что ни
ни
не могут делиться одновременно на
и
потому что
— четырёхзначное число. Поэтому
возможны два случая:
делится на
и
делится на
делится на
и
делится на
Попробуем подобрать на место или
четырёхзначное число, кратное
Понятно, что оно не меньше
и не больше
Также оно должно быть нечётным. Из оставшихся вариантов перебором понимаем, что можно только поставить
на место
Ошибка.
Попробуйте повторить позже
Диме выдали натуральное число Он разделил его на 101 и получил в остатке
Затем Дима разделил
на
и получил в
остатке
Найдите наибольшее значение
которое могло получиться, а затем — наименьшее
при котором это значение
достигается.
Подсказка 1
По условию p — остаток от деления на m, а m — остаток от деления на 101. Какие наибольшие значения могут принимать p и m?
Подсказка 2
Верно! p не превосходит m - 1, а m не превосходит 100. Тогда p не больше 99. По условию N = 101t - 1. Мы хотим найти наименьшее N, имеющее остаток 99 при делении на 100. Какое условие получается на t?
Подсказка 3
Верно! Получается, что t делится на 100. Тогда N = 10100s - 1. Каково наименьшее значение N?
Понятно, что так как
— остаток при делении на
Также ясно, что
так как это остаток при делении на
Таким образом, имеем
То есть максимальное значение
равно
Оно реализуется при
Теперь найдём наименьшее
а значит
Заметим, что для справедливости сравнения
необходимо и достаточно, чтобы
делилось на
то есть
Таким образом, минимальное
—
Ошибка.
Попробуйте повторить позже
Докажите, что натуральные для которых
делится на
образуют арифметическую прогрессию.
Подсказка 1
Разбираться сразу с делимостью на 30 сложно, поэтому попробуйте рассмотреть по отдельности простые делители: 2, 3 и 5. Какие значения n обращают nⁿ + 1 ≡ 0 (mod p) в верное для каждого из них? Как можно объединить результат?
Подсказка 2
Показательные и степенные функции по модулю часто становятся периодическими. Попробуйте рассмотреть nⁿ + 1 по модулю 10 и выяснить, повторяются ли остатки. Как можно это проверить?
Подсказка 3
Попробуйте доказать, что нужные n обязаны быть одновременно вида 10k – 1 и 3m – 1. Какие n этому удовлетворяют? Что можно сказать про арифметическую прогрессию, которую они образуют? Почему выходит именно арифметическая прогрессия?
Покажем, что остатки по модулю
зацикливаются. Нетрудно убедиться в том, что
а значит,
из чего следует, что
Осталось вручную посчитать остатки в цикле и понять,
что
делится на
лишь при
Теперь разберёмся с делимостью на Понятно, что
не может делиться на
Если
то
Если
же
то
Таким образом, то есть все нужные
образуют арифметическую прогрессию, что и требовалось.
Ошибка.
Попробуйте повторить позже
Найдите все натуральные для которых любое целое число можно представить в виде суммы двух целых чисел, каждое из которых
взаимно просто с
Подсказка 1
Могут ли подойти четные числа?
Подсказка 2
Верно, не могут, поскольку каждое нечетное число представимо в виде суммы четного и нечетного. Попробуем доказать, что все нечетные числа подходят. Для этого выберем любое натуральное число x и попробуем разложить его в сумму a + b. Как удобно выбрать a + b?
Подсказка 3
Понятно, что нужно думать об остатках при делении на простые числа, входящие в n. Пусть p — простое число, делящее n, а r — остаток x при делении на p. Как выбрать остатки чисел a и b?
Подсказка 4
Верно! Можно просто положить, что a сравнимо с 1, а b сравнимо с r-1 по модулю p, если, конечно, r не равно 1. Тогда по КТО все получится. А что делать, если r сравнимо с 1?
Заметим, что чётные числа не подходят, так как всякое нечётное всегда представимо в виде суммы чётного и нечётного.
Покажем, что все нечётные числа подходят. Рассмотрим произвольное нечётное и разложим его по ОТА:
Теперь
рассмотрим произвольное число
Пусть
Попробуем для каждого
из разложения
подобрать ненулевые остатки для
и
по модулю
Пусть
даёт остаток
при делении на
Тогда для
можно взять остаток
а для
— остаток
если
В противном случае для
возьмём остаток
а для
—
И так подберём остатки для каждого простого числа из
разложения. Осталось заметить, что по КТО существуют такие числа
и
дающие подобранные остатки при делении на простые числа
из разложения.
Все нечётные числа
Ошибка.
Попробуйте повторить позже
Назовем число хорошим, если оно делится на квадрат натурального числа большего При каких
найдется
последовательных
хороших чисел? (Пример для
).
Подсказка 1
Если число делится на квадрат натурального числа, то оно делится и на квадрат простого натурального числа. С другой стороны, нам достаточно того, чтобы все числа делились на квадраты простых чисел. А можно ли, пользуясь простотой, доказать, что такие числа существуют?
Подсказка 2
Мы можем взять число x так, чтобы оно делилось на квадрат какого-то простого числа. А можно ли взять x + 1 так, чтобы оно делилось на квадрат другого простого числа?
Подсказка 3
Верно! По КТО это вполне возможно. А можно ли взять большее количество простых чисел?
Первое решение.
Давайте возьмем различных попарно взаимно простых чисел (например,
простых чисел)
,
, ...,
и захотим, чтобы для
какого-то
число
делилось на
,
делилось на
,
делилось на
и т. д. Такие числа существуют, так как по КТО
существует такое
, что:
(mod
)
(mod
)
... (mod
)
Второе решение.
Рассмотрим чисел:
где
—
-е простое число. Попробуем найти такое число
что
делится на
делится
на
делится на
Нетрудно понять, что это равносильно тому, что
Теперь видно, что
по КТО такое число существует, поскольку модули всех сравнений взаимно просты.
Ошибка.
Попробуйте повторить позже
Дано натуральное и различные целые числа
от
до
Известно, что
делит
для всех
Докажите, что
не делит
Подсказка 1
Для каждого i рассмотрим наибольший общий делитель числа aᵢ и числа n. Что можно сказать про эти НОДы, если предположить, что n ∣ aₖ(a₁−1)?
Подсказка 2
Подумайте, как условие n ∣ aᵢ(aᵢ₊₁−1) связывает делимость каждого aᵢ с делимостью aᵢ₊₁−1. Можно ли «передавать» это условие вдоль всей последовательности?
Подсказка 3
Если из рассуждений получится, что все числа aᵢ делятся на одно и то же d, а все aᵢ−1 сравнимы с 1 по модулю d, то сколько различных таких чисел может уместиться в отрезке от 1 до n? Попробуем дойти до противоречия.
Пойдём от противного, пусть делит
Для каждого
посчитаем НОД
и рассмотрим такое
у которого получился
наибольший НОД. Пусть полученный НОД
равен
(
). По условию
делится на
однако
не может делиться на
значит
делит
Но по условию и
делится на
а значит,
что
также делится на
Аналогичными рассуждениями получаем, что все
при
делятся на
Далее с помощью предположения, что
делится на
понимаем, что
кратно
Следовательно,
делит и
поскольку
кратно
Далее, продолжая цепочку рассуждений, приходим к выводу, что все
от при
также кратны
Поскольку
— наибольший НОД среди всех вида
получаем, что
для любого
Пусть По условию
кратно
а значит необходимо, чтобы
В силу произвольности
получаем, что
при всех
от
до
Заметим, что и
взаимно просты, в противном случае пусть их НОД равен
Выше мы доказали, что
кратно
а
кратно
и получается, что оба числа кратны
Тогда
также должно делиться на
противоречие.
Итак, у нас есть чисел, каждое из которых делится на
и сравнимо с
по модулю
В силу взаимной простоты
и
из
КТО получаем, что такие числа должны иметь вид
, где
Но чисел такого вида лежащих в промежутке от
до
может быть только одно, а по условию их
Противоречие.
Ошибка.
Попробуйте повторить позже
Пусть — натуральное число, а
— простые числа. Обозначим через
произведение первых
из них.
Докажите, что существует натуральное число
такое, что для каждого
от
до
числа
и
взаимно
просты.
Подсказка 1
Рассмотрим одно фиксированное простое pᵢ. Какой остаток по модулю pᵢ нужно избежать, чтобы числа Pₙ и k+pᵢ не имели общих делителей?
Подсказка 2
Все числа Pₙ дают при делении на pᵢ не так уж много разных остатков. Посчитаем, сколько именно, и почему этого недостаточно, чтобы покрыть все возможные остатки.
Подсказка 3
Если некоторый остаток по модулю pᵢ никогда не встречается, то можно выбрать k так, чтобы именно он появился. Как совместить такие условия сразу для всех простых p₁, …, pₙ?
Рассмотрим произвольное число из набора. Попробуем подобрать для
такой остаток по модулю
чтобы
никогда не входило в
Понятно, что
иначе при
условие нарушится. Числа
суммарно дают не более
остатка при делении на
Таким образом мы поняли, что числа
имеют не более
различных остатков по модулю
Нетрудно
понять, что
потому что
не меньше
-го простого числа из натурального ряда, которое, в свою очередь, больше
Но тогда
существует такой остаток
который не встречается среди остатков чисел
при делении
Таким образом, можно взять
Осталось заметить, что по КТО существует такое
что
при
что и
требовалось.
Ошибка.
Попробуйте повторить позже
В ряд выписано простое натуральное число. Каждое, кроме крайних, отличается от одного из своих соседей на
а от другого — на
Докажите, что среди этих чисел есть равные.
Подсказка 1
Если мы хотим сказать, что все числа различные, то такая последовательность достаточно быстро, линейно растет. И при этом, почти все идут подряд, если смотреть на целую часть при делении на 6. То есть, число может «прыгать» через 1(после того как нацело поделили всю нашу последовательность на 6), но не больше чем на 1. Вот так «на пальцах», не строго, мы поняли, что было бы очень удачно, если бы мы смогли найти два каких-то соседних числа, которые отличаются на хотя бы 18. А это можно сделать, если мы(допустим) сможем разделить нашу последовательность на что-то большее ,чем некоторое число , и на что-то меньшее , чем некоторое число. И наименьшее и наибольшее из соответствующих групп отличались хотя бы на 18. То есть, иными словами, мы хотим сказать, что какие - то два подряд идущих числа, отличающиеся на 6, не могут быть в последовательности. Попробуйте придумать, как к такой конструкции прийти.
Подсказка 2
Одна из таких конструкций - остатки. По китайской теореме об остатках найдется такое k, что p + 6k делится на 5,а p + 6(k+1) на 7, при этом p - наименьшее простое число, большее 7(чтобы существовало число перед ним, которое входит в последовательность), входящее в последовательность. При этом 0 < k <= 5*7(по КТО найдется такое k). Теперь подумайте, откуда здесь возникает противоречие.
Подсказка 3
А возникает оно из - за того, что оба этих числа не простые, при этом они идут через одно. То есть, как раз мы получили конструкцию, в которой все разделилось на две кучи, в одной из которых числа которые хотя бы p+6(k+2), а в другой p+6(k-1). То есть разность хотя бы 18. Что теперь это значит? Какие теперь числа точно не могут быть в последовательности? А сколько теперь может быть чисел максимум в последовательности?
Подсказка 4
Верно, числа больше или равные p + 6(k+2), поскольку множество «меньших» непустое. Значит, чисел в наборе останется не больше чем 36(самое p и всевозможные 0 < k <= 5*7) и 2,3,5,7 - то есть не более 40 чисел. Но у нас 2021 число. Противоречие.
Способ 1
Предположим, что все числа в ряду различны. Выберем в нашем ряду число у которого с каждой стороны не меньше пяти соседей,
причём среди них нет числа
Такое
найдётся, так как число
достаточно большое, а число
в нашем ряду встречается не более
одного раза. Если
рассмотрим соседа числа
отличающегося от него на
А если
рассмотрим его
соседа, отличающегося на
Не умаляя общности, будем считать, что этот сосед находится справа от
На приведённой ниже схеме
выберем среди первых четырёх чисел то, которое равно остатку числа
при делении на
Число над стрелкой показывает, на сколько
должен отличаться его правый сосед, а число после стрелки — какой остаток при делении на
этот сосед будет иметь. Все
числа над стрелками однозначно определяются условиями, что разности
и
чередуются и в ряду нет остатка
Осталось заметить, что, с какого бы из первых четырёх чисел мы ни начали, через четыре шага мы придём к этому же числу(так как по
одному разу прибавим и
и по одному разу вычтем). Следовательно, в нашем ряду обязательно найдутся два одинаковых
числа.
Способ 2
Пусть — наименьшее простое число в этом ряду большее
По китайской теореме об остатках существует такое число
(
),
что
Тогда числа и
не простые, поэтому в нашем ряду они не встречаются. Но тогда в нашем ряду не может быть и
чисел, больших
так как иначе нашлось бы два соседних числа, одно из которых не превосходит
а второе не
меньше числа
что невозможно. Следовательно, в ряду может встретиться не более
различных простых чисел:
и
Но в ряду
число, значит, среди чисел есть равные.
Способ 3
Пусть — наименьшее просто число в этом ряду. Тогда все числа в ряду не превосходят
так как если идти по ряду
от
до какого-то числа, то за каждые два шага число будет увеличиваться не более чем на
Докажем, что среди
чисел
количество простых меньше Из этого будет следовать, что в ряду обязательно найдутся равные числа. Пусть
— количество
чисел в этом ряду, кратных
Подсчитаем количество чисел в ряду (*), кратных
и
По формуле включений-исключений это
количество равно
Если то на
делится каждое
-ое число в ряду (*) и
или
Следовательно,
Итого, в ряду (*) не менее чисел, кратных
и
Из этих
чисел не более трёх являются простыми — это сами числа
и
если они там есть. Поэтому в ряду (*) не более
простых.