Остатки и сравнения по модулю → .07 Квадратичные вычеты
Ошибка.
Попробуйте повторить позже
Пусть — нечётное, большее единицы число и
— его разложение на простые множители (среди
могут быть
равные). Тогда для произвольного целого числа
символ Якоби определяется равенством:
где — символы Лежандра. По определению считаем
для всех
Докажите, обобщённый квадратичный закон взаимности:
если
— взаимно простые нечётные числа, то
Сначала проверим случай, когда одно из чисел Пусть
Тогда
То есть действительно всё
сходится.
Теперь пусть и
Из взаимной простоты следует, что
Мультипликативность символа Якоби
следует из определения и мультипликативности символа Лежандра:
Тогда
По квадратичному закону взаимности для простых чисел получаем, что
Значениие степени зависит от чётности показателя, то есть нам нужно доказать, что
Для нечётных заметим, что
(можно явно проверить, рассмотрев остатки по модулю
при равных
остатках с обеих сторон получится
при различных остатках —
Тогда заметим, что в сумме можно вынести
за второй индекс
суммирования:
из нашего тождества. Теперь общий множитель можно тоже вынести:
снова по тождеству. То есть у нас получилось в точности то, что и требовалось доказать:
Ошибка.
Попробуйте повторить позже
Пусть — все квадратичные вычеты по модулю
Для
…,
найдите
Квадратичными вычетами по модулю являются те и только те числа, которые удовлетворяют сравнению
Давайте рассмотрим многочлен
Его корни
Если вспомнить теорему Виета, становится ясно, что
— модуль коэффициента при
у рассмотренного многочлена, умноженный на
Все
коэффициенты, кроме свободного члена, равны
значит, соответствующие сигмы сравнимы с
а
при
и
Ошибка.
Попробуйте повторить позже
Пусть Докажите, что
простое тогда и только тогда, когда
делит
Докажем, что если — простое, то
делится на
Заметим, что
то есть
не является квадратичным
вычетом по модулю
Тогда
из критерия Эйлера, что и требовалось.
Пусть — составное число, и выполнена делимость. Отметим, что
и
взаимно просты (
), поэтому определено
понятие показателя
по модулю
Рассмотрим показатель
числа
по модулю
Из
получаем
откуда
делится на
то есть
является степенью двойки. С другой стороны из первого сравнения получаем
откуда
Теперь воспользуемся теоремой Эйлера: согласно ей, Поскольку
– составное, то
Получается, что
но
причем
– натуральное число. Это невозможно, поэтому мы достигли противоречия.
Ошибка.
Попробуйте повторить позже
Дано простое число Найдите количество решений сравнения
Подсказка 1
С суммой квадратов сложно работать, потому что не существует ее разложение на множители в вещественных числах. Попробуйте перейти к разности квадратов.
Подсказка 2
Можно просто перенести 1 в левую часть и применить формулу, но тогда в левой части будет находится -y², с этим так же работать сложно. Можно ли от исходного равенства перейти к разности квадратов в левой части, но так, чтобы в правой части осталась 1?
Подсказка 3
Можно умножить исходное равенство на (1/y)² - квадрат остатка, обратного к y, при ненулевом y. Сделайте необходимые преобразования и примените формулу разности квадратов.
Подсказка 4
Пара (x, y) при ненулевом y является решением тогда и только тогда, когда когда 1/y-x/y сравнимо с a и 1/y+x/y сравнимо с 1/a для некоторого данного остатка a. Таким образом, необходимо найти количество решений полученной системы.
Подсказка 5
Если a+1/a обратим, то x и y восстанавливается однозначно. Докажите, что все полученные пары различны. Что можно сказать об a, если a+1/a необратим?
Подсказка 6
Тогда -1 является квадратичным вычетом. Как известно, это возможно только при p, которые имеют вид 4k+1. Закончите разбор этого случая, не забудьте учесть решения при y = 0.
Рассмотрим два случая:
1) Тогда решений всего два
и
2)
Для начала предположим, что и
Тогда
или
Заметим, что если
то верно
поэтому
и
— различные решения.
Теперь будем считать, что то есть
обратим.
Тогда умножим все сравнение на Получаем
По формуле разности квадратов:
Таким образом, и
взаимно обратны по модулю
то есть удовлетворяют системе
для некоторого обратимого Из этой системы следует, что
поэтому решения существуют тогда и только тогда, когда
обратим. Отметим, что если
все-таки обратим, то
и вычет
тоже восстанавливается однозначно.
Таким образом, система имеет единственное решение, если
обратим.
Найдем такие для которых существуют обратимые
такие, что
необратим. Для этого рассмотрим сравнение
Оно эквивалентно сравнению
является квадратичным вычетом по модулю
По критерию Эйлера,
— квадратичный вычет тогда и только тогда, когда
Очевидно, это сравнение верно только если имеет вид
а во всех остальных случаях
является невычетом. Таким образом,
задача разбивается на два случая.
- 1.
-
В случае
имеется ровно два решения сравнения
Таким образом, в качестве
в систему можно подставить
различных
(все кроме решений указанного сравнения и
) и получится
различных решения. Вспомним, что еще имеется два решения из
поэтому общее число решений —
- 2.
-
В случае
сравнение
не имеет решений, поэтому можно просто подставлять любое
из
возможного. Учтем еще 2 решения из случая
тогда получится
решение.
Если то
решений,
если то
решений.
если то
решения.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого простого существует решение сравнения
Подсказка 1
Как можно переформулировать задачу в терминах квадратичных вычетов?
Подсказка 2
Если хотя бы одно из чисел 2, 3, 6 является квадратичными вычетами по модулю p, то искомое число x существует. Как связаны данные числа и почему все одновременно не могут является квадратичными невычетами?
Подсказка 3
Рассмотрите символы Лежандра соответствующиx чисел и p. Какое свойство данной функции помогает в решении задачи?
Подсказка 4
Она мультипликативная! Тогда (2/p)(3/p)=(6/p). Как прийти к противоречию, используя это равенство?
Если то
является решением исходного уравнения. Далее считаем, что
Предположим, что не существует такого целого числа что верно исходное сравнение, но тогда для любого числа
верно,
что не существует числа
такого, что
Таким образом, каждое из чисел
является квадратным невычетом по
модулю
то есть
для числа
Так, равенство
не является верным, что влечет противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что уравнение не имеет решений в натуральных числах.
Подсказка 1
Левая часть равенства выглядит странно, хочется ее немного изменить и разложить на множители. Как это сделать?
Подсказка 2
Домножим на 4 и прибавим 1. Имеем (4m-1)(4n-1)=4x^2+1 очень много четверок. Какие простые могут быть в разложении частей на простые множители?
Подсказка 3
Равенство не будет выполнено, если левая часть имеет простые множители вида 4k+3, а правая - нет. Попробуйте найти такие простые слева и доказать, что справа их быть не может.
Предположим, что уравнение разрешимо в натуральных числах. Домножим его на имеем
следовательно,
Покажем, что любое число вида для некоторого натурального
имеет простой делитель вида
для натурального
числа
Пусть
— разложение числа
на простые множители. Предположим, что это не так, тогда
для
Таким образом,
что влечет противоречие.
Наконец, кратно
следовательно существует число
квадрат которого сравним с
по модулю
Иными словами,
является квадратичным вычетом по модулю
что невозможно.
Ошибка.
Попробуйте повторить позже
Подсказка 1
Как написать условие, что число невычет? Нужно зафиксировать какой-то невычет k. Тогда все невычеты это произведение k и вычета.
Подсказка 2
Условие удобно воспринимать так: разность двух невычетов равна 1. Тогда вы получаете сравнение 1 = k(b^2-a^2). Разложите второй множитель на скобки. Чему он может быть равен? Как по нему понять второй множитель?
Подсказка 3
Все решения разбиваются на четверки. Посмотрите на них и поймите какие из них могут склеиться.
Подсказка 4
Невычетов всего (p-1)/2. Пар соседних невычет-невычет вы умеете считать из первого пункта. Как тогда понять число пар невычет-вычет?
(a) Пусть — квадратичный невычет по модулю
— множество всех квадратичных вычетов по данному модулю. В силу
мултипликативности символа Лежандра, для любого
имеет место равенство
следовательно, — квадратичный невычет по модулю
Таким образом, мы показали, что
— множество всех
квадратичных невычетов по модулю
Так, если каждое из чисел и
являюся квадратичными невычетами, то они равны соотвественно числам
и
для
некоторых натуральных
Таким образом, имеет место сравнение, которое назовем важным,
Пусть тогда
— обратный остаток существует, поскольку каждое из чисел
не кратно
Составим
систему линейных уравнений, решив ее, получим решения
Число является фиксированным. Таким образом, каждой паре соответствует единственное
в свою очередь, каждое число
однозначно определяет пару
квадратичных невычетов. Таким образом, важное сравнение
имеет ровно
решение.
Заметим, что каждому решению исходного уравнения соответствует ровно 4 решения (возможно совпадающих) уравнения
важного сравнения —
В случае, если то все четыре решения
являются различными. Если
то
что невозможно,
поскольку
является квадратичным вычетом по данному модулю. Если
то
и имеет место только при
когда
является невычетом по модулю
Наконец, мы показали, что в случае среди пар
решений важного сравнения все различны, следовательно,
решений исходного уравнения ровно в 4 раза меньше и равно
Если то количество пар уменьшится на
то есть станет
А значит количество решений исходного уравнения
равно
(b) Заметим, что общее количество пар в которых
является квадратичным невычетом по модулю
совпадает с
количеством всевозможных квадратичных невычетов. Таким образом, в случае
имеем
а в случае
Ошибка.
Попробуйте повторить позже
Дано простое число Оказалось, что
не является делителем
ни для какого натурального
Докажите, что найдется
натуральное
такое, что
делится на
Подсказка 1
Что в терминах квадратичных остатков дает условие о том, что p не является делителем n²+3n+11 ни для какого натурального n?
Подсказка 2
Покажите, что сравнение ax²+bx+c≡0 (mod p) имеет решения тогда и только тогда, когда дискриминант квадратного уравнения является квадратичным вычетом по модулю p. Так, -35 является квадратичным невычетом по рассматриваемому модулю. Как можно перейти от уравнения 2a⁴+9a³−a²+9a+2 к квадратному?
Подсказка 3
Представить данное уравнение в виде произведения двух множителей, каждый из которых является квадратным уравнением. Искать корни уравнения четвертой степени затруднительно, так же затруднительно быстро придумать нужное разбиение. Как это можно сделать, заметив, что коэффициенты при степенях, сумма которых равна 4, равны?
Подсказка 4
Можно ввести замену x=a+1/a. Полученное уравнение будет является квадратным относительно x и иметь корни -5 и 1/2. Так, число a такое, что 2a⁴+9a³−a²+9a+2 кратно p, существует тогда и только тогда, когда существует a для которого выполнено сравнение a²+5a+1≡0 (mod p) или 2a²-a+2≡0 (mod p). Вспомните критерий, который помогает переформулировать данную делимость в терминах квадратичных вычетов.
Подсказка 5
Хотя бы одно из сравнений верно только в том случае, если хотя бы одно из чисел 21 и -15, которые являются дискриминантами соответствующий квадратных уравнений, является квадратичным вычетом по модулю p. Как это можно доказать, используя то, что -35 не является квадратичным вычетом по указанному модулю.
Подсказка 6
Каждое из чисел 21 и -15 не взаимнопросто с -35. Этим можно воспользоваться, если выразить если переписать условие на то, что каждое из чисел является квадратичным невычетом по модулю p, в терминах символа Лежандра.
Если сравнение не имеет решений относительно
то и сравнение
не имеет решений относительно Ясно, что любой остаток
по модулю
представим, как
для некоторого
но тогда не существует такого остатка
что
но тогда
квадратичный невычет по модулю
Второе число можно представить как
Таким образом достаточно показать, что хотя бы одно из сравнений
имело решения. Предположим противное, но тогда
С другой стороны, в силу того, что является квадратичным невычетом по модулю
верно, что
Также давайте отдельно рассмотрим и
В первом случае условие задачи выполняется, и мы можем просто взять
(число для делимости нашлось). Во втором же случае, даже при
условие не будет выполняться, так как
делится на
Замечание. Разложение
можно получить, введя замену тогда
Осталось перейти к обратной замене и домножить содержимое каждой из скобок на
Ошибка.
Попробуйте повторить позже
Пусть — простое число, большее
Оказалось, что
также является простым числом. Докажите, что число
составное.
Подсказка 1
Как доказать, что число составное? Нужно найти у него делитель! Покажите, что 2^q-1 кратно p.
Подсказка 2
Достаточно показать, что 2^((p-1)/2) - 1 кратно p, то есть, что 2 - квадратичный вычет. Нужно проверить что -1/q - квадратичный вычет. Как это сделать?
Подсказка 3
Нужно проверить, что -1 и q квадратичные невычеты, тогда 2 будет вычетом. Почему это так? Воспользуйтесь квадратичным законом взаимности и вспомните, когда -1 квадратичный невычет.
Покажем, что число кратно
Сравнение же
эквивалентно условию того, что
является
квадратичным вычетом по модулю
Поскольку
имеем
следовательно достаточно показать, что оба числа
и
являются невычетами. Первое верно, поскольку
Осталось понять, почему
— невычет. По квадратичному
закону взаимности
поэтому достаточно понять, что что очевидно, так как
Ошибка.
Попробуйте повторить позже
Докажите, что простых чисел вида бесконечно много.
Подсказка 1
На деле речь идет про простые числа вида 5k-1. Как вообще доказывать, что простых чисел какого-то вида бесконечно много? Можно найти число, которое не кратно всем числам такого вида и понять, что оно должно быть кратно. Как можно искать такое число?
Подсказка 2
Если перемножить квадраты всех простых чисел вида 5k-1, домножить на 4 и вычесть 5, то получится число нужного вида. Почему у него есть делитель вида 5k-1?
Подсказка 3
Поймите, воспользовавшись квадратичным законом взаимности, что у построенного числа все делители вида 5k+1 и 5k-1. Почему не могут все быть вида 5k+1?
Докажем, что простых чисел сравнимых с по модулю
бесконечно много. Это будет равносильно задаче в силу того, что все простые
кроме числа
— нечетные. Пусть это не так, то есть таких чисел конечно, обозначим за
удвоенное их произведение. Число
—
больше
и нечетно, тогда
Тогда
— квадратичный вычет по модулю
и по квадратичному закону взаимности
имеем:
то есть Но все простые делители не могут быть вида
ведь
Значит существует еще одно
простое число вида
— противоречие.
Ошибка.
Попробуйте повторить позже
Найдите все натуральные числа для которых
делится на
Подсказка 1
Как удобно воспринимать делимость? Делимость в первую очередь означает, что если 2^n-1 делится на p, то 3^n-1 делится на p. Как этим пользоваться?
Подсказка 2
С чем может быть сравним простой делитель по модулю 12? Как это понять? Разберите 2 случая по модулю 4, а из квадратичного закона взаимности получите сравнение по модулю 3.
Подсказка 3
Поймите, что делители 2^n-1 по модулю 12 бывают только 1 или -1, что ведет к противоречию.
Легко заметить, что — подходит, далее
Если
— четно, то
кратно трем, а
не делится, поэтому
— нечетное число. Предположим, что
делится на
очевидно, что тогда любой простой делитель
назовем его
делит
Ясно, что
не может быть ни
ни
В таком случае посмотрим на
по модулю
Если
сравнимо с
по модулю
Так как
нечетно, то
является квадртатичным вычетом по модулю
Из
квадратичного закона взаимности понимаем,
то есть
Если
сравнимо с
по модулю
Так как
нечетно, то
является квадртатичным вычетом по модулю
Из квадратичного закона
взаимности понимаем,
то есть
Тогда
чего быть не
может.
Ошибка.
Попробуйте повторить позже
Дано простое число Докажите, что сравнение
имеет не более
решений по модулю
Подсказка 1
Случай p = 2 тривиален. В остальных случаях легко видеть, что каждое сравнение y² ≡ x³ + 1 (mod p) имеет два решения относительно y, кроме случая, когда правая часть нулевая, если разрешимо. А сколько есть таких c, что при x³ + 1 ≡ c (mod p) это сравнение разрешимо?
Подсказка 2
Верно! Это число квадратичных вычетов по модулю p, то есть (p-1)/2 ненулевых и 1 нулевой. Тогда решений относительно y точно не более p-1 + 1 = p. Осталось доказать, что у каждого y может быть только один x. Как это сделать?
Подсказка 3
Попробуем доказать, что сравнение x³ + 1 ≡ c (mod p) имеет ровно одно решение для каждого c. Для этого достаточно доказать это утверждение для сравнения x³ ≡ t (mod p). Как это сделать?
Подсказка 4
Верно! Заметим, что по малой теореме Ферма можно t сравнить с остатком t, умноженным на (p-1)-ю степень числа x. Вспомним, что p = 3k + 2. Какой вывод можно сделать?
В тривиальном случае имеем решения
и
и наоборот.
Для начала покажем, что для каждого конкретного сравнение
имеет единственное решение. Для
этим
решением является
Пусть теперь
Тогда заметим, что в силу малой теоремы Ферма при
выполняется следующая
цепочка сравнений
Таким образом, Теперь вернемся к исходному сравнению. Оно имеет вид
Это сравнение имеет решение в
точности, когда
является квадратичным вычетом по модулю
Всего ненулевых квадратичных вычетов имеется ровно
а
также нулевой вычет. В каждом случае для ненулевого вычета имеем не более двух решений
и
а для нулевого вычета единственное
решение
причем, для каждого вычета, как показано ранее, имеется единственный
Таким образом, пар вычетов-решений не
более, чем
Ошибка.
Попробуйте повторить позже
Найдите все целые числа и
для которых число
целое.
При очевидно, что
может быть любым. Во всех остальных случаях
По малой теореме Ферма
или
Оба этих числа являются невычетами по модулю
поэтому у
найдется простой делитель
являющийся невычетом по модулю
(в частности,
Заметим, что
то есть
По КЗВ
имеем
Таким образом, не делится на
и дробь целых значений не принимает.
и
— любое целое число
Ошибка.
Попробуйте повторить позже
Пусть
— квадратичный вычет. Тогда
Возведём в степень
тогда по малой теореме Ферма получаем
Теперь рассмотрим над
многочлен
Мы показали, что он имеет хотя бы
корней — квадратичные
вычеты. При этом степень этого многочлена
Значит, квадратичные невычеты не являются его корнем. При этом
при всех ненулевых
Значит, для всех невычетов
тогда
Теперь докажем мультипликативность символа Лежандра. По пункту
мы знаем, что левая часть сравнима с
а правая
— с
так что это очевидно.
Ошибка.
Попробуйте повторить позже
Докажите, что является квадратичным вычетом по модулю
тогда и только тогда, когда
Рассмотрим выражение Это
тогда и только тогда, когда
— чётное число. Это достигается при
Ошибка.
Попробуйте повторить позже
Пусть — натуральное число такое, что
— простое. Докажите, что
делится на
Пусть Мы хотим доказать, что
делится на
то есть что
— квадратичный вычет по модулю
—
квадратичный вычет для любого
поскольку
Вспомним, что
— квадратичный вычет для
и по
мультипликативности символа Лежандра получим требуемое:
значит, раз
то и
Ошибка.
Попробуйте повторить позже
Решите в целых числах уравнение
Подсказка 1
Правая часть похожа на сумму кубов. Чего не хватает?
Подсказка 2
Единицы. Прибавим 1 к обеим частям и разложим правую по формуле суммы кубов. Что можно сказать о четности чисел x, y?
Подсказка 3
Если y чётно, то x нечётно, значит, левая часть не делится на 4, а правая делится. Если правая часть делится на некоторое просто p, то делится и левая, а значит, -1 квадратичный вычет по данному модулю. При всех ли p это возможно?
Подсказка 4
Нет, это неверно, например, если p сравнимо с 3 по модулю 4. Для того, чтобы показать, что исходное уравнение не имеет решений осталось доказать, что правая часть делится на простое число вида 4k+3.
Прибавим к обеим частям по и разложим на множители правую часть:
Пусть чётно. Тогда
нечётно, значит, левая часть не делится на
а правая делится. Значит, если и есть решения, то
нечётно.
Тогда заметим, что правая часть обязательно имеет простой делитель вида
Действительно, поскольку если
то
имеет такой делитель, а если
то
и имеет такой делитель. Но если
делится на
то
— квадратичный вычет по модулю
чего не бывает. Ясно, что левая часть всегда положительна, так что
наши рассуждения корректны.
Решений нет
Ошибка.
Попробуйте повторить позже
(a) Пусть
|
Тогда или
То есть имеем систему
|
Ясно, что она имеет различные решения для каждого которых
Некоторым решениям на
соответствуют разные
Выдать
одинаковые квадраты могут пары
Посмотрим, в каких ситуациях эти пары совпадают между собой. Если
то могут совпасть
и
и
То есть
пары склеиваются. Теперь рассмотрим
Тогда
получим, что
должна быть квадратичным вычетом (для решения, в котором
Значит, если
то
появятся ещё
совпавшие пары, иначе их не появится. Тогда для
ответ
а для
—
(b) Пусть — квадратичные вычеты. Тогда из мультипликативности символа Лежандра, домножив на
— квадратичный
невычет, мы получим все квадратичные невычеты
Значит, по сравнению с предудыщим пунктом наша система
превращается в следующую:
|
Тогда нас интересует число решений сравнения Пусть
Тогда найдётся
такое, что
что преобразует сравнение в
Если
то решения два:
Иначе поделим на
и будем решать
сравнение
Теперь выражениие раскладывается на множители:
где
У него
решение.
Тогда
то есть они восстанавливаются однозначно. Значит, аналогично прошлому пункту для решениия разбиваются на четвёрки во
всех случаях, кроме
но эти решения мы и так уже отбросили.
нулём быть не может, поскольку
всегда квадратичный
вычет. Значит, все
решений разбиваются на четверки и ответ
Теперь пусть
Здесь воспользуемся соображениями о
том, что мы знаем число пар всех оставшихся видов: вычет-вычет, которых
невычет-вычет, их
и невычет-невычет, их
Всего пар чисел (не считая
так что на интересующие нас остаётся
Тогда для
ответ
а
для
—
Ошибка.
Попробуйте повторить позже
(a) Так как умножение на
в поле
является биекцией. Следовательно, множество
содержит
различных
ненулевых вычетов.
Для любого
- Если
утверждение доказано.
-
Если
то
для некоторого
Заметим, что:
Поскольку
то
принадлежит
Если бы и
одновременно принадлежали
то пусть
причем
тогда
(b) Рассмотрим произведение Каждый вычет
можно представить в диапазоне
Если
заменим
его на
что изменяет знак произведения на
Тогда
— количество таких замен.
и
Приравнивая их, получаем:
По критерию Эйлера:
откуда:
Ошибка.
Попробуйте повторить позже
Докажите, что является квадратичным вычетом по модулю
тогда и только тогда, когда
Рассмотрим множество вычетов Обозначим через
количество элементов
больших
Тогда:
Значит — вычет
Разберем случаи:
-
Случай
Тогда для всех
вычеты
а оставшиеся больше, то есть
Тогда:
-
Случай
Тогда для
вычеты
отсюда аналогично:
Объединяя оба случая, получаем требуемое.