"Математика: алгебра и начала математического анализа, геометрия. Алгебра и начала математического анализа (базовый и углублённый уровни)", Никольский С.М., Потапов М.К., Решетников Н.Н. и др.
Сравнение по модулю m показывает, что два целых числа отличаются на число, кратное m, и потому имеют одинаковый остаток при делении на m. Эта идея помогает заменять большие числа более удобными остатками, упрощать вычисления степеней и проверять делимость. Сравнения можно складывать, вычитать и перемножать, но сокращать общий множитель допустимо не всегда: для этого нужно проверить его связь с модулем.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Запись a ≡ b (mod m) называют сравнением по модулю m; она означает, что разность a − b делится на натуральное число m. Например, 17 ≡ 5 (mod 12), потому что 17 − 5 = 12. Сравнение помогает замечать, что числа отличаются на целое число групп по m, хотя сами они могут быть разными.
При делении чисел на m сравнимые числа дают одинаковые остатки. Поэтому в сравнении можно заменить число другим, если их разность делится на m. Это свойство позволяет вместо громоздкого числа работать с более простым остатком.
Наименьший неотрицательный остаток числа — это единственное число r, для которого 0 ≤ r < m и данное число сравнимо с r по модулю m. Например, для −2 по модулю 7 такой остаток равен 5, поскольку −2 ≡ 5 (mod 7). Стандартный диапазон помогает однозначно записывать результат.
Полная система остатков по модулю m — набор из m чисел, среди которых каждому целому числу соответствует ровно одно сравнимое число. Например, 0, 1, 2, 3, 4 образуют полную систему остатков по модулю 5. Такие наборы позволяют перечислить все возможные остатки без повторов.
Сравнимость определяется делимостью разности: если a − b = km для некоторого целого k, то между a и b помещается целое число полных групп по m. При делении этих чисел на m полные группы не влияют на остаток, поэтому остатки совпадают. И наоборот, одинаковые остатки означают, что разность чисел кратна m.
У любого целого числа при делении на m есть единственный остаток от 0 до m − 1. Единственность важна: если бы для одного числа подходили два разных таких остатка, их разность была бы кратна m, хотя по величине она меньше m. Это невозможно, поэтому остаток можно использовать как однозначную замену числа.
Если a ≡ b (mod m) и c ≡ d (mod m), то разности a − b и c − d делятся на m. Их сумма и разность также делятся на m, поэтому a + c ≡ b + d и a − c ≡ b − d (mod m). При умножении разность произведений можно представить как a(c − d) + d(a − b); оба слагаемых кратны m, значит, ac ≡ bd (mod m).
По той же причине можно возводить сравнимые числа в натуральную степень: произведение одинакового числа сравнений сохраняет модуль. Сначала заменяют основание его остатком, затем вычисляют степень и снова находят остаток. Так, вместо возведения большого числа можно работать с небольшим числом, которое ему сравнимо.
Сокращение общего множителя требует отдельной проверки, потому что делитель m может иметь общие множители с числом, которое сокращают. Из ax ≡ ay (mod m) следует, что m делит a(x − y). Если a и m взаимно просты, то делимость произведения на m вынуждает m делить x − y; если же у них есть общий делитель, такой вывод не всегда верен.
| Понятие или действие | Содержание |
|---|---|
| Определение сравнения | a ≡ b (mod m), если m делит a − b. |
| Критерий через остатки | Сравнимые числа имеют одинаковые остатки при делении на m. |
| Сложение и вычитание сравнений | Сравнения с одинаковым модулем можно складывать и вычитать. |
| Умножение сравнений | Сравнения с одинаковым модулем можно перемножать. |
| Возведение в натуральную степень | Сравнимые числа можно возвести в одну и ту же натуральную степень. |
| Условие сокращения общего множителя | Множитель сокращают, если он взаимно прост с модулем. |
Для проверки сравнения удобнее всего сначала использовать определение и проверить разность. Для вычислений можно переходить к остаткам и применять правила действий из таблицы. Перед сокращением общего множителя отдельно проверь, взаимно ли прост он с модулем.
Сравнение верно, если разность чисел делится на 6. Нет необходимости отдельно делить 35 и −1: требуется проверить именно разность левой и правой частей. Если она кратна модулю, запись верна.
Ответ: 35 ≡ −1 (mod 6) — верное сравнение.
Большое число 38 сначала заменим его остатком по модулю 7. Возведение сравнения в квадрат сохраняет модуль, поэтому вместо 38² достаточно вычислить квадрат найденного остатка. В конце снова приведём результат к диапазону от 0 до 6.
Ответ: наименьший неотрицательный остаток равен 2.
Нужно найти такой остаток x, чтобы после умножения на 7 получалось число, сравнимое с 5 по модулю 12. Так как 7 и 12 взаимно просты, множитель 7 можно обратить: найдём число, произведение которого на 7 сравнимо с 1. Затем умножим обе части сравнения на это число.
Ответ: x ≡ 11 (mod 12), то есть подходят все целые числа, дающие остаток 11 при делении на 12.
Считать a ≡ b (mod m) равенством a = b — ошибка: сравнение допускает разные числа, если их разность кратна модулю. Путаница возникает из-за знака, похожего на равенство. Чтобы проверить себя, вычисли a − b: например, 17 и 5 не равны, но сравнимы по модулю 12.
Проверять делимость каждого числа по отдельности неверно: условие относится к разности a − b. Например, для 35 и −1 нужно проверить 36 на делимость на 6, а не выяснять, делятся ли на 6 сами числа. Перед выводом о сравнении всегда запиши разность.
Остаток иногда записывают отрицательным или большим либо равным m, не приводя его к стандартному виду. Это может скрыть нужный ответ, если требуется наименьший неотрицательный остаток. Проверь, что записанное число находится в диапазоне 0 ≤ r < m.
Сокращение множителя без проверки условия может привести к потере решений. Обычно так делают по привычке, как при обычном уравнении, но делимость произведения не всегда означает делимость его множителя на m. Перед сокращением найди общий делитель множителя и модуля: сокращение гарантировано, когда их наибольший общий делитель равен 1.
Для работы со сравнениями нужны делимость целых чисел и деление с остатком. Свойства делимости суммы и произведения объясняют, почему сравнения сохраняются при арифметических действиях. Если эти правила известны, определение через разность легко применять на практике.
Сравнения по модулю упрощают вычисления с большими числами и степенями: вместо исходного числа можно взять его остаток. Они также помогают проверять делимость и находить повторяющиеся числовые закономерности. Это особенно удобно, когда напрямую вычислять большие значения трудно.
Дальше сравнения используют при решении линейных сравнений, где требуется найти подходящие остатки неизвестного. Этот инструмент также помогает описывать числовые закономерности и повторения. Поэтому важно понимать и правила действий, и условия сокращения.
Что означает запись a ≡ b (mod m)?
Она означает, что разность a − b делится на m без остатка. Иными словами, a и b имеют одинаковый остаток при делении на m.
Как проверить, сравнимы ли два числа по модулю m?
Вычти одно число из другого и проверь, делится ли результат на m. Например, 35 − (−1) = 36 делится на 6, поэтому 35 ≡ −1 (mod 6).
Может ли остаток быть отрицательным?
При делении с остатком в записи числа иногда используют отрицательное число, сравнимое с остатком. Но наименьший неотрицательный остаток всегда выбирают в диапазоне от 0 до m − 1.
Какие действия можно выполнять с сравнениями?
Сравнения с одним и тем же модулем можно складывать, вычитать и перемножать. Также можно возводить сравнимые числа в натуральную степень.
Когда можно сокращать общий множитель в сравнении?
В сравнении ax ≡ ay (mod m) множитель a можно сократить, если a и m взаимно просты, то есть не имеют общих делителей, кроме 1. Если это условие не выполнено, сокращение может изменить множество решений.
1.9. Сравнения по модулю m
