Сравнение по модулю

Запрос «Модульная арифметика»^[d] перенаправляется сюда. На эту тему нужно создать отдельную статью.

Сравне́ние двух целых чисел по мо́дулю натурального числа $m$$m$ — математическая операция, позволяющая ответить на вопрос о том, дают ли два выбранных целых числа при делении на $m$$m$ один и тот же остаток. Любое целое число при делении на $m$$m$ дает один из $m$$m$ возможных остатков: число от 0 до $m-<!--\; -\; -->1$$m-1$; это значит, что все целые числа можно разделить на $m$$m$ групп, каждая из которых отвечает определённому остатку от деления на $m$$m$. Эти группы называются классами вычетов по модулю $m$$m$, а содержащиеся в них целые числа — вычетами по модулю $m$$m$^[⇨].

Арифметические операции с остатками чисел по фиксированному модулю образуют мо́дульную арифме́тику или модуля́рную арифметику, которая широко применяется в математике, информатике и криптографии.

ИсторияПравить

Предпосылкой к созданию теории сравнений стало восстановление сочинений Диофанта, которые были выпущены в подлиннике и с латинским переводом, благодаря Баше де Мезириаку, в 1621 году. Их изучение привело Ферма́ к открытиям, которые по значению существенно опередили своё время. Например, в письме к Френиклю де Бесси^ru_fr 18 октября 1640 года он сообщил без доказательства теорему, впоследствии получившую название малой теоремы Ферма. В современной формулировке теорема утверждает, что если $p$$p$  — простое число и $a$$a$  — целое число, не делящееся на $p$$p$ , то

$a^{p-<!--\; -\; -->1}\equiv <!--\; \equiv \; -->1(\mathrm{mod}p)$$a^{p-1}\equiv 1{\pmod {p}}$  .

Первое доказательство этой теоремы принадлежит Лейбницу, причём он открыл указанную теорему независимо от Ферма́ не позднее 1683 года и сообщил об этом с приведением точного доказательства Бернулли. Кроме этого, Лейбницем был предложен прообраз формулировки теоремы Вильсона.

Позже изучение вопросов, посвященных теории чисел и теории сравнений, было продолжено Эйлером, который ввел квадратичный закон взаимности и обобщил теорему Ферма, установив, что

$a^{\mathrm{\phi <!--\; \phi \; -->}(n)}\equiv <!--\; \equiv \; -->1(\mathrm{mod}n),$$a^{\varphi (n)}\equiv 1{\pmod {n}},$ 

где $\mathrm{\phi <!--\; \phi \; -->}(n)$$\varphi (n)$  — функция Эйлера.

Понятие и символьное обозначение сравнений было введено Гауссом, как важный инструмент для обоснования его арифметической теории, работа над которой была начата им в 1797 году. В начале этого периода Гауссу ещё не были известны труды его предшественников, поэтому результаты его работы, изложенные в первых трёх главах его книги «Арифметические исследования» (1801 год), были в основном уже известны, однако методы, которые он использовал для доказательств, оказались абсолютно новыми, имеющими высшую важность для развития теории чисел. Используя эти методы, Гаусс преобразовал все накопленные до него сведения, связанные с операциями сравнения по модулю, в стройную теорию, которая впервые была изложена в этой же книге. Кроме этого, он исследовал сравнения первой и второй степени, теорию квадратичных вычетов и связанный с ней квадратичный закон взаимности.

ОпределенияПравить

Если два целых числа $a$$a$  и $b$$b$  при делении на $m$$m$  дают одинаковые остатки, то они называются сравнимыми (или равноостаточными) по модулю числа $m$$m$ .

Сравнимость чисел $a$$a$  и $b$$b$  записывается в виде формулы (сравнения):

$a\equiv <!--\; \equiv \; -->b(\mathrm{mod}m).$$a\equiv b{\pmod {m}}.$ 

Число $m$$m$  называется модулем сравнения.

Определение сравнимости чисел $a$$a$  и $b$$b$  по модулю $m$$m$  равносильно любому из следующих утверждений:

• разность чисел $a$$a$  и $b$$b$  делится на $m$$m$  без остатка;
• число $a$$a$  может быть представлено в виде $a=b+k\cdot <!--\; \cdot \; -->m$$a=b+k\cdot m$ , где $k$$k$  — некоторое целое число.

Доказательство

• Необходимость условий 1 и 2 доказывается следующим образом:

$a\equiv <!--\; \equiv \; -->b(\mathrm{mod}m).$$a\equiv b{\pmod {m}}.$ 

Тогда в предположении, что

$a=n_{1}m+r,\;0\leqslant r<m,$ 

$b=n_{2}m+r,\;0\leqslant r<m,$ 

выполняются 1 и 2:

$a-<!--\; -\; -->b=(n_{1}m+r)-<!--\; -\; -->(n_{2}m+r)=(n_1-<!--\; -\; -->n_2)m$$a-b=(n_{1}m+r)-(n_{2}m+r)=(n_{1}-n_{2})m$  (то есть, разность $a$$a$  и $b$$b$  делится на $m$$m$  без остатка);

$a=n_{1}m+r=n_{1}m+r+(n_{2}m-<!--\; -\; -->n_{2}m)=b+(n_1-<!--\; -\; -->n_2)m=b+km,$$a=n_{1}m+r=n_{1}m+r+(n_{2}m-n_{2}m)=b+(n_{1}-n_{2})m=b+km,$  где $k=n_1-<!--\; -\; -->n_2$$k=n_{1}-n_{2}$  (то есть, $a$$a$  может быть представлено в виде $a=b+km$$a=b+km$ ).

• Достаточность условий 1 и 2:

$a=b+km.$$a=b+km.$ 

Из доказательства необходимого условия число $b$$b$  представимо в виде:

$b=n_{2}m+r,\;0\leqslant r<m.$ 

Тогда

$a=b+km=(n_{2}m+r)+km=nm+r,\;0\leqslant r<m,$  где $n=k+n_2.$$n=k+n_{2}.$ 

Таким образом

$a\equiv <!--\; \equiv \; -->b(\mathrm{mod}m).$$a\equiv b{\pmod {m}}.$ 

Доказана равносильность определения условию 2, которое эквивалентно условию 1.

Например, числа 32 и −10 сравнимы по модулю 7, так как оба числа при делении на 7 дают остаток 4:

$32=7\cdot <!--\; \cdot \; -->4+4;$$32=7\cdot 4+4;$ 

$-<!--\; -\; -->10=7\cdot <!--\; \cdot \; -->(-<!--\; -\; -->2)+4.$$-10=7\cdot (-2)+4.$ 

Также числа 32 и -10 сравнимы по модулю 7, так как их разность $32-<!--\; -\; -->(-<!--\; -\; -->10)=42$$32-(-10)=42$  делится на 7 и к тому же имеет место представление

$32=6\cdot <!--\; \cdot \; -->7+(-<!--\; -\; -->10).$$32=6\cdot 7+(-10).$ 

Свойства сравнимости по модулюПравить

Для фиксированного натурального числа $m$$m$  отношение сравнимости по модулю $m$$m$  обладает следующими свойствами:

• свойством рефлексивности: для любого целого $a$$a$  справедливо $a\equiv <!--\; \equiv \; -->a(\mathrm{mod}m);$$a\equiv a{\pmod {m}};$ 
• свойством симметричности: если $a\equiv <!--\; \equiv \; -->b(\mathrm{mod}m),$$a \equiv b \pmod m,$  то $b\equiv <!--\; \equiv \; -->a(\mathrm{mod}m);$$b\equiv a{\pmod {m}};$ 
• свойством транзитивности: если $a\equiv <!--\; \equiv \; -->b(\mathrm{mod}m)$$a\equiv b{\pmod m}$  и $b\equiv <!--\; \equiv \; -->c(\mathrm{mod}m),$$b \equiv c \pmod m,$  то $a\equiv <!--\; \equiv \; -->c(\mathrm{mod}m).$$a \equiv c \pmod m.$ 

Таким образом, отношение сравнимости по модулю $m$$m$  является отношением эквивалентности на множестве целых чисел.

Кроме вышеперечисленных свойств, для сравнений справедливы следующие утверждения:

• любые два целых числа сравнимы по модулю 1;
• если числа $a$$a$  и $b$$b$  сравнимы по модулю $m$$m$ , и число $d$$d$  является делителем $m$$m$ , то $a$$a$  и $b$$b$  сравнимы по модулю $d$$d$ ;

Доказательство

Пусть

$a\equiv <!--\; \equiv \; -->b(\mathrm{mod}m).$$a\equiv b{\pmod {m}}.$ 

Следовательно

$a-<!--\; -\; -->b=mt,$$a-b=mt,$  где $t$$t$  — некое целое число.

Так как $d$$d$  является делителем числа $m$$m$ , то

$m=cd,$$m=cd,$  где $c$$c$  — некое целое число.

Следовательно

$a-<!--\; -\; -->b=mt=(cd)t=qd,$$a-b=mt=(cd)t=qd,$  где $q=ct,$$q=ct,$ 

и

$a\equiv <!--\; \equiv \; -->b(\mathrm{mod}d)$$a\equiv b{\pmod {d}}$ 

по определению.

• если числа $a$$a$  и $b$$b$  сравнимы по $k$$k$  модулям $m_1,m_2,...,m_k,$${m_{1},m_{2},...,m_{k}},$  то они сравнимы по модулю, равному наименьшему общему кратному модулей $m_1,m_2,...,m_k$${m_1, m_2, ..., m_k}$ .

Доказательство

Пусть

$a\equiv <!--\; \equiv \; -->b(\mathrm{mod}{m}_i),$$a\equiv b{\pmod {m_{i}}},$  где $i=1,2,...,k.$$i=1,2,...,k.$ 

Следовательно

$a-<!--\; -\; -->b=m_{i}t.$$a-b=m_{i}t.$ 

Так как разность $a-<!--\; -\; -->b$$a-b$  кратна каждому $m_i$$m_i$ , то она кратна и их наименьшему общему кратному.

Следствие:

Для того, чтобы числа $a$$a$  и $b$$b$  были сравнимы по модулю $m$$m$ , каноническое разложение на простые сомножители которого имеет вид

$m=\underset{i=1}{\overset{d}{\prod <!--\; \prod \; -->}}{p}_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i},$$m = \prod_{i=1}^d p_i^{\alpha_i},$ 

необходимо и достаточно, чтобы

$a\equiv <!--\; \equiv \; -->b(\mathrm{mod}{p}_i^{{\mathrm{\alpha <!--\; \alpha \; -->}}_i}),$$a\equiv b{\pmod {p_{i}^{\alpha _{i}}}},$  где $i=1,2,\dots <!--\; \dots \; -->,d$$i=1,2,\ldots ,d$ .

Операции со сравнениямиПравить

Сравнения по одному и тому же модулю обладают многими свойствами обычных равенств. Например, их можно складывать, вычитать и перемножать: если числа $a_1,a_2,\dots <!--\; \dots \; -->,a_n$$a_{1},a_{2},\ldots ,a_{n}$  и $b_1,b_2,\dots <!--\; \dots \; -->,b_n$$b_{1},b_{2},\ldots ,b_{n}$  попарно сравнимы по модулю $m$$m$ , то их суммы $a_1+a_2+\dots <!--\; \dots \; -->+a_n$$a_{1}+a_{2}+\ldots +a_{n}$  и $b_1+b_2+\dots <!--\; \dots \; -->+b_n$$b_{1}+b_{2}+\ldots +b_{n}$ , а также произведения $a_1\cdot <!--\; \cdot \; -->a_2\cdot <!--\; \cdot \; -->...\cdot <!--\; \cdot \; -->a_n$$a_1 \cdot a_2 \cdot ... \cdot a_n$  и $b_1\cdot <!--\; \cdot \; -->b_2\cdot <!--\; \cdot \; -->...\cdot <!--\; \cdot \; -->b_n$$b_1 \cdot b_2 \cdot ... \cdot b_n$  тоже сравнимы по модулю $m$$m$ :

$(a_1+a_2+\dots <!--\; \dots \; -->+a_n)\equiv <!--\; \equiv \; -->(b_1+b_2+\dots <!--\; \dots \; -->+b_n)(\mathrm{mod}m);$$(a_{1}+a_{2}+\ldots +a_{n})\equiv (b_{1}+b_{2}+\ldots +b_{n}){\pmod {m}};$ 

$(a_1\cdot <!--\; \cdot \; -->a_2\cdot <!--\; \cdot \; -->\dots <!--\; \dots \; -->\cdot <!--\; \cdot \; -->a_n)\equiv <!--\; \equiv \; -->(b_1\cdot <!--\; \cdot \; -->b_2\cdot <!--\; \cdot \; -->\dots <!--\; \dots \; -->\cdot <!--\; \cdot \; -->b_n)(\mathrm{mod}m).$$(a_{1}\cdot a_{2}\cdot \ldots \cdot a_{n})\equiv (b_{1}\cdot b_{2}\cdot \ldots \cdot b_{n}){\pmod {m}}.$ 

При этом нельзя выполнять эти операции со сравнениями, если их модули не совпадают.

К обеим частям сравнения можно прибавить одно и то же число $c$$c$ :

$(a+c)\equiv <!--\; \equiv \; -->(b+c)(\mathrm{mod}m).$$(a+c)\equiv (b+c){\pmod {m}}.$ 

Также можно перенести число из одной части сравнения в другую со сменой знака:

$a\equiv <!--\; \equiv \; -->(b+c)(\mathrm{mod}m);$$a\equiv (b+c){\pmod {m}};$ 

$(a-<!--\; -\; -->c)\equiv <!--\; \equiv \; -->b(\mathrm{mod}m).$$(a-c)\equiv b{\pmod {m}}.$ 

Если числа $a$$a$  и $b$$b$  сравнимы по модулю $m$$m$ , то их степени $a^k$$a^k$  и $b^k$$b^{k}$  тоже сравнимы по модулю $m$$m$  при любом натуральном $k$$k$ :

$a^k\equiv <!--\; \equiv \; -->b^k(\mathrm{mod}m).$$a^{k}\equiv b^{k}{\pmod {m}}.$ 

K любой из частей сравнения можно прибавить целое число, кратное модулю, то есть, если числа $a$$a$  и $b$$b$  сравнимы по модулю некоторого числа $m$$m$ , то и $a+t_1$$a + t_1$  сравнимо с $b+t_2$$b+t_{2}$  по модулю $m$$m$ , где $t_1$$t_{1}$  и $t_2$$t_{2}$  — произвольные целые числа, кратные $m$$m$ :

$(a+t_1)\equiv <!--\; \equiv \; -->(b+t_2)(\mathrm{mod}m).$$(a+t_{1})\equiv (b+t_{2}){\pmod {m}}.$ 

Также обе части сравнения и модуль можно умножить на одно и то же число, то есть, если числа $a$$a$  и $b$$b$  сравнимы по модулю некоторого целого числа $m$$m$ , то и числа $aq$$aq$  и $bq$$bq$  сравнимы по модулю числа $mq$$mq$ , где $q$$q$  — целое:

$aq\equiv <!--\; \equiv \; -->bq(\mathrm{mod}mq).$$aq\equiv bq{\pmod {mq}}.$ 

Сравнения, однако, нельзя, вообще говоря, делить друг на друга или на другие числа. Пример: $14\equiv <!--\; \equiv \; -->20(\mathrm{mod}6)$$14\equiv 20{\pmod {6}}$ , однако, сократив в 2 раза, мы получаем ошибочное сравнение: $7\equiv <!--\; \equiv \; -->10(\mathrm{mod}6)$$7\equiv 10{\pmod {6}}$ . Правила сокращения для сравнений следующие.

• Можно делить обе части сравнения на число, но только взаимно простое с модулем: если

$ad\equiv <!--\; \equiv \; -->bd(\mathrm{mod}m)$${ad} \equiv {bd} \pmod m$  и НОД$(d,m)=1,$${(d,m)=1},$  то

$a\equiv <!--\; \equiv \; -->b(\mathrm{mod}m)$$a \equiv b \pmod m$ .

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

• Можно одновременно разделить обе части сравнения и модуль на их общий делитель:

если $ac\equiv <!--\; \equiv \; -->bc(\mathrm{mod}mc)$${ac} \equiv {bc} \pmod {mc}$ , то $a\equiv <!--\; \equiv \; -->b(\mathrm{mod}m)$$a \equiv b \pmod m$ .

ПримерПравить

Применение сравнений позволяет легко получать разнообразные признаки делимости. Например, выведем признак делимости натурального числа N на 7. Запишем $N$$N$  в виде $10a+b$$10a+b$  (то есть отделим цифру единиц). Условие, что $N$$N$  делится нацело на 7, можно записать в виде: $10a+b\equiv <!--\; \equiv \; -->0(\mathrm{mod}7).$$10a+b\equiv 0{\pmod {7}}.$  Умножим это сравнение на $-<!--\; -\; -->2:$$-2:$ 

$-<!--\; -\; -->20a-<!--\; -\; -->2b\equiv <!--\; \equiv \; -->0(\mathrm{mod}7).$$-20a-2b\equiv 0{\pmod {7}}.$ 

Или, прибавив слева число $21a,$$21a,$  кратное модулю:

$a-<!--\; -\; -->2b\equiv <!--\; \equiv \; -->0(\mathrm{mod}7).$$a-2b\equiv 0{\pmod {7}}.$ 

Отсюда вытекает следующий признак делимости на 7: надо вычесть из числа десятков удвоенное число единиц, затем повторять эту операцию до тех пор, пока не получится двузначное или однозначное число; если оно делится на 7, то и исходное число делится. Например, пусть $N=22624.$$N=22624.$  Алгоритм проверки:

$N_1=2262-<!--\; -\; -->2\cdot <!--\; \cdot \; -->4=2254;N_2=225-<!--\; -\; -->2\cdot <!--\; \cdot \; -->4=217;N_3=21-<!--\; -\; -->2\cdot <!--\; \cdot \; -->7=7$$N_{1}=2262-2\cdot 4=2254;\ N_{2}=225-2\cdot 4=217;N_{3}=21-2\cdot 7=7$ 

Вывод: 22624 делится на 7.

Связанные определенияПравить

Классы вычетовПравить

Множество всех чисел, сравнимых с $a$$a$  по модулю $m$$m$ , называется классом вычетов $a$$a$  по модулю $m$$m$ , и обычно обозначается $[a{]}_m$$[a]_m$  или ${\stackrel{¯<!--\; ¯\; -->}{a}}_m$$\bar a_m$ . Таким образом, сравнение $a\equiv <!--\; \equiv \; -->b(\mathrm{mod}m)$$a\equiv b\pmod{m}$  равносильно равенству классов вычетов $[a{]}_m=[b{]}_m$$[a]_m=[b]_m$ .

Любое число класса вычетов называется вычетом по модулю $m$$m$ . Пусть для определённости $r$$r$  ― остаток от деления любого из представителей выбранного класса на $m$$m$ , тогда любое число $q$$q$  из этого класса вычетов можно представить в виде $q=mt+r$$q = mt + r$ , где $t$$t$  — целое. Вычет, равный остатку $r$$r$  ($q=r$$q=r$  при $t=0$$t=0$ ) называется наименьшим неотрицательным вычетом, а вычет $\mathrm{\rho <!--\; \rho \; -->}$$\rho$  ($q=\mathrm{\rho <!--\; \rho \; -->}$$q=\rho$ ), самый малый по абсолютной величине, называется абсолютно наименьшим вычетом. При $r<{\frac {m}{2}}$  получаем, что $\mathrm{\rho <!--\; \rho \; -->}=r$$\rho =r$ , в противном случае $\mathrm{\rho <!--\; \rho \; -->}=r-<!--\; -\; -->m$$\rho = r - m$ . Если $m$$m$  — чётное и $r=\frac{m}{2}$$r = \frac{m}{2}$ , то $\mathrm{\rho <!--\; \rho \; -->}=-<!--\; -\; -->\frac{m}{2}$$\rho = -\frac{m}{2}$ .

Поскольку сравнимость по модулю $m$$m$  является отношением эквивалентности на множестве целых чисел $\mathbb{Z}$$\mathbb {Z}$ , то классы вычетов по модулю $m$$m$  представляют собой классы эквивалентности; их количество равно $m$$m$ .

Множество всех классов вычетов по модулю $m$$m$  обозначается ${\mathbb{Z}}_m$$\mathbb {Z} _{m}$  или $\mathbb{Z}/m\mathbb{Z}$$\mathbb{Z}/m\mathbb{Z}$  или $\mathbb{Z}/(m)$$\mathbb{Z}/(m)$ .

Операции сложения и умножения на $\mathbb{Z}$$\mathbb {Z}$  индуцируют соответствующие операции на множестве ${\mathbb{Z}}_m$$\mathbb {Z} _{m}$ :

$[a{]}_m+[b{]}_m=[a+b{]}_m;$$[a]_{m}+[b]_{m}=[a+b]_{m};$ 

$[a{]}_m\cdot <!--\; \cdot \; -->[b{]}_m=[a\cdot <!--\; \cdot \; -->b{]}_m.$$[a]_{m}\cdot [b]_{m}=[a\cdot b]_{m}.$ 

Относительно этих операций множество ${\mathbb{Z}}_m$$\mathbb {Z} _{m}$  является конечным кольцом, а для простого $m$$m$  — конечным полем.

См. также: Мультипликативная группа кольца вычетов

Системы вычетовПравить

Система вычетов позволяет осуществлять арифметические операции над конечным набором чисел, не выходя за его пределы. Полная система вычетов по модулю $m$$m$  ― любой набор из $m$$m$  попарно несравнимых по модулю $m$$m$  целых чисел. Обычно в качестве полной системы вычетов по модулю $m$$m$  берётся одно из двух множеств:

• наименьшие неотрицательные вычеты, то есть числа:

$0,1,\dots <!--\; \dots \; -->,m-<!--\; -\; -->1$$0,1,\ldots ,m-1$ 

• или абсолютно наименьшие вычеты, состоящие в случае нечётного $m$$m$  из чисел

$0,\pm <!--\; \pm \; -->1,\pm <!--\; \pm \; -->2,\dots <!--\; \dots \; -->,\pm <!--\; \pm \; -->\frac{m-<!--\; -\; -->1}{2}$$0,\pm 1,\pm 2,\ldots ,\pm {\frac {m-1}{2}}$ ,

и в случае чётного $m$$m$  из чисел

$0,\pm <!--\; \pm \; -->1,\pm <!--\; \pm \; -->2,\dots <!--\; \dots \; -->,\pm <!--\; \pm \; -->\left(\frac{m}{2}-<!--\; -\; -->1\right),-<!--\; -\; -->\frac{m}{2}$$0,\pm 1,\pm 2,\ldots ,\pm \left({\frac {m}{2}}-1\right),-{\frac {m}{2}}$ 

Максимальный набор попарно несравнимых по модулю $m$$m$  чисел, взаимно простых с $m$$m$ , называется приведённой системой вычетов по модулю $m$$m$ . Всякая приведённая система вычетов по модулю $m$$m$  содержит $\mathrm{\phi <!--\; \phi \; -->}(m)$$\varphi(m)$  элементов, где $\mathrm{\phi <!--\; \phi \; -->}(\cdot <!--\; \cdot \; -->)$$\varphi (\cdot )$  — функция Эйлера.

Например, для числа $m=42$$m=42$  полная система вычетов может быть представлена числами 0, 1, 2, 3, …, 21, 22, 23, …, 39, 40, 41, а приведённая — 1, 5, 11, 13, 17, 19, 23, 25, 29, 31, 37, 41.

Сравнения в кольце многочленов над полемПравить

Рассматривается кольцо многочленов $K[x]$$K[x]$  над полем $K$$K$ . Два многочлена $g_1$$g_{1}$  и $g_2$$g_{2}$ , принадлежащие выбранному кольцу, называются сравнимыми по модулю многочлена $f$$f$ , если их разность $g_1-<!--\; -\; -->g_2$$g_1-g_2$  делится на $f$$f$  без остатка. Сравнение обозначается следующим образом:

$g_1\equiv <!--\; \equiv \; -->g_2(\mathrm{mod}f).$$g_{1}\equiv g_{2}{\pmod {f}}.$ 

Так же, как и в кольце целых чисел, такие сравнения можно складывать, вычитать и перемножать.

Решение сравненийПравить

Сравнения первой степениПравить

В теории чисел, криптографии и других областях науки часто возникает задача поиска решений сравнения первой степени вида

$a\cdot <!--\; \cdot \; -->x\equiv <!--\; \equiv \; -->b(\mathrm{mod}m).$$a\cdot x\equiv b{\pmod {m}}.$ 

Решение такого сравнения начинается с вычисления $d=$$d =$  НОД$(a,m)$$(a,m)$ . При этом возможны два случая:

• если $b$$b$  не кратно $d$$d$ , то у сравнения нет решений;
• если $b$$b$  кратно $d$$d$ , то у сравнения существует единственное решение по модулю $\frac{m}{d}$$\frac{m}{d}$ , или, что то же самое, $d$$d$  решений по модулю $m$$m$ . В этом случае в результате сокращения исходного сравнения на $d$$d$  получается сравнение:

$a_{1}x\equiv <!--\; \equiv \; -->b_1(\mathrm{mod}{m}_1),$$a_{1}x\equiv b_{1}{\pmod {m_{1}}},$ 

где $a_1=\frac{a}{d},$$a_{1}={\frac {a}{d}},$  $b_1=\frac{b}{d}$$b_1 = \frac{b}{d}$  и $m_1=\frac{m}{d}$$m_1 = \frac{m}{d}$  являются целыми числами, причём $a_1$$a_{1}$  и $m_1$$m_1$  взаимно просты. Поэтому число $a_1$$a_{1}$  можно обратить по модулю $m_1$$m_1$ , то есть найти такое число $c$$c$ , что $c\cdot <!--\; \cdot \; -->a_1\equiv <!--\; \equiv \; -->1(\mathrm{mod}{m}_1)$$c\cdot a_{1}\equiv 1{\pmod {m_{1}}}$  (другими словами, $c\equiv <!--\; \equiv \; -->a_1^{-<!--\; -\; -->1}(\mathrm{mod}{m}_1)$$c\equiv a_{1}^{-1}{\pmod {m_{1}}}$ ). Теперь решение находится умножением полученного сравнения на $c$$c$ :

$x\equiv <!--\; \equiv \; -->c{a}_{1}x\equiv <!--\; \equiv \; -->c{b}_1\equiv <!--\; \equiv \; -->a_1^{-<!--\; -\; -->1}{b}_1(\mathrm{mod}{m}_1).$$x\equiv ca_{1}x\equiv cb_{1}\equiv a_{1}^{-1}b_{1}{\pmod {m_{1}}}.$ 

Практическое вычисление значения $c$$c$  можно осуществить разными способами: с помощью теоремы Эйлера, алгоритма Евклида, теории цепных дробей (см. алгоритм) и др. В частности, теорема Эйлера позволяет записать значение $c$$c$  в виде:

$c\equiv <!--\; \equiv \; -->a_1^{-<!--\; -\; -->1}\equiv <!--\; \equiv \; -->a_1^{\mathrm{\phi <!--\; \phi \; -->}(m_1)-<!--\; -\; -->1}(\mathrm{mod}{m}_1)$$c\equiv a_{1}^{-1}\equiv a_{1}^{\varphi (m_{1})-1}{\pmod {m_{1}}}$ .

ПримерыПравить

Пример 1. Для сравнения

$6x\equiv <!--\; \equiv \; -->26(\mathrm{mod}22)$$6x\equiv 26{\pmod {22}}$ 

имеем $d=2$$d=2$ , поэтому по модулю 22 сравнение имеет два решения. Заменим 26 на 4, сравнимое с ним по модулю 22, и затем сократим все три числа на 2:

$3x\equiv <!--\; \equiv \; -->2(\mathrm{mod}11)$$3x\equiv 2{\pmod {11}}$ 

Поскольку 3 взаимно просто с модулем 11, то его можно обратить по модулю 11 и найти

$3^{-<!--\; -\; -->1}\equiv <!--\; \equiv \; -->4(\mathrm{mod}11)$$3^{-1}\equiv 4{\pmod {11}}$ .

Умножая сравнение на 4, получаем решение по модулю 11:

$x\equiv <!--\; \equiv \; -->8(\mathrm{mod}11)$$x\equiv 8{\pmod {11}}$ ,

эквивалентное совокупности двух решений по модулю 22:

$x\equiv <!--\; \equiv \; -->8(\mathrm{mod}22)$$x\equiv 8{\pmod {22}}$  и $x\equiv <!--\; \equiv \; -->19(\mathrm{mod}22)$$x\equiv 19{\pmod {22}}$ .

Пример 2. Дано сравнение:

$100x\equiv <!--\; \equiv \; -->41(\mathrm{mod}65537).$$100 x \equiv 41\pmod {65537}.$  Отметим, что модуль $65537$$65537$  — простое число.

Первый способ решения — воспользоваться соотношением Безу. С помощью алгоритма Евклида или программы, приведенной в статье о соотношении Безу, находим, что это соотношение для чисел $100$$100$  и $65537$$65537$  имеет вид:

$17695\cdot <!--\; \cdot \; -->100+(-<!--\; -\; -->27)\cdot <!--\; \cdot \; -->65537=1,$$17695\cdot 100+(-27)\cdot 65537=1,$  или $17695\cdot <!--\; \cdot \; -->100\equiv <!--\; \equiv \; -->1(\mathrm{mod}65537)$$17695 \cdot 100 \equiv 1 \pmod {65537}$ 

Умножив обе части этого сравнения на 41, получим:

$100\cdot <!--\; \cdot \; -->725495\equiv <!--\; \equiv \; -->41(\mathrm{mod}65537)$$100 \cdot 725495 \equiv 41 \pmod {65537}$ 

Отсюда следует, что $725495$$725495$  есть решение исходного сравнения. Удобнее заменить его на сравнимое с ним $4588$$4588$  (остаток от деления $725495$$725495$  на $65537$$65537$ ). Ответ: $x\equiv <!--\; \equiv \; -->4588(\mathrm{mod}65537).$$x \equiv 4588 \pmod {65537}.$ 

Второй способ решения, более простой и быстрый, не требует построения соотношения Безу, но также эквивалентен алгоритму Евклида.

Шаг 1. Делим модуль на коэффициент при x с остатком: $65537=100\cdot <!--\; \cdot \; -->655+37$$65537=100 \cdot 655+37$ . Умножим обе части исходного сравнения на частное $655$$655$  и прибавим $37x$$37x$ ; получим: $65537x\equiv <!--\; \equiv \; -->26855+37x(\mathrm{mod}65537)$$65537x\equiv 26855+37x{\pmod {65537}}$ , но левая часть кратна $65537$$65537$ , то есть сравнима с нулём, откуда:

$37x\equiv <!--\; \equiv \; -->-<!--\; -\; -->26855(\mathrm{mod}65537)$$37x\equiv -26855{\pmod {65537}}$ 

Мы получили при $x$$x$  коэффициент 37 вместо 100. На каждом следующем шаге уменьшаем аналогично, пока не получим единицу.

Шаг 2. Аналогично делим на новый коэффициент при x: $65537=37\cdot <!--\; \cdot \; -->1771+10$$65537=37 \cdot 1771+10$ . Умножим обе части сравнения, полученного в предыдущем шаге, на частное $1771$$1771$  и прибавим $10x$$10x$ ; снова заменив левую часть на ноль, получим:

$10x\equiv <!--\; \equiv \; -->47560205(\mathrm{mod}65537)$$10x \equiv 47560205 \pmod {65537}$ 

$47560205$$47560205$  заменяем на его остаток при делении на $65537,$$65537,$  равный $45880$$45880$ :

$10x\equiv <!--\; \equiv \; -->45880(\mathrm{mod}65537)$$10x \equiv 45880 \pmod {65537}$ 

Далее можно было бы сделать аналогично ещё 5 шагов, но проще разделить обе части сравнения на 10 и сразу получить результат: $x\equiv <!--\; \equiv \; -->4588(\mathrm{mod}65537).$$x \equiv 4588 \pmod {65537}.$ 

Сравнения второй степениПравить

Сравнения второй степени по простому модулю m имеет следующий общий вид:

$c_0{x}^2+c_{1}x+c\equiv <!--\; \equiv \; -->0(\mathrm{mod}m).$$c_0x^2+c_1x+c \equiv 0\pmod {m}.$ 

Это выражение можно привести к виду

$(x+b{)}^2\equiv <!--\; \equiv \; -->a(\mathrm{mod}m),$$(x+b)^{2}\equiv a{\pmod {m}},$ 

а при замене $z=x+b$$z = x+ b$  упрощается до

$z^2\equiv <!--\; \equiv \; -->a(\mathrm{mod}m).$$z^{2}\equiv a{\pmod {m}}.$ 

Решение этого сравнения сводится к выяснению, является ли данное число квадратичным вычетом (с помощью квадратичного закона взаимности) и последующему вычислению квадратного корня по данному модулю. Для вычисления квадратного корня из квадратичного вычета существует вероятностный метод Берлекэмпа и детерминированный алгоритм Тонелли — Шенкса.

Системы сравненийПравить

Основная статья: Китайская теорема об остатках

Китайская теорема об остатках утверждает, что система сравнений с попарно взаимно простыми модулями $m_1,m_2,\dots <!--\; \dots \; -->,m_n$$m_{1},m_{2},\ldots ,m_{n}$ :

$\{\begin{array}{l}x\equiv <!--\; \equiv \; -->a_1(\mathrm{mod}{m}_1)\\ x\equiv <!--\; \equiv \; -->a_2(\mathrm{mod}{m}_2)\\ \dots <!--\; \dots \; -->\\ x\equiv <!--\; \equiv \; -->a_n(\mathrm{mod}{m}_n)\end{array}$${\begin{cases}x\equiv a_{1}{\pmod {m_{1}}}\\x\equiv a_{2}{\pmod {m_{2}}}\\\ldots \\x\equiv a_{n}{\pmod {m_{n}}}\end{cases}}$ 

всегда разрешима, и её решение единственно по модулю $m_1\cdot <!--\; \cdot \; -->m_2\cdot <!--\; \cdot \; -->\dots <!--\; \dots \; -->\cdot <!--\; \cdot \; -->m_n$$m_{1}\cdot m_{2}\cdot \ldots \cdot m_{n}$ .

Другими словами, китайская теорема об остатках утверждает, что кольцо вычетов по модулю произведения нескольких попарно взаимно простых чисел является прямым произведением соответствующих множителям колец вычетов.

ПрименениеПравить

Модульная арифметика используются в теории чисел, теории групп, теории колец, теории узлов, общей алгебре, криптографии, информатике, химии и других областях.

Например, сравнения часто применяются для вычисления контрольных сумм, используемых в идентификаторах. Так, для определения ошибок при вводе международного номера банковского счета используется сравнение по модулю 97.

В криптографии сравнения можно встретить в системах с открытым ключом, использующих, например, алгоритм RSA или протокол Диффи — Хеллмана. Также, модульная арифметика обеспечивает конечные поля, над которыми затем строятся эллиптические кривые, и используется в различных протоколах с симметричным ключом (AES, IDEA).

В химии последняя цифра в регистрационном номере CAS является значением контрольной суммы, которая вычисляется путём сложения последней цифры номера, умноженной на 1, второй справа цифры, умноженной на 2, третьей, умноженной на три и так далее до первой слева цифры, завершаясь вычислением остатка от деления на 10

См. такжеПравить

• Сложение по модулю 2
• Возведение в степень по модулю
• Показатель числа по модулю
• Алгоритмы быстрого возведения в степень по модулю

ЛитератураПравить

• Бухштаб А. А. Теория чисел. — М.: «Просвещение», 1966. — 384 с.
• Вейль А. Основы теории чисел. — М.: Мир, 1972.
• Виленкин Н. Я. Сравнения и классы вычетов // Квант. — 1978. — № 10. — С. 4—8.
• Виноградов И. М. Основы теории чисел. — М.—Л.: Гос. изд. технико-теоретической литературы, 1952. — 180 с.
• Коблиц Н. Курс теории чисел и криптографии / пер. с англ. М. А. Михайловой и В. Е. Тараканова,под ред. А. М. Зубкова. — М.: Научное изд-во ТВП, 2001. — 254 с. — ISBN 5-85484-012-X.
• Материалы международной научной конференции “Модулярная арифметика”  (неопр.). Виртуальный компьютерный музей (2005). Дата обращения: 31 июля 2010.
• Нестеренко Ю. В. Теория чисел. — М.: Издательский центр «Академия», 2008. — С. 132—133. — 272 с. — ISBN 9785769546464.
• Сагалович Ю. Л. Введение в алгебраические коды — 2-е изд. — М.: ИППИ РАН, 2010. — 320 с. — ISBN 978-5-901158-14-2
• Сизый С. В. §4. Теория сравнений // Лекции по теории чисел. — М.: Физматлит, 2008. — 192 с. — ISBN 978-5-9221-0741-9.