Глава

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

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

Теория

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

Китайская теорема об остатках позволяет строить число с несколькими заданными остатками одновременно. Для олимпиад это не только способ решить систему сравнений, но и метод построения чисел с заранее заданной делимостью.

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

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

  • Если \(\gcd(m,n)=1\), то система \(x\equiv a\pmod m\), \(x\equiv b\pmod n\) имеет единственное решение по модулю \(mn\).
  • Для нескольких попарно взаимно простых модулей решение единственно по модулю их произведения.
  • Система \(x\equiv a\pmod m\), \(x\equiv b\pmod n\) совместна тогда и только тогда, когда \(a\equiv b\pmod{\gcd(m,n)}\).
  • Если найдено одно решение \(x_0\), то все решения имеют вид \(x=x_0+k\operatorname{lcm}(m_1,\ldots,m_s)\).
  • Условия вида \(d\mid n+r\) удобно переписывать как \(n\equiv-r\pmod d\).

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

  • Нужно найти число с несколькими заданными остатками.
  • Нужно доказать существование числа с заданными делимостями \(n+a_i\).
  • Модуль большой, но распадается на взаимно простые части.
  • Нужно построить контрпример или бесконечную серию чисел.
  • Нужно доказать, что система сравнений невозможна из-за конфликта по общему делителю.

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

Если в задаче одновременно встречаются условия “при делении на \(3\)”, “при делении на \(5\)”, “делится на \(7\)”, почти всегда надо перевести их в систему сравнений. Если числа \(n+1,n+2,\ldots\) должны иметь разные делители, запишите отдельное сравнение для каждого сдвига.

Перед решением системы проверьте модули. Попарная взаимная простота дает прямой CRT; общие делители требуют проверки совместимости.

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

  • Сразу перемножают модули, хотя они не взаимно просты.
  • Забывают, что ответ задается по модулю НОК, а не обязательно по произведению модулей.
  • Для условия \(d\mid n+r\) записывают \(n\equiv r\pmod d\) вместо \(n\equiv-r\pmod d\).
  • Находят одно решение, но не указывают все решения.
  • В конструкциях забывают проверить, что полученные числа действительно больше своих нетривиальных делителей.

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

  • Все условия уже записаны как сравнения?
  • Модули попарно взаимно просты?
  • Если нет, согласованы ли остатки по НОД?
  • Какой общий модуль ответа: произведение или НОК?
  • Нужно найти наименьшее положительное решение или описать все?
  • Если это конструкция, почему она дает бесконечно много чисел?

Примеры

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

Базовый CRT: подставляем одно сравнение в другое.

Задача. Решите систему \(x\equiv2\pmod3\), \(x\equiv3\pmod5\).

Решение.

Пусть \(x=3k+2\). Тогда \(3k+2\equiv3\pmod5\), то есть \(3k\equiv1\pmod5\). Умножая на обратный к \(3\) элемент \(2\), получаем \(k\equiv2\pmod5\). Тогда \(x=3(5t+2)+2=15t+8\). Ответ: \(x\equiv8\pmod{15}\).

Комментарий. Модули \(3\) и \(5\) взаимно просты, поэтому ответ единственен по модулю \(15\).

Пример 2. Совместные не взаимно простые модули

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

Задача. Решите \(x\equiv4\pmod6\), \(x\equiv1\pmod9\).

Решение.

Общий делитель \(6\) и \(9\) равен \(3\). Остатки \(4\) и \(1\) сравнимы по модулю \(3\), значит, система совместна. Пусть \(x=6k+4\). Тогда \(6k+4\equiv1\pmod9\), то есть \(6k\equiv6\pmod9\). Делим на \(3\): \(2k\equiv2\pmod3\), откуда \(k\equiv1\pmod3\). Следовательно, \(x\equiv10\pmod{18}\).

Комментарий. Ответ идет по модулю \(\operatorname{lcm}(6,9)=18\).

Пример 3. Несовместимость

Иногда CRT нужен, чтобы быстро доказать отсутствие решений.

Задача. Докажите, что система \(x\equiv2\pmod6\), \(x\equiv4\pmod9\) не имеет решений.

Решение.

Из первого сравнения \(x\equiv2\pmod3\). Из второго \(x\equiv1\pmod3\). Одно число не может иметь два разных остатка по модулю \(3\). Значит, решений нет.

Комментарий. Это ровно проверка совместимости по НОД.

Пример 4. Построение числа

CRT строит число с заданными остатками без перебора большого диапазона.

Задача. Найдите наименьшее положительное \(n\), для которого \(n\equiv1\pmod2\), \(n\equiv2\pmod3\), \(n\equiv3\pmod5\).

Решение.

Проверяем числа \(n\equiv3\pmod5\): \(3,8,13,18,23,\ldots\). Среди них условие \(n\equiv2\pmod3\) выполняют \(8,23,\ldots\). Из них нечетное первое число \(23\). Ответ: \(23\). Все решения: \(n\equiv23\pmod{30}\).

Комментарий. Для малых модулей допустим аккуратный ручной поиск.

Пример 5. Бесконечно много решений

Найдя одно решение, мы автоматически получаем бесконечную серию.

Задача. Докажите, что существует бесконечно много \(n\), для которых \(n\equiv1\pmod2\), \(n\equiv2\pmod3\), \(n\equiv3\pmod5\).

Решение.

Из предыдущего примера одно решение \(n=23\). Так как модули \(2,3,5\) попарно взаимно просты, все решения имеют вид \(n=23+30t\), где \(t\in\mathbb Z\). При \(t=0,1,2,\ldots\) получаем бесконечно много положительных решений.

Комментарий. CRT часто дает не одно число, а целую арифметическую прогрессию.

Пример 6. Делимость сдвигов

Условия на \(n+r\) переводятся в остатки для \(n\).

Задача. Найдите наименьшее положительное \(n\), для которого \(5\mid n+1\), \(7\mid n+2\), \(11\mid n+3\).

Решение.

Перепишем: \(n\equiv-1\pmod5\), \(n\equiv-2\pmod7\), \(n\equiv-3\pmod{11}\). То есть \(n\equiv4\pmod5\), \(n\equiv5\pmod7\), \(n\equiv8\pmod{11}\). Проверка дает \(n=19\): \(20\) делится на \(5\), \(21\) на \(7\), \(22\) на \(11\). Все решения: \(n\equiv19\pmod{385}\).

Комментарий. Это типичный язык конструкций в CRT.

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

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

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

Решение.

Возьмем \(N=6!\). Тогда числа \(N+2,N+3,N+4,N+5,N+6\) делятся соответственно на \(2,3,4,5,6\). Каждое из них больше соответствующего делителя, значит, все они составные. Это \(5\) последовательных чисел.

Комментарий. Факториал - частный, очень быстрый вариант CRT-конструкции.

Пример 8. Невозможная конструкция

Не всякая система остатков существует.

Задача. Есть ли число \(x\), для которого \(x\equiv4\pmod6\) и \(x\equiv9\pmod{10}\)?

Решение.

Первое сравнение дает \(x\equiv0\pmod2\), второе дает \(x\equiv1\pmod2\). Противоречие. Поэтому такого числа нет.

Комментарий. Самый быстрый тест - сравнить остатки по общему делителю \(2\).

Задачи

Задачи

#13.1
#13.1

Система \(4\) и \(5\)

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

Найдите наименьшее положительное \(x\), для которого \(x\equiv1\pmod4\), \(x\equiv2\pmod5\).

Детали
Задача: NT-B1-M08-P001
Сложность: Уровень 1 из 5
Tag: Китайская теорема об остатках
Grade: 8 класс, 9 класс
#13.2
#13.2

Система \(5\) и \(7\)

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

Найдите наименьшее положительное \(x\), для которого \(x\equiv4\pmod5\), \(x\equiv6\pmod7\).

Детали
Задача: NT-B1-M08-P002
Сложность: Уровень 1 из 5
Tag: Китайская теорема об остатках
Grade: 8 класс, 9 класс
#13.3
#13.3

Система \(8\) и \(9\)

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

Решите систему \(x\equiv5\pmod8\), \(x\equiv7\pmod9\).

Детали
Задача: NT-B1-M08-P003
Сложность: Уровень 1 из 5
Tag: Китайская теорема об остатках
Grade: 8 класс, 9 класс
#13.4
#13.4

Конфликт по четности

Линейные сравнения 8 класс 9 класс ★☆☆☆☆

Докажите, что система \(x\equiv1\pmod2\), \(x\equiv0\pmod4\) не имеет решений.

Детали
Задача: NT-B1-M08-P004
Сложность: Уровень 1 из 5
Tag: Линейные сравнения
Grade: 8 класс, 9 класс
#13.5
#13.5

Одинаковые остатки

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

Опишите все \(x\), для которых \(x\equiv3\pmod5\) и \(x\equiv3\pmod7\).

Детали
Задача: NT-B1-M08-P005
Сложность: Уровень 1 из 5
Tag: Китайская теорема об остатках
Grade: 8 класс, 9 класс
#13.6
#13.6

Три модуля

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

Найдите наименьшее положительное \(x\), для которого \(x\equiv1\pmod3\), \(x\equiv2\pmod4\), \(x\equiv3\pmod5\).

Детали
Задача: NT-B1-M08-P006
Сложность: Уровень 2 из 5
Tag: Китайская теорема об остатках
Grade: 8 класс, 9 класс
#13.7
#13.7

Сдвиги \(n+1,n+2,n+3\)

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

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

Детали
Задача: NT-B1-M08-P007
Сложность: Уровень 2 из 5
Tag: Китайская теорема об остатках
Grade: 8 класс, 9 класс
#13.8
#13.8

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

Линейные сравнения 8 класс 9 класс ★★☆☆☆

Решите систему \(x\equiv5\pmod8\), \(x\equiv9\pmod{12}\).

Детали
Задача: NT-B1-M08-P008
Сложность: Уровень 2 из 5
Tag: Линейные сравнения
Grade: 8 класс, 9 класс
#13.9
#13.9

Еще одна совместная система

Линейные сравнения 8 класс 9 класс ★★☆☆☆

Решите \(x\equiv4\pmod6\), \(x\equiv10\pmod{15}\).

Детали
Задача: NT-B1-M08-P009
Сложность: Уровень 2 из 5
Tag: Линейные сравнения
Grade: 8 класс, 9 класс
#13.10
#13.10

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

Линейные сравнения 8 класс 9 класс ★★☆☆☆

Докажите, что система \(x\equiv4\pmod6\), \(x\equiv9\pmod{10}\) не имеет решений.

Детали
Задача: NT-B1-M08-P010
Сложность: Уровень 2 из 5
Tag: Линейные сравнения
Grade: 8 класс, 9 класс
#13.11
#13.11

Остатки \(2,4,6\)

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

Найдите наименьшее положительное \(x\), для которого \(x\equiv2\pmod3\), \(x\equiv4\pmod5\), \(x\equiv6\pmod7\).

Детали
Задача: NT-B1-M08-P011
Сложность: Уровень 2 из 5
Tag: Китайская теорема об остатках
Grade: 8 класс, 9 класс
#13.12
#13.12

Четыре модуля

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

Найдите наименьшее положительное \(x\), для которого \(x\equiv1\pmod2\), \(x\equiv2\pmod3\), \(x\equiv3\pmod5\), \(x\equiv4\pmod7\).

Детали
Задача: NT-B1-M08-P012
Сложность: Уровень 2 из 5
Tag: Китайская теорема об остатках
Grade: 8 класс, 9 класс
#13.13
#13.13

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

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

Докажите, что система \(x\equiv a\pmod m\), \(x\equiv b\pmod n\) имеет решение тогда и только тогда, когда \(a\equiv b\pmod{\gcd(m,n)}\).

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

Четыре составных подряд

Построение 9 класс 10 класс ★★★☆☆

Найдите такое \(n\), что \(n+2,n+3,n+4,n+5\) - составные числа.

Детали
Задача: NT-B1-M08-P014
Сложность: Уровень 3 из 5
Tag: Построение
Grade: 9 класс, 10 класс
#13.15
#13.15

Сколько угодно составных подряд

Построение 9 класс 10 класс ★★★☆☆

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

Детали
Задача: NT-B1-M08-P015
Сложность: Уровень 3 из 5
Tag: Построение
Grade: 9 класс, 10 класс
#13.16
#13.16

Три заданных делителя

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

Найдите все \(n\), для которых \(5\mid n+1\), \(7\mid n+2\), \(11\mid n+3\).

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

Сдвиги с \(3,5,7\)

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

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

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

Система с модулем \(900\)

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

Решите систему \(x\equiv3\pmod4\), \(x\equiv7\pmod9\), \(x\equiv12\pmod{25}\).

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

Остатки по \(5,8,9\)

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

Найдите наименьшее положительное \(x\), если \(x\equiv1\pmod5\), \(x\equiv3\pmod8\), \(x\equiv4\pmod9\).

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

Остатки по \(7,9,11\)

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

Найдите наименьшее положительное \(x\), для которого \(x\equiv2\pmod7\), \(x\equiv5\pmod9\), \(x\equiv8\pmod{11}\).

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

CRT для нескольких модулей

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

Пусть \(m_1,\ldots,m_s\) попарно взаимно просты. Объясните, почему система \(x\equiv a_i\pmod{m_i}\) имеет бесконечно много целых решений.

Детали
Задача: NT-B1-M08-P021
Сложность: Уровень 4 из 5
Tag: Китайская теорема об остатках
Grade: 9 класс, 10 класс
#13.22
#13.22

Заданные делители сдвигов

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

Пусть \(d_1,\ldots,d_k\) попарно взаимно просты. Докажите, что существует бесконечно много \(n\), для которых \(d_i\mid n+i\) при всех \(i=1,\ldots,k\).

Детали
Задача: NT-B1-M08-P022
Сложность: Уровень 4 из 5
Tag: Китайская теорема об остатках
Grade: 9 класс, 10 класс
#13.23
#13.23

Блок с заданными простыми делителями

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

Докажите, что существуют \(6\) последовательных натуральных чисел, каждое из которых делится на один из чисел \(5,7,11,13,17,19\) соответственно.

Детали
Задача: NT-B1-M08-P023
Сложность: Уровень 4 из 5
Tag: Китайская теорема об остатках
Grade: 9 класс, 10 класс
#13.24
#13.24

Последовательные несвободные от квадратов числа

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

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

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

Лестницы

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