Глава

Китайская теорема об остатках и построения

Модуль учит использовать CRT для систем сравнений, совместимости, подсчёта решений и олимпиадных построений.
Войдите, чтобы сохранять решённые и закладки.

Теория

Ключевая идея

Китайская теорема об остатках превращает несколько локальных условий в одно число. В олимпиадных задачах это не только способ “решить систему”, но и язык построений: мы заранее назначаем остатки так, чтобы нужные делимости стали автоматическими.

Главный принцип: если модули попарно взаимно просты, то систему \(x\equiv r_i\pmod {m_i}\) можно решить, и решение единственно по модулю \(M=m_1m_2\cdots m_k\).

Основные факты

1. Если \(\gcd(m,n)=1\), то система \(x\equiv a\pmod m\), \(x\equiv b\pmod n\) имеет единственное решение по модулю \(mn\).

2. Если модули не взаимно просты, система \(x\equiv a\pmod m\), \(x\equiv b\pmod n\) совместна тогда и только тогда, когда \(\gcd(m,n)\mid a-b\).

3. При попарно взаимно простых модулях количество решений сравнения можно перемножать: например, число решений \(x^2\equiv 1\pmod {mn}\) равно произведению чисел решений по модулям \(m\) и \(n\).

4. Для построений часто выбирают простые \(p_i\) и задают \(N+i\equiv 0\pmod {p_i}\). Тогда каждое \(N+i\) получает заранее назначенный делитель.

Когда применять метод

CRT стоит применять, когда в задаче нужно построить число с несколькими остатками, доказать существование бесконечно многих чисел, найти совместимость условий или организовать делимость нескольких выражений \(N+a_i\).

Как распознать метод

Сигналы метода: “найдите число, которое даёт остатки...”, “постройте \(n\), чтобы \(n+i\) делилось на...”, “докажите существование бесконечно многих”, “система сравнений”, “одновременно по нескольким модулям”.

Типичные ошибки

Нельзя применять стандартную форму CRT, не проверив взаимную простоту модулей. Если модули имеют общий делитель, нужно проверить согласованность остатков.

В задачах на составность недостаточно получить \(p_i\mid N+i\): надо ещё убедиться, что \(N+i>p_i\), иначе число может оказаться равным своему делителю.

Мини-чеклист

1. Какие модули участвуют и попарно ли они взаимно просты?

2. Если модули не взаимно просты, согласованы ли остатки?

3. По какому модулю единственно решение?

4. Если строится составное число, больше ли оно назначенного делителя?

5. Нужно одно число или бесконечно много? Если бесконечно много, добавьте период \(M\).

Примеры

Пример 1. Два взаимно простых модуля

Базовый расчёт CRT лучше делать вручную, чтобы видеть период.

Задача. Найдите все \(x\), для которых \(x\equiv 2\pmod 5\) и \(x\equiv 3\pmod 7\).

Решение.

Пусть \(x=5t+2\). Тогда \(5t+2\equiv 3\pmod 7\), то есть \(5t\equiv 1\pmod 7\). Так как \(5^{-1}\equiv 3\pmod 7\), получаем \(t\equiv 3\pmod 7\). Значит \(x=5(7s+3)+2=35s+17\). Ответ: \(x\equiv 17\pmod {35}\).

Пример 2. Несовместимые остатки

Если модули не взаимно просты, сначала проверяется общий делитель.

Задача. Имеет ли решения система \(x\equiv 2\pmod 6\), \(x\equiv 5\pmod 9\)?

Решение.

Общий делитель модулей равен \(3\). Разность остатков \(5-2=3\) делится на \(3\), значит система совместна. Пусть \(x=6t+2\). Тогда \(6t+2\equiv 5\pmod 9\), то есть \(6t\equiv 3\pmod 9\), или \(2t\equiv 1\pmod 3\). Значит \(t\equiv 2\pmod 3\), и \(x\equiv 14\pmod {18}\).

Пример 3. Назначенные делители

CRT удобно строит числа с заранее заданными делителями.

Задача. Постройте \(N\), для которого \(N+1\) делится на \(3\), \(N+2\) делится на \(5\), \(N+3\) делится на \(7\).

Решение.

Нужно \(N\equiv -1\pmod 3\), \(N\equiv -2\pmod 5\), \(N\equiv -3\pmod 7\), то есть \(N\equiv 2\pmod 3\), \(N\equiv 3\pmod 5\), \(N\equiv 4\pmod 7\). Решая последовательно, получаем \(N\equiv 53\pmod {105}\). Например, \(N=53\).

Пример 4. Блок составных чисел

Чтобы число было составным, назначенный делитель должен быть меньше самого числа.

Задача. Докажите, что существуют \(6\) последовательных составных чисел.

Решение.

Возьмём \(N=7!-1\). Тогда \(N+2,N+3,\ldots,N+7\) делятся соответственно на \(2,3,\ldots,7\). При этом все эти числа больше своих делителей, значит они составные. Получен блок из \(6\) последовательных составных чисел.

Пример 5. Подсчёт через CRT

Когда модули взаимно просты, решения по разным модулям можно комбинировать независимо.

Задача. Сколько решений имеет \(x^2\equiv 1\pmod {105}\)?

Решение.

Так как \(105=3\cdot 5\cdot 7\), нужно решить \(x^2\equiv 1\) по модулям \(3,5,7\). По каждому нечётному простому модулю есть два решения: \(x\equiv \pm 1\). Поэтому всего \(2\cdot 2\cdot 2=8\) решений по модулю \(105\).

Пример 6. Линейное выражение

Иногда сначала надо перевести условие на выражение в условие на \(n\).

Задача. Найдите все \(n\), для которых \(2n+1\equiv 0\pmod 5\) и \(3n-1\equiv 0\pmod 7\).

Решение.

Первое сравнение даёт \(2n\equiv -1\equiv 4\pmod 5\), значит \(n\equiv 2\pmod 5\). Второе даёт \(3n\equiv 1\pmod 7\), значит \(n\equiv 5\pmod 7\). Решая систему, получаем \(n\equiv 12\pmod {35}\).

Пример 7. Доказательство совместимости

Теорема для двух не взаимно простых модулей часто спасает от лишнего перебора.

Задача. Докажите, что \(x\equiv a\pmod m\), \(x\equiv b\pmod n\) совместна тогда и только тогда, когда \(\gcd(m,n)\mid a-b\).

Решение.

Если решение \(x\) есть, то \(x-a\) делится на \(m\), а \(x-b\) делится на \(n\). Значит \(a-b=(x-b)-(x-a)\) делится на \(d=\gcd(m,n)\). Обратно, пусть \(d\mid a-b\). Запишем \(m=dm_1\), \(n=dn_1\), где \(\gcd(m_1,n_1)=1\). Нужно найти \(x=a+mt\), чтобы \(a+mt\equiv b\pmod n\), то есть \(m_1t\equiv \frac{b-a}{d}\pmod {n_1}\). Так как \(m_1\) обратим по модулю \(n_1\), такое \(t\) существует.

Пример 8. Бесконечно много построений

После нахождения одного решения можно добавлять общий период.

Задача. Докажите, что существует бесконечно много \(N\), для которых \(N,N+2,N+6\) составные.

Решение.

Зададим \(N\equiv 0\pmod 5\), \(N+2\equiv 0\pmod 7\), \(N+6\equiv 0\pmod {11}\). Модули взаимно просты, поэтому есть решение по модулю \(385\), и все числа \(N+385t\) тоже подходят по делимости. При достаточно больших \(t\) каждое из чисел больше назначенного делителя, значит все три составные. Таких \(t\) бесконечно много.

Задачи

Задачи

#9.1
#9.1

Два остатка

Арифметика по модулю 9 класс 10 класс ★★☆☆☆

Найдите все целые \(x\), для которых \(x\equiv 4\pmod 9\) и \(x\equiv 7\pmod {11}\).

Детали
Задача: NT-B2-M09-P001
Сложность: Уровень 2 из 5
Tag: Арифметика по модулю
Grade: 9 класс, 10 класс
#9.2
#9.2

Три остатка

Арифметика по модулю 9 класс 10 класс ★★☆☆☆

Найдите наименьшее положительное \(x\), для которого \(x\equiv 1\pmod 4\), \(x\equiv 2\pmod 5\), \(x\equiv 3\pmod 7\).

Детали
Задача: NT-B2-M09-P002
Сложность: Уровень 2 из 5
Tag: Арифметика по модулю
Grade: 9 класс, 10 класс
#9.3
#9.3

Несовместная система

Китайская теорема об остатках 9 класс 10 класс ★★☆☆☆

Докажите, что система \(x\equiv 2\pmod 6\), \(x\equiv 3\pmod 9\) не имеет решений.

Детали
Задача: NT-B2-M09-P003
Сложность: Уровень 2 из 5
Tag: Китайская теорема об остатках
Grade: 9 класс, 10 класс
#9.4
#9.4

Совместная система с общим делителем

Китайская теорема об остатках 9 класс 10 класс ★★☆☆☆

Решите систему \(x\equiv 5\pmod {12}\), \(x\equiv 17\pmod {18}\).

Детали
Задача: NT-B2-M09-P004
Сложность: Уровень 2 из 5
Tag: Китайская теорема об остатках
Grade: 9 класс, 10 класс
#9.5
#9.5

Назначенные остатки

Китайская теорема об остатках 9 класс 10 класс ★★☆☆☆

Постройте положительное \(N\), такое что \(N\equiv 2\pmod 3\), \(N\equiv 4\pmod 5\), \(N\equiv 6\pmod 7\).

Детали
Задача: NT-B2-M09-P005
Сложность: Уровень 2 из 5
Tag: Китайская теорема об остатках
Grade: 9 класс, 10 класс
#9.6
#9.6

Три последовательные делимости

Делимость 9 класс 10 класс ★★★☆☆

Найдите наименьшее положительное \(N\), для которого \(N+1\) делится на \(4\), \(N+2\) делится на \(5\), а \(N+3\) делится на \(9\).

Детали
Задача: NT-B2-M09-P006
Сложность: Уровень 3 из 5
Tag: Делимость
Grade: 9 класс, 10 класс
#9.7
#9.7

Два линейных условия

Китайская теорема об остатках 9 класс 10 класс ★★★☆☆

Найдите все \(n\), для которых \(4n+1\) делится на \(9\), а \(5n-2\) делится на \(11\).

Детали
Задача: NT-B2-M09-P007
Сложность: Уровень 3 из 5
Tag: Китайская теорема об остатках
Grade: 9 класс, 10 класс
#9.8
#9.8

Блок из четырёх составных

Делимость 9 класс 10 класс ★★★☆☆

Постройте \(N\), такое что \(N+1,N+2,N+3,N+4\) — составные числа.

Детали
Задача: NT-B2-M09-P008
Сложность: Уровень 3 из 5
Tag: Делимость
Grade: 9 класс, 10 класс
#9.9
#9.9

Квадраты по составному модулю

Подсчёт 9 класс 10 класс ★★★☆☆

Сколько решений имеет сравнение \(x^2\equiv 1\pmod {385}\)?

Детали
Задача: NT-B2-M09-P009
Сложность: Уровень 3 из 5
Tag: Подсчёт
Grade: 9 класс, 10 класс
#9.10
#9.10

Найти все четыре решения

Подсчёт 9 класс 10 класс ★★★☆☆

Найдите все решения \(x^2\equiv 1\pmod {35}\) по модулю \(35\).

Детали
Задача: NT-B2-M09-P010
Сложность: Уровень 3 из 5
Tag: Подсчёт
Grade: 9 класс, 10 класс
#9.11
#9.11

Критерий совместимости

Китайская теорема об остатках 10 класс 11 класс ★★★★☆

Пусть \(m,n,a,b\) — целые числа, \(m,n>0\). Докажите, что система \(x\equiv a\pmod m\), \(x\equiv b\pmod n\) имеет решение тогда и только тогда, когда \(\gcd(m,n)\mid a-b\).

Детали
Задача: NT-B2-M09-P011
Сложность: Уровень 4 из 5
Tag: Китайская теорема об остатках
Grade: 10 класс, 11 класс
Source: 1001 Problems in Classical Number Theory (method inspiration) · Задача 276
#9.12
#9.12

Делители для пяти сдвигов

Делимость 10 класс 11 класс ★★★★☆

Докажите, что существует бесконечно много \(N\), таких что \(N+1,N+2,N+3,N+4,N+5\) имеют соответственно делители \(3,5,7,11,13\).

Детали
Задача: NT-B2-M09-P012
Сложность: Уровень 4 из 5
Tag: Делимость
Grade: 10 класс, 11 класс
#9.13
#9.13

Составные тройки

Разложение на простые множители 10 класс 11 класс ★★★★☆

Докажите, что существует бесконечно много \(n\), для которых числа \(n\), \(n+2\), \(n+6\) одновременно составные.

Детали
Задача: NT-B2-M09-P013
Сложность: Уровень 4 из 5
Tag: Разложение на простые множители
Grade: 10 класс, 11 класс
#9.14
#9.14

Решения квадрата по модулю 840

Подсчёт 10 класс 11 класс ★★★★☆

Сколько решений имеет сравнение \(x^2\equiv 1\pmod {840}\)?

Детали
Задача: NT-B2-M09-P014
Сложность: Уровень 4 из 5
Tag: Подсчёт
Grade: 10 класс, 11 класс
#9.15
#9.15

Произвольные остатки

Китайская теорема об остатках 10 класс 11 класс ★★★★☆

Пусть \(m_1,\ldots,m_k\) — попарно взаимно простые положительные числа, а \(r_1,\ldots,r_k\) — любые целые числа. Докажите, что существует целое \(x\), для которого \(x\equiv r_i\pmod {m_i}\) при всех \(i\).

Детали
Задача: NT-B2-M09-P015
Сложность: Уровень 4 из 5
Tag: Китайская теорема об остатках
Grade: 10 класс, 11 класс
#9.16
#9.16

Длинный блок составных

Делимость 10 класс 11 класс ★★★★☆

Докажите, что для любого \(k\) существуют \(k\) последовательных составных положительных чисел.

Детали
Задача: NT-B2-M09-P016
Сложность: Уровень 4 из 5
Tag: Делимость
Grade: 10 класс, 11 класс
#9.17
#9.17

Назначенные большие простые

Разложение на простые множители 10 класс 11 класс ★★★★★

Докажите, что для любого \(k\) существуют \(k\) последовательных положительных чисел, каждое из которых делится на простой делитель, больший \(k\), причём эти простые делители можно выбрать попарно различными.

Детали
Задача: NT-B2-M09-P017
Сложность: Уровень 5 из 5
Tag: Разложение на простые множители
Grade: 10 класс, 11 класс
#9.18
#9.18

Избежать конечного набора остатков

Арифметика по модулю 10 класс 11 класс ★★★★★

Пусть заданы попарно взаимно простые модули \(m_1,\ldots,m_k\), и для каждого \(i\) запрещён один остаток \(a_i\pmod {m_i}\). Докажите, что существует бесконечно много целых \(x\), которые не сравнимы с \(a_i\) по модулю \(m_i\) ни при одном \(i\).

Детали
Задача: NT-B2-M09-P018
Сложность: Уровень 5 из 5
Tag: Арифметика по модулю
Grade: 10 класс, 11 класс
#9.19
#9.19

Много составных значений линейных выражений

Делимость 10 класс 11 класс ★★★★★

Пусть \(a_1,\ldots,a_k\) — различные целые числа. Докажите, что существует бесконечно много \(N\), для которых все числа \(N+a_1,\ldots,N+a_k\) составные.

Детали
Задача: NT-B2-M09-P019
Сложность: Уровень 5 из 5
Tag: Делимость
Grade: 10 класс, 11 класс
#9.20
#9.20

Ложная construction-идея

Китайская теорема об остатках 10 класс 11 класс ★★★★★

Пусть \(p_1,\ldots,p_k\) — различные нечётные простые числа. Верно ли, что можно выбрать целое \(x\), которое не сравнимо с \(\pm 1\) ни по одному из модулей \(p_i\), но удовлетворяет \(x^2\equiv 1\pmod {p_1p_2\cdots p_k}\)?

Детали
Задача: NT-B2-M09-P020
Сложность: Уровень 5 из 5
Tag: Китайская теорема об остатках
Grade: 10 класс, 11 класс

Лестницы

Опубликованных лестниц пока нет.
Предыдущая глава
Следующая глава