Китайская теорема об остатках
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Петя, Вася и Иван каждый на своей карточке написал наугад по одной цифре и передали карточки Маше так, чтобы она не видела
написанных цифр. Маша случайным образом перемешала карточки и выложила их в ряд на стол. Найти вероятность того, что на столе
можно увидеть трехзначное число, кратное и имеющее при делении на
остаток
Источники:
Подсказка 1
Так-с, кажется эта задача на вероятности. А точно ли на вероятности? Понятно, что всего возможных исходов ровно 1000. Давайте тогда будем считать благоприятные исходы, а результат потом поделим на 1000.
Подсказка 2
Кажется, что данное условие про делимость мы можем записать в виде уравнения. Немного порешав уравнение в целых числах, мы поймём какие x нам будут подходить. Осталось посчитать количество подходящих чисел!
Можно считать, что мы получаем на столе равновероятно любое число от (на трёх карточках могут быть нули) до
.
Тогда для вычисления вероятности нужно число благоприятных исходов поделить на число возможных исходов — на
Первое решение.
Используя Китайскую теорему об остатках, получаем, что среди любых подряд идущих чисел нам подходит ровно одно с остатком
по модулю
. Первое такое трёхзначное число —
, затем идут
: всего чисел
. Осталось поделить
на
и получить ответ.
Второе решение.
По условию искомое трёхзначное число кратно
и при делении на
даёт остаток
, то есть
С учётом этих условий получаем
Осталось учесть условие на трёхзначность:
Подходят значений
.
Ошибка.
Попробуйте повторить позже
Подсказка 1, пункт а
Если число не является простым, то у него есть хотя бы два простых делителя. Число x можно выбрать так, чтобы оно делилось на 2 × 3 = 6. А какими свойствами удобно было бы наделить число x + 1?
Подсказка 2, пункт а)
Верно! Удобно сделать так, чтобы x + 1 делилось на 5 × 7. Подходящее x существует по китайской теореме об остатках. А можно ли аналогичным образом построить x + 2, ..., x + 999?
Подсказка 1, пункт б)
Если число делится на простое p, но не делится на p², то оно нам подходит. Можно ли, пользуясь этим замечанием, построить подходящую последовательность?
Чтобы число не было степенью никакого простого числа, то у него должно быть хотя бы 2 простых делителя. Давайте с помощью КТО
найдем такое , что
(mod
)
(mod
)
... (mod
)
Тогда такой ряд , ....,
подойдет.
Во втором пункте, заметим, что если у числа есть простой делитель ровно в первой степени, то оно точно не степень, то есть если число
(mod
), где
— простое, то
делится на
и не делится на
и тогда
- хорошее
Опять же по КТО найдем такое , что:
(mod
)
(mod
)
... (mod
)
Тогда ряд , ....,
подойдет.
Ошибка.
Попробуйте повторить позже
Докажите, что числа натурального ряда можно переставить местами так, чтобы для всех сумма
первых чисел делилась на
Подсказка 1
Не будем сразу строить всю перестановку. Будем поэтапно добавлять все числа 1, 2, 3, … в последовательность, при необходимости оставляя места для будущих вставок. Подумайте, как при таком подходе поддерживать требуемую делимость на каждом шаге.
Подсказка 2
Попробуем начать строить последовательность с самого начала и подумаем, как можно поддерживать условие делимости на каждом шаге. Что произойдёт, если рассмотреть добавление сразу двух чисел подряд?
Подсказка 3
Для аккуратных рассуждений введём обозначения: пусть после n шагов сумма равна S, и мы хотим добавить числа k и m. Как можно записать условия делимости на n+1 и n+2 в виде сравнения? Какие значения n обращают это сравнение в верное?
Подсказка 4
Система сравнений для k и m решается благодаря китайской теореме об остатках. Проверим, почему решение всегда можно найти, и как при этом можно гарантировать, что все натуральные числа в итоге будут использованы.
Начнём с числа Пусть после некоторого шага поставлено первые
чисел, их сумма равна
и среди непоставленных чисел
минимальное равно
Добавим ещё два числа: сначала некоторое
затем
Хотим добиться
Это равносильно системе
Так как то по китайской теореме об остатках такая
существует и задаётся единственным классом вычетов по
модулю
Следовательно, подходящих
бесконечно много, и мы можем выбрать представителя этого класса настолько
большим, чтобы он ещё не встречался в последовательности и не равнялся
После добавления сумма первых
членов делится на
а после последующего добавления
сумма первых
членов
делится на
Число
по построению минимально отсутствующее, значит, в последовательности встретится каждое натуральное
число и никакое не встретится дважды.
Ошибка.
Попробуйте повторить позже
Существует ли такое целое кратное 4, что
кратно 9, а
кратно 25?
Подсказка
Попробуем применить Китайскую теорему об остатках. Что для этого нужно понять?
Нас спрашивают существует ли такое , что
(mod
);
(mod
);
(mod
). По КТО такой
существует, так
как 4, 9, 25 попарно взаимно просты.
Ошибка.
Попробуйте повторить позже
Вася хочет найти все целые числа такие, что выражение
делится на для всех целых
. Какие остатки может давать число
при делении на
Укажите все возможные ответы или
докажите, что таких целых чисел
нет.
Источники:
Подсказка 1
В задачах на делимость мы что делаем в первую очередь? Конечно, сравниваем выражение по модулю того числа, на которое оно должно делиться. Но 15 - число составное, с ним работать будет неудобно. Давайте перейдём для начала к сравнениям по модулю 3 и 5. Потом мы справимся найти остаток и по модулю 15. Нужно упростить наше выражение. Какую теорему можно вспомнить, чтобы это сделать?
Подсказка 2
Верно, есть малая теорема Ферма (она утверждает, что n^p сравнимо с n по модулю p), к тому же здесь удачно совпали степени. Попробуйте упростить теперь наше выражение по модулю 3 и 5. Как же можно в лоб найти остаток a?
Подсказка 3
Ага, мы нашли, что остаток при делении на 3 и 5 число -1. Теперь можно просто перебрать числа дающие остаток -1 по модулю 3, чтобы какой-то из них совпал по модулю 5. Китайская теорема об остатках утверждает, что такое число существует и единственное. Несложным перебором получается ответ, победа!
Первое решение.
По малой теореме Ферма и
Теперь взглянем на исходное выражение по модулю
Теперь взглянем на исходное выражение по модулю
Итак, и
. По Китайской теореме об остатках решение такой системы сравнений по модулю, равном произведению
модулей, существует и единственно, легко находим, что это
Второе решение.
Подставим и получим, что если такое
и существует, то
должно делится на
то есть
должно давать остаток
при делении на
Осталось проверить, что если
, то указанное выражение делится на
для любого натурального
Докажем это утверждение индукцией по (для
делимость очевидна, для отрицательных
доказывается аналогично или
сводится к случаю положительного
заменой
. Если
, утверждение уже проверено. Предположим теперь, что мы уже
доказали, что
делится на
и докажем, что
также делится на
Посмотрим на
разность этих двух выражений:
После раскрытия скобок все слагаемые в правой части, кроме , делятся на
но
делится на
поскольку
Ошибка.
Попробуйте повторить позже
Найдите количество натуральных чисел не превосходящих
и таких, что
делится нацело на
.
Подсказка 1
Разность квадратов делится на составное число. Какие делимости на меньшие числа тогда можно рассмотреть?
Подсказка 2
Рассмотрим делимость на 89. (k-1)(k+1) делится на 89, что это может значить? Разберем случаи!
Подсказка 3
Ровно одна из скобок делится на 89. Пусть, например, k+1. Как тогда можно записаться k?
Подсказка 4
k = 89p + 88, p — целое. Отлично, с делимостью на 89 разобрались, но ведь нам нужна делимость на 445...
Подсказка 5
Получаем, что (89p + 87)(p+1) делится на 5. Тогда можно найти вид p ;) Аналогично нужно разобраться со случаем, когда на 89 делится другая скобка!
Первое решение.
Разложив делимое и делитель на множители, получаем условие . Значит, одно из чисел
или
делится на 89 . Рассмотрим два случая.
a) , т.е.
. Тогда получаем
. Первый множитель
делится на 5 при
, а второй — при
, откуда получаем, что
.
б) , т.е.
. Тогда получаем
. Первый множитель делится на 5 при
, а второй — при
, откуда получаем, что
,
.
Итак, условию задачи удовлетворяют числа, дающие остатки при делении на 445, то есть подходят каждые 4 из 445
подряд идущих чисел. Так как
, получаем
чисел.
_________________________________________________________________________________________________________________________________________________________________________________
Второе решение.
.
. Числа 5 и 89 простые, поэтому существует 4 случая:
Для каждого такого случая существует ровно одно решение по модулю (по КТО), так как если бы существовала
и
для, например, третьего случая, то
и значит,
и делится на 445, то есть
.
Отсюда все числа от 1 до 445000 разбиваются на группы по 445 в каждой, из которых есть ровно 4 решения.
Ошибка.
Попробуйте повторить позже
Найдите наименьшее натуральное число, дающее остаток 2 при делении на 3, остаток 3 при делении на 4, остаток 4 при делении на 5, остаток 5 при делении на 6 и остаток 6 при делении на 7.
Нам дано: (mod 3);
(mod 4);
(mod 5);
(mod 6);
(mod 7)
Это можно переписать, как (mod 3);
(mod 4);
(mod 5);
(mod 6);
(mod 7)
Тогда делится на 3, 4, 5, 6, 7 и на их НОК(3, 4, 5, 6, 7) = 420. Тогда минимальное подходящее
равно 419.
Ошибка.
Попробуйте повторить позже
Китайская теорема об остатках, частный случай Пусть есть два взаимно простых модуля и
(НОД(
,
) = 1) и есть два
остатка
и
. Тогда существует такое число
, что
(mod
);
(mod
).
Давайте рассмотрим чисел, которые дают остаток
при деление на
.
Если мы докажем, что тут все остатки разные по модулю, то среди них точно будет число с остатком по модулю
, то есть
мы хотим доказать, что наш набор чисел - это ПСВ по модулю
(набор из
чисел с разными остатками по модулю
).
Это так, потому что набор ,
,
, ...,
можно получить из ПСВ
, если сначала домножить на
(так можно делать, так как НОД(
,
) = 1), а затем прибавив
к каждому.
Что же делать, если у нас есть еще условие (mod
) и НОД(
,
) = НОД(
,
) = 1? Давайте тогда сначала найдем по
только что доказанной теореме такое
, что
(mod
);
(mod
). Так как НОД(
,
) = НОД(
,
) = 1, то и НОД(
,
) = 1, поэтому давайте еще раз используем КТО и найдем такое число
(mod
) и
(mod
). Тогда
делится и на
, и на
и
(mod
);
(mod
),
(mod
)
то есть мы опять нашли подходящее .
Ошибка.
Попробуйте повторить позже
Китайская теорема об остатках Пусть числа ,
, . . . ,
попарно взаимно просты. Тогда для любых целых
,
, . . . ,
найдется целое число
такое, что
(mod
) для всех
. Более того,
определен однозначно с точностью до прибавления
кратного
.
Давайте каждому числу от 1 до сопоставим набор из остатков по модулям
,
, . . . ,
(
,
, ...,
).
Сколько максимум может существовать различных наборов остатков? Для у нас
вариантов, для
у нас
вариантов и т.
д., то есть всего
остатков.
Могут ли у двух чисел совпадать наборы остатков? Пусть могут и у и
наборы остатков одинаковые. Тогда для любого
делится на
, то есть
делится на
, так как числа попарно взаимно просты, но
и
от 1 до
.
Противоречие, то есть все наборы разные.
Так как наборов у нас всего и все они разные, то каждый набор остатков встречается и ровно 1 раз.