Перейти к содержанию

A.6 · Конгруэнции, делимость и арифметические функции

GRE Subject Test · GRE Mathematics · Тема 12

12

Область применения и требования

Подготовка к GRE для бакалавров. Локальные цели в рамках пересмотренного диапазона ETS; это оригинальное обучение, а не официальный тест или предиктор баллов.

Предварительные знания: алгоритм Евклида, простые множители и модульная арифметика.

  • Решать линейные сравнения с использованием условий НОД
  • Объединять взаимно простые сравнения с помощью китайской теоремы об остатках
  • Применять теорему Эйлера только к обратимым вычетам
  • Использовать делимость степеней простых для нахождения наименьших допустимых целых чисел

сравнение: Равенство вычетов, поскольку модуль делит их разность.

тотивент: Количество вычетов, взаимно простых с положительным целым модулем.

English Русский
congruence/ˈkɒŋɡruːəns/ конгруэнтность
totient/ˈtəʊʃənt/ функция Эйлера
12

Выбрать и обосновать метод

Уравнение ax≡b по модулю n имеет решение тогда и только тогда, когда d=НОД(a,n) делит b. Если это так, разделите a, b и n на d, чтобы получить уравнение с обратимым коэффициентом. Оно имеет одно решение по модулю n/d и d различных решений по модулю n. Деление коэффициента при сохранении исходного модуля обычно приводит к потере решений. Разложение на простые множители дает еще один инструмент делимости: если n^k должно быть кратно произведению степеней простых p^a, то степень каждого простого в n должна быть не менее ceil(a/k). Эти минимальные показатели независимо порождают наименьшее положительное допустимое n. Для n⁴, кратного 2⁷·3⁵, n должно содержать 2² и 3², поэтому наименьшее значение — 36. Это условие показателей простых, а не сравнение, решаемое через модульное деление.

Расширенный алгоритм Евклида выражает НОД(a,n) как ua+vn. Когда НОД равен 1, u является обратным элементом a по модулю n. Выберите представителя в требуемом диапазоне после приведения. Для 7 и 26, 1=15·7−4·26, поэтому 15 — обратный элемент к 7 по модулю 26; проверьте произведение, чтобы избежать ошибки знака.

Для взаимно простых положительных модулей m,n китайская теорема об остатках дает ровно одно решение по модулю mn для каждой пары условий вычета. Подставьте x=r+mk во второе сравнение и решите относительно k. Если модули не являются взаимно простыми, их значения вычета должны совпадать по модулю НОД(m,n); при согласованности единственность достигается по модулю наименьшего общего кратного, а не произведения.

Тотивент Эйлера phi(n) подсчитывает вычеты, взаимно простые с n. Для различных простых делителей p, phi(n)=n умножить на произведение (1−1/p). Теорема Эйлера дает a^phi(n)≡1 только тогда, когда gcd(a,n)=1. Частный случай — малая теорема Ферма. Уменьшайте показатели степеней только после проверки этого условия; необратимый элемент может стать нулем при повторном возведении в степень.

12

Разбор решения

Решите 6x≡9 по модулю 15. НОД равен 3 и делит 9. Разделите все три величины, чтобы получить 2x≡3 по модулю 5; обратный элемент к 2 равен 3, поэтому x≡9≡4 по модулю 5. Исходные решения по модулю 15 равны 4,9,14. Для x≡2 по модулю 4 и x≡3 по модулю 7, запишите x=2+4k; тогда 4k≡1 по модулю 7, откуда k≡2. Следовательно, x≡10 по модулю 28.

Таблица: x = 4, 9 и 14 по модулю 15 дают все 6x ≡ 9
Решите 2x ≡ 3 (mod 5), чтобы получить x ≡ 4, затем поднимите к трём решениям по модулю 15
12

Условия и контрпримеры

Выражение a^φ(n)≡1 ложно для произвольного a. Например, 2 не является обратимым по модулю 8, а 2^4 равно нулю по модулю 8.

12

Направляющее применение

Полностью решите $8x\equiv12\pmod{20}$. Найдите обратный элемент к 7 по модулю 20. Объясните, почему теорему Эйлера нельзя использовать для замены $2^8$ на 1 по модулю 20.

Разобранное решение

НОД равен четырем и делит 12. Деление всех трех чисел дает $2x\equiv3\pmod5$, следовательно, $x\equiv4\pmod5$. По модулю 20 четыре ответа равны $4,9,14,19$; подстановка дает остаток 12 каждый раз. Поскольку $7\cdot3=21$, обратный элемент к 7 равен 3. Хотя $\phi(20)=8$, теорема Эйлера требует обратимого элемента. НОД ⟨2⟩ и ⟨20⟩ равен двум, а ⟨$2^8=256\equiv16$⟩, а не ⟨1⟩.

12

Независимое применение

Решите $x\equiv2\pmod6$, $x\equiv5\pmod9$ или докажите несоответствие. Укажите модуль для единственности. Найдите наименьшее положительное n, такое что $2^5\cdot3^7$ делит $n^3$.

Проверка после выполнения

Вычеты совпадают по модулю НОД, равного трём. Положим $x=2+6k$: тогда $6k\equiv3\pmod9$, откуда $2k\equiv1\pmod3$ и $k\equiv2\pmod3$. Таким образом, $x\equiv14\pmod{18}$. Модуль — это НОК, а не ⟨54⟩. Для задачи делимости запишите простые показатели степени в n. Они должны удовлетворять условию $3a\ge5$, $3b\ge7$, значит $a\ge2$, $b\ge3$. Наименьшее n равно $2^2\cdot3^3=108$; другие простые множители могут лишь увеличить его.

Интерактивные уроки по этой теме

Пройдите его шаг за шагом с упражнениями мгновенной проверки.

Больше тем в GRE Subject Test · GRE Mathematics

Войти или создать аккаунт

IGCSE, A-Level & AP