Опубликован: 02.03.2017 | Доступ: свободный | Студентов: 2511 / 556 | Длительность: 21:50:00
Лекция 1:

Основы теории чисел

Лекция 1: 123456789 || Лекция 2 >

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

Любое сравнение первой степени с одним неизвестным x можно привести к виду

ax \equiv b~(mod \ m), ( 1.4)

где a \not\equiv 0 ~(mod \ m).

Выясним условия, при которых сравнение (1.4) имеет:

  1. единственное решение,
  2. несколько решений,
  3. не имеет решений.

Теорема 1.17 Для того, чтобы сравнение (1.4) имело хотя бы одно решение, необходимо и достаточно, чтобы число b делилось на НОД(a,m).

Пример 1.24 Сравнение 9x\equiv 6~(mod \12) имеет решение, так как 6 делится на 3=НОД(9,12).

Пример 1.25 Сравнение 6x\equiv 9 ~(mod \12) не имеет решений, так как НОД(6,12)=6, а 9 не делится на 6.

Теорема 1.18 Пусть сравнение (1.4) разрешимо и d=НОД(a,m). Тогда множество решений сравнения (1.4) состоит из d классов по модулю m, а именно, если {x}_{0} - одно из решений, то все другие решения - это {x}_{0}+m_1, {x}_{0}+2m_1,{\dots}, {x}_{0}+(d-1)m_1, где m_1= \frac{m}{d}.

Пример 1.26 Сравнение 9x\equiv 6~(mod \ 12) имеет ровно три решения, так как НОД(9,12)=3. Эти решения: {x}_{0}=2, {x}_{0}+4=6, {x}_{0}+2 \cdot 4=10.

Пример 1.27 Сравнение 11x\equiv 2~(mod \ 15) имеет единственное решение {x}_{0}=7, т.к. НОД(11,15)=1.

Покажем, как решать сравнение первой степени. Рассмотрим случай НОД(a,m)=1. Тогда решение сравнения (1.4) можно искать, например, по алгоритму Евклида. Действительно, используя расширенный алгоритм Евклида, представим число 1 в виде линейной комбинации чисел a и m: 1=aq+mr.

Умножим обе части этого равенства на b, получим: b=abq+mrb, откуда abq-b=-mrb, то есть a \cdot (bq) \equiv b~(mod \ m) и bq - решение сравнения (1.4).

Другой способ: использовать теорему Эйлера. Пусть, снова, НОД(a,m)=1. Применяем теорему Эйлера: {a}^{\varphi (m)}\equiv 1~(mod \ m). Умножим обе части сравнения на b: {a}^{\varphi (m)}b \equiv b~(mod \ m). Переписывая последнее выражение в виде a( {a}^{\varphi (m)-1}b) \equiv b~(mod \ m), получаем, что {a}^{\varphi (m)-1}b - решение сравнения (1.4).

Допустим теперь, что НОД(a,m)=d>1. Тогда a=a_1 d, m=m_1 d, где НОД(a_1,m_1)=1. Кроме того, необходимо b=b_1 d для того, чтобы сравнение было разрешимо. Если {x}_{0} - решение сравнения a_1 x\equiv b_1 ~(mod \ m_1), причем единственное, поскольку НОД(a_1,m_1)=1, то {x}_{0} будет решением и сравнения a_1 dx\equiv b_1 d ~(mod \ m_1) d, то есть исходного сравнения (1.4). Остальные решения (их d-1) находим по теореме.

Итак, если НОД(a,m)=1, то сравнение (1.4) имеет единственное решение, и решением сравнения является класс x=ba^{\varphi(m)-1}~(mod \ m). Если НОД(a,m)=d>1, b не делится на d, то сравнение решений не имеет. Если b делится на d, то сравнение имеет d различных решений. Все эти решения образуют один класс по модулю \frac{m}{d}.

Пример 1.28 Решим сравнение: 12x\equiv 9~(mod \ 21)$.

Вычисляем НОД(12,21)=3. Число 9 делится на 3, поэтому сравнение разрешимо, и у него три решения. Поделим обе части сравнения и модуль на их наибольший общий делитель: 4x\equiv 3 ~(mod \ 7). Поскольку НОД(4, 7)=1, можем воспользоваться теоремой Эйлера: {x}_{0}={4}^{\varphi \left(7\right)-1} \cdot 3 \equiv {4}^{5} \cdot 3 \equiv 6 ~(mod \ 7).

Поясним:\varphi(7)=6, 4^{2}=16\equiv 2~(mod \ 7), поэтому {4}^{5}\equiv 4^{2} \cdot 4^{2} \cdot 4\equiv 2 \cdot 2 \cdot 4\equiv 2, и 2 \cdot 3\equiv 6.

Таким образом, 6 - это одно из решений сравнения 12x\equiv 9 ~(mod \ 21). Находим остальные решения:

6+ \frac{21}{3} =6+7=13, 6+2 \cdot \frac{21}{3} =6+14=20.

Проверка: 12 \cdot 6-9=63=21 \cdot 3; 12 \cdot 13-9=147=21 \cdot 7; 12 \cdot 20-9=231=21 \cdot 11.

Пример 1.29 45 x \equiv 31~(mod \ 100).

Так как НОД(45,100)=5, а 31 не делится на 5, то решений сравнение 45 x \equiv 31~(mod \ 100) не имеет.

Пример 1.30 51 x \equiv 141~(mod \ 234).

Поскольку НОД(51,234)=3, 141 \, \vdots \, 3, то сравнение имеет 3 решения. После деления обеих частей и модуля на 3 получим сравнение: 17 x \equiv 47~(mod \ 78). Решение этого сравнения: x \equiv 67~(mod \ 78).

Решения исходного сравнения найдём по теореме 1.18: x \equiv 67~(mod \ 234), x \equiv 67+78 \equiv 145~(mod \ 234), x \equiv 67+2\cdot 78 \equiv 223~(mod \ 234).

Лекция 1: 123456789 || Лекция 2 >
Евгений Шаров
Евгений Шаров

как начать заново проходить курс, если уже пройдено несколько лекций со сданными тестами?

Юлия Мышкина
Юлия Мышкина

Обучение с персональным тьютором осуществляется по Скайпу или посредством переписки?