Квадратичные вычеты
Ошибка.
Попробуйте повторить позже
Пусть — нечётное, большее единицы число и
— его разложение на простые множители (среди
могут быть
равные). Тогда для произвольного целого числа
символ Якоби определяется равенством:
где — символы Лежандра. По определению считаем
для всех
Докажите, обобщённый квадратичный закон взаимности:
если
— взаимно простые нечётные числа, то
Сначала проверим случай, когда одно из чисел Пусть
Тогда
То есть действительно всё
сходится.
Теперь пусть и
Из взаимной простоты следует, что
Мультипликативность символа Якоби
следует из определения и мультипликативности символа Лежандра:
Тогда
По квадратичному закону взаимности для простых чисел получаем, что
Значениие степени зависит от чётности показателя, то есть нам нужно доказать, что
Для нечётных заметим, что
(можно явно проверить, рассмотрев остатки по модулю
при равных
остатках с обеих сторон получится
при различных остатках —
Тогда заметим, что в сумме можно вынести
за второй индекс
суммирования:
из нашего тождества. Теперь общий множитель можно тоже вынести:
снова по тождеству. То есть у нас получилось в точности то, что и требовалось доказать:
Ошибка.
Попробуйте повторить позже
Пусть Докажите, что
простое тогда и только тогда, когда
делит
Докажем, что если — простое, то
делится на
Заметим, что
то есть
не является квадратичным
вычетом по модулю
Тогда
из критерия Эйлера, что и требовалось.
Пусть — составное число, и выполнена делимость. Отметим, что
и
взаимно просты (
), поэтому определено
понятие показателя
по модулю
Рассмотрим показатель
числа
по модулю
Из
получаем
откуда
делится на
то есть
является степенью двойки. С другой стороны из первого сравнения получаем
откуда
Теперь воспользуемся теоремой Эйлера: согласно ей, Поскольку
– составное, то
Получается, что
но
причем
– натуральное число. Это невозможно, поэтому мы достигли противоречия.
Ошибка.
Попробуйте повторить позже
Дано простое число Найдите количество решений сравнения
Рассмотрим два случая:
1) Тогда решений всего два
и
2)
Для начала предположим, что и
Тогда
или
Заметим, что если
то верно
поэтому
и
— различные решения.
Теперь будем считать, что то есть
обратим.
Тогда умножим все сравнение на Получаем
По формуле разности квадратов:
Таким образом, и
взаимно обратны по модулю
то есть удовлетворяют системе
для некоторого обратимого Из этой системы следует, что
поэтому решения существуют тогда и только тогда, когда
обратим. Отметим, что если
все-таки обратим, то
и вычет
тоже восстанавливается однозначно.
Таким образом, система имеет единственное решение, если
обратим.
Найдем такие для которых существуют обратимые
такие, что
необратим. Для этого рассмотрим сравнение
Оно эквивалентно сравнению
является квадратичным вычетом по модулю
По критерию Эйлера,
— квадратичный вычет тогда и только тогда, когда
Очевидно, это сравнение верно только если имеет вид
а во всех остальных случаях
является невычетом. Таким образом,
задача разбивается на два случая.
- 1.
-
В случае
имеется ровно два решения сравнения
Таким образом, в качестве
в систему можно подставить
различных
(все кроме решений указанного сравнения и
) и получится
различных решения. Вспомним, что еще имеется два решения из
поэтому общее число решений —
- 2.
-
В случае
сравнение
не имеет решений, поэтому можно просто подставлять любое
из
возможного. Учтем еще 2 решения из случая
тогда получится
решение.
Если то
решений,
если то
решений.
если то
решения.
Ошибка.
Попробуйте повторить позже
Докажите, что для любого простого существует решение сравнения
Если то
является решением исходного уравнения. Далее считаем, что
Предположим, что не существует такого целого числа что верно исходное сравнение, но тогда для любого числа
верно,
что не существует числа
такого, что
Таким образом, каждое из чисел
является квадратным невычетом по
модулю
то есть
для числа
Так, равенство
не является верным, что влечет противоречие.
Ошибка.
Попробуйте повторить позже
Докажите, что уравнение не имеет решений в натуральных числах.
Предположим, что уравнение разрешимо в натуральных числах. Домножим его на имеем
следовательно,
Покажем, что любое число вида для некоторого натурального
имеет простой делитель вида
для натурального
числа
Пусть
— разложение числа
на простые множители. Предположим, что это не так, тогда
для
Таким образом,
что влечет противоречие.
Наконец, кратно
следовательно существует число
квадрат которого сравним с
по модулю
Иными словами,
является квадратичным вычетом по модулю
что невозможно.
Ошибка.
Попробуйте повторить позже
(a) Пусть — квадратичный невычет по модулю
— множество всех квадратичных вычетов по данному модулю. В силу
мултипликативности символа Лежандра, для любого
имеет место равенство
следовательно, — квадратичный невычет по модулю
Таким образом, мы показали, что
— множество всех
квадратичных невычетов по модулю
Так, если каждое из чисел и
являюся квадратичными невычетами, то они равны соотвественно числам
и
для
некоторых натуральных
Таким образом, имеет место сравнение, которое назовем важным,
Пусть тогда
— обратный остаток существует, поскольку каждое из чисел
не кратно
Составим
систему линейных уравнений, решив ее, получим решения
Число является фиксированным. Таким образом, каждой паре соответствует единственное
в свою очередь, каждое число
однозначно определяет пару
квадратичных невычетов. Таким образом, важное сравнение
имеет ровно
решение.
Заметим, что каждому решению исходного уравнения соответствует ровно 4 решения (возможно совпадающих) уравнения
важного сравнения —
В случае, если то все четыре решения
являются различными. Если
то
что невозможно,
поскольку
является квадратичным вычетом по данному модулю. Если
то
и имеет место только при
когда
является невычетом по модулю
Наконец, мы показали, что в случае среди пар
решений важного сравнения все различны, следовательно,
решений исходного уравнения ровно в 4 раза меньше и равно
Если то количество пар уменьшится на
то есть станет
А значит количество решений исходного уравнения
равно
(b) Заметим, что общее количество пар в которых
является квадратичным невычетом по модулю
совпадает с
количеством всевозможных квадратичных невычетов. Таким образом, в случае
имеем
а в случае
Ошибка.
Попробуйте повторить позже
Дано простое число Оказалось, что
не является делителем
ни для какого натурального
Докажите, что найдется
натуральное
такое, что
делится на
Если сравнение не имеет решений относительно
то и сравнение
не имеет решений относительно Ясно, что любой остаток
по модулю
представим, как
для некоторого
но тогда не существует такого остатка
что
но тогда
квадратичный невычет по модулю
Второе число можно представить как
Таким образом достаточно показать, что хотя бы одно из сравнений
имело решения. Предположим противное, но тогда
С другой стороны, в силу того, что является квадратичным невычетом по модулю
верно, что
Также давайте отдельно рассмотрим и
В первом случае условие задачи выполняется, и мы можем просто взять
(число для делимости нашлось). Во втором же случае, даже при
условие не будет выполняться, так как
делится на
Замечание. Разложение
можно получить, введя замену тогда
Осталось перейти к обратной замене и домножить содержимое каждой из скобок на
Ошибка.
Попробуйте повторить позже
Пусть — простое число, большее
Оказалось, что
также является простым числом. Докажите, что число
составное.
Покажем, что число кратно
Сравнение же
эквивалентно условию того, что
является
квадратичным вычетом по модулю
Поскольку
имеем
следовательно достаточно показать, что оба числа
и
являются невычетами. Первое верно, поскольку
Осталось понять, почему
— невычет. По квадратичному
закону взаимности
поэтому достаточно понять, что что очевидно, так как
Ошибка.
Попробуйте повторить позже
Докажите, что простых чисел вида бесконечно много.
Докажем, что простых чисел сравнимых с по модулю
бесконечно много. Это будет равносильно задаче в силу того, что все простые
кроме числа
— нечетные. Пусть это не так, то есть таких чисел конечно, обозначим за
удвоенное их произведение. Число
—
больше
и нечетно, тогда
Тогда
— квадратичный вычет по модулю
и по квадратичному закону взаимности
имеем:
то есть Но все простые делители не могут быть вида
ведь
Значит существует еще одно
простое число вида
— противоречие.
Ошибка.
Попробуйте повторить позже
Найдите все натуральные числа для которых
делится на
Легко заметить, что — подходит, далее
Если
— четно, то
кратно трем, а
не делится, поэтому
— нечетное число. Предположим, что
делится на
очевидно, что тогда любой простой делитель
назовем его
делит
Ясно, что
не может быть ни
ни
В таком случае посмотрим на
по модулю
Если
сравнимо с
по модулю
Так как
нечетно, то
является квадртатичным вычетом по модулю
Из
квадратичного закона взаимности понимаем,
то есть
Если
сравнимо с
по модулю
Так как
нечетно, то
является квадртатичным вычетом по модулю
Из квадратичного закона
взаимности понимаем,
то есть
Тогда
чего быть не
может.
Ошибка.
Попробуйте повторить позже
Дано простое число Докажите, что сравнение
имеет не более
решений по модулю
В тривиальном случае имеем решения
и
и наоборот.
Для начала покажем, что для каждого конкретного сравнение
имеет единственное решение. Для
этим
решением является
Пусть теперь
Тогда заметим, что в силу малой теоремы Ферма при
выполняется следующая
цепочка сравнений
Таким образом, Теперь вернемся к исходному сравнению. Оно имеет вид
Это сравнение имеет решение в
точности, когда
является квадратичным вычетом по модулю
Всего ненулевых квадратичных вычетов имеется ровно
а
также нулевой вычет. В каждом случае для ненулевого вычета имеем не более двух решений
и
а для нулевого вычета единственное
решение
причем, для каждого вычета, как показано ранее, имеется единственный
Таким образом, пар вычетов-решений не
более, чем
Ошибка.
Попробуйте повторить позже
Найдите все целые числа и
для которых число
целое.
При очевидно, что
может быть любым. Во всех остальных случаях
По малой теореме Ферма
или
Оба этих числа являются невычетами по модулю
поэтому у
найдется простой делитель
являющийся невычетом по модулю
(в частности,
Заметим, что
то есть
По КЗВ
имеем
Таким образом, не делится на
и дробь целых значений не принимает.
и
— любое целое число
Ошибка.
Попробуйте повторить позже
Пусть
— квадратичный вычет. Тогда
Возведём в степень
тогда по малой теореме Ферма получаем
Теперь рассмотрим над
многочлен
Мы показали, что он имеет хотя бы
корней — квадратичные
вычеты. При этом степень этого многочлена
Значит, квадратичные невычеты не являются его корнем. При этом
при всех ненулевых
Значит, для всех невычетов
тогда
Теперь докажем мультипликативность символа Лежандра. По пункту
мы знаем, что левая часть сравнима с
а правая
— с
так что это очевидно.
Ошибка.
Попробуйте повторить позже
Докажите, что является квадратичным вычетом по модулю
тогда и только тогда, когда
Рассмотрим выражение Это
тогда и только тогда, когда
— чётное число. Это достигается при
Ошибка.
Попробуйте повторить позже
Пусть — натуральное число такое, что
— простое. Докажите, что
делится на
Пусть Мы хотим доказать, что
делится на
то есть что
— квадратичный вычет по модулю
—
квадратичный вычет для любого
поскольку
Вспомним, что
— квадратичный вычет для
и по
мультипликативности символа Лежандра получим требуемое:
значит, раз
то и
Ошибка.
Попробуйте повторить позже
Решите в целых числах уравнение
Прибавим к обеим частям по и разложим на множители правую часть:
Пусть чётно. Тогда
нечётно, значит, левая часть не делится на
а правая делится. Значит, если и есть решения, то
нечётно.
Тогда заметим, что правая часть обязательно имеет простой делитель вида
Действительно, поскольку если
то
имеет такой делитель, а если
то
и имеет такой делитель. Но если
делится на
то
— квадратичный вычет по модулю
чего не бывает. Ясно, что левая часть всегда положительна, так что
наши рассуждения корректны.
Решений нет
Ошибка.
Попробуйте повторить позже
(a) Пусть
|
Тогда или
То есть имеем систему
|
Ясно, что она имеет различные решения для каждого которых
Некоторым решениям на
соответствуют разные
Выдать
одинаковые квадраты могут пары
Посмотрим, в каких ситуациях эти пары совпадают между собой. Если
то могут совпасть
и
и
То есть
пары склеиваются. Теперь рассмотрим
Тогда
получим, что
должна быть квадратичным вычетом (для решения, в котором
Значит, если
то
появятся ещё
совпавшие пары, иначе их не появится. Тогда для
ответ
а для
—
(b) Пусть — квадратичные вычеты. Тогда из мультипликативности символа Лежандра, домножив на
— квадратичный
невычет, мы получим все квадратичные невычеты
Значит, по сравнению с предудыщим пунктом наша система
превращается в следующую:
|
Тогда нас интересует число решений сравнения Пусть
Тогда найдётся
такое, что
что преобразует сравнение в
Если
то решения два:
Иначе поделим на
и будем решать
сравнение
Теперь выражениие раскладывается на множители:
где
У него
решение.
Тогда
то есть они восстанавливаются однозначно. Значит, аналогично прошлому пункту для решениия разбиваются на четвёрки во
всех случаях, кроме
но эти решения мы и так уже отбросили.
нулём быть не может, поскольку
всегда квадратичный
вычет. Значит, все
решений разбиваются на четверки и ответ
Теперь пусть
Здесь воспользуемся соображениями о
том, что мы знаем число пар всех оставшихся видов: вычет-вычет, которых
невычет-вычет, их
и невычет-невычет, их
Всего пар чисел (не считая
так что на интересующие нас остаётся
Тогда для
ответ
а
для
—
Ошибка.
Попробуйте повторить позже
Ненулевые взаимно простые в совокупности числа удовлетворяют равенству
Докажите, что все нечетные простые делители числа дают остаток
при делении на
После раскрытия скобок и сокращения, а также избавления от знаменателей получаем равенство
Предположим, что имеет некоторый простой делитель
вида
Тогда
При
этом
Тогда одна из скобок делится на Пусть, не умаляя общности,
делится на
но тогда
и
делятся на
(иначе
было бы квадратичным вычетом по модулю
что невозможно). Тогда
также делится на
откуда
и
делятся на
— противоречие с взаимной простотой
Ошибка.
Попробуйте повторить позже
Докажите, что простое число является делителем числа вида
тогда и только тогда, когда оно является делителем числа вида
Как известно, решение существует тогда и только тогда, когда дискриминант
является квадратичным
вычетом по модулю
Поэтому, условие задачи равносильно следующему утверждению: дискриминант
является квадратичным
вычетом по модулю
тогда и только тогда, когда дискриминант
является квадратичным вычетом по тому же
модулю.
Вычислим указанные дискриминанты. Первый равен а второй
Фактически, требуется проверить, что для
любого простого
выполнено
где
– символ Лежандра. Отдельно отметим, что случай
очевиден – для него
не определено понятие символа Лежандра. Согласно свойству мультипликативности,
При этом, очевидно,
для всех
Ошибка.
Попробуйте повторить позже
Пусть — простое число. Назовем вычет
биквадратичным по модулю
если существует вычет
такой, что
Докажите, что
тогда и только тогда, когда его множества квадратичных и биквадратичных вычетов
совпадают.
Из общей теории известно, что количество квадратичных вычетов по любому простому равно
Отметим, что любой
биквадратичный вычет является и квадратичным (
), поэтому их количество не превосходит
Тем самым,
задача равносильна проверке того, что только для простых вида
количество биквадратичных вычетов равно
Рассмотрим биквадратичные вычеты Покажем, что никаких других биквадратичных вычетов
нет. Рассмотрим произвольную четвертую степень натурального числа
Ее основание,
поделим на
с остатком:
Справедливо, что
причем либо
либо
Поскольку множество
биквадратичных вычетов определяется как множество остатков, которые дают четвертые степени натуральных чисел по
модулю
утверждение доказано. Покажем теперь, что среди
есть одинаковые вычеты по модулю
тогда и только тогда, когда
для некоторого натурального
Ясно, что это утверждение равносильно нашей
задаче.
Проведем рассуждение, являющееся цепочкой равносильных переходов. Среди
есть два равных остатка по модулю тогда и только тогда, когда существуют
и
Ясно, что ни , ни
не делится на
поэтому
Следовательно, для
такого что
и
справедливо, что и
и
являются квадратичными вычетами по модулю
Из мультипликативности символа Лежандра это
означает, что
является квадратичным вычетом по модулю
что верно для простых вида
и только для них (следует,
например, из критерия Эйлера). Итак, мы доказали, что среди
есть два равных остатка по модулю
тогда и только
тогда, когда
что и требовалось.