Квадратичные вычеты
Ошибка.
Попробуйте повторить позже
Пусть Докажите, что простое тогда и только тогда, когда делит
Докажем, что если — простое, то делится на Заметим, что то есть не является квадратичным вычетом по модулю Тогда из критерия Эйлера, что и требовалось.
Пусть — составное число, и выполнена делимость. Отметим, что и взаимно просты (), поэтому определено понятие показателя по модулю Рассмотрим показатель числа по модулю Из получаем откуда делится на то есть является степенью двойки. С другой стороны из первого сравнения получаем откуда
Теперь воспользуемся теоремой Эйлера: согласно ей, Поскольку – составное, то Получается, что но причем – натуральное число. Это невозможно, поэтому мы достигли противоречия.
Ошибка.
Попробуйте повторить позже
Дано простое число Найдите количество решений сравнения
Рассмотрим два случая:
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
Если сумма квадратов a, b, c, d делится на p=4k+3, то по модулю p можно выразить a через остальные переменные. Этот шаг сохраняет все условия, поэтому его следует сделать. Теперь у нас есть какое-то равенство и модуль p. Напишите вместо знака равно сравнение.
Подсказка 3
Тождество получилось 6 степени. Попробуйте разложить его на квадратные множители. Как их найти? В условии есть p=4k+3 и квадраты. Как их связать? На самом деле сумма квадратов не бывает равна нулю по модулю p. Докажите это и поймите из этого разложение на множители.
После раскрытия скобок и сокращения, а также избавления от знаменателей получаем равенство
Предположим, что имеет некоторый простой делитель вида Тогда При этом
Тогда одна из скобок делится на Пусть, не умаляя общности, делится на но тогда и делятся на (иначе было бы квадратичным вычетом по модулю что невозможно). Тогда также делится на откуда и делятся на — противоречие с взаимной простотой
Ошибка.
Попробуйте повторить позже
Докажите, что простое число является делителем числа вида тогда и только тогда, когда оно является делителем числа вида
Как известно, решение существует тогда и только тогда, когда дискриминант является квадратичным вычетом по модулю Поэтому, условие задачи равносильно следующему утверждению: дискриминант является квадратичным вычетом по модулю тогда и только тогда, когда дискриминант является квадратичным вычетом по тому же модулю.
Вычислим указанные дискриминанты. Первый равен а второй Фактически, требуется проверить, что для любого простого выполнено где – символ Лежандра. Отдельно отметим, что случай очевиден – для него не определено понятие символа Лежандра. Согласно свойству мультипликативности, При этом, очевидно, для всех
Ошибка.
Попробуйте повторить позже
Пусть — простое число. Назовем вычет биквадратичным по модулю если существует вычет такой, что Докажите, что тогда и только тогда, когда его множества квадратичных и биквадратичных вычетов совпадают.
Из общей теории известно, что количество квадратичных вычетов по любому простому равно Отметим, что любой биквадратичный вычет является и квадратичным (), поэтому их количество не превосходит Тем самым, задача равносильна проверке того, что только для простых вида количество биквадратичных вычетов равно
Рассмотрим биквадратичные вычеты Покажем, что никаких других биквадратичных вычетов нет. Рассмотрим произвольную четвертую степень натурального числа Ее основание, поделим на с остатком: Справедливо, что причем либо либо Поскольку множество биквадратичных вычетов определяется как множество остатков, которые дают четвертые степени натуральных чисел по модулю утверждение доказано. Покажем теперь, что среди есть одинаковые вычеты по модулю тогда и только тогда, когда для некоторого натурального Ясно, что это утверждение равносильно нашей задаче.
Проведем рассуждение, являющееся цепочкой равносильных переходов. Среди
есть два равных остатка по модулю тогда и только тогда, когда существуют и
Ясно, что ни , ни не делится на поэтому Следовательно, для такого что и справедливо, что и и являются квадратичными вычетами по модулю Из мультипликативности символа Лежандра это означает, что является квадратичным вычетом по модулю что верно для простых вида и только для них (следует, например, из критерия Эйлера). Итак, мы доказали, что среди есть два равных остатка по модулю тогда и только тогда, когда что и требовалось.
Ошибка.
Попробуйте повторить позже
Решите в целых числах уравнение
Запишем уравнение в виде Из такой записи очевидно, что Докажем, что всегда делится на некоторое простое Будем пользоваться тем, что любое число, сравнимое с по модулю имеет простой делитель вида так как произведение любого набора таких чисел вида само имеет остаток по модулю
(a) – четное число. В таком случае Остается применить утверждение.
(b) В таком случае Применим утверждение. Так как оно тоже имеет простой делитель вида
(c) . В таком случае Тогда и что невозможно.
Итак, для некоторого Значит, является квадратичным вычетом по модулю Число является квадратичным вычетом по любому простому модулю, и из мультипликативности символа Лежандра тогда следует, что является вычетом по модулю Однако из общей теории мы знаем, что является вычетом по простому модулю тогда и только тогда, когда Поскольку мы пришли к противоречию, уравнение из условия задачи решений не имеет.
Решений нет
Ошибка.
Попробуйте повторить позже
Подсказка 1, пункт а
Как доказывать, что все простые делители числа вида 4k+1? Например, можно сказать, что -1 является квадратичным вычетом. Откуда это взять? Вспомните, в какой формуле сокращенного умножения есть что-то похожее на n^4-n^2+1.
Подсказка 1, пункт б
Как такое можно доказывать? Можно найти показатель числа n по модулю 12. Поймите, что показатель может быть лишь 4 или 12. Но 4 нас не устраивает. Как отсеять этот вариант?
(a) Ясно, что не является делителем Любой простой нечетный делитель числа является делителем и так как Итак, если то является квадратичным вычетом по модулю Как мы уже ни раз отмечали, является квадратичным вычетом по модулю тогда и только тогда, когда
(b) Найдем показатель числа по модулю Поскольку то значит Так как значит либо либо Если то откуда Тогда – противоречие.
Итак, Согласно малой теореме Ферма, откуда или – что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Подсказка 1, пункт а
В этой задаче можно явно написать формулу a_i. Что делать дальше? Примените критерий Эйлера и воспользуйтесь тем, что 3 не является квадратичным вычетом.
Подсказка 1, пункт б
Вспомните про существование показателя. По какому модулю и какому основанию стоит его рассмотреть?
Подсказка 2, пункт б
Рассмотрите показатель числа 3 по модулю m. Поймите, что он должен быть равен m-1. Почему это плохо? Воспользуйтесь теоремой Эйлера и придите к противоречию.
(a) По индукции несложно доказать, что для всех натуральных Тогда понятно, что Заметим, что то есть не является квадратичным вычетом по модулю . Тогда из критерия Эйлера, что и требовалось.
(b) Пусть — составное число, и выполнена делимость. Отметим, что и взаимно просты (), поэтому определено понятие показателя по модулю Рассмотрим показатель числа по модулю Из получаем откуда делится на то есть является степенью двойки. С другой стороны из первого сравнения получаем откуда
Теперь воспользуемся теоремой Эйлера: согласно ей, Поскольку – составное, то Получается, что но причем – натуральное число. Это невозможно, поэтому мы достигли противоречия.
Ошибка.
Попробуйте повторить позже
Решите уравнение в целых числах
Перепишем уравнение в виде Отметим, что правая часть не кратна так как либо Пусть – простой делитель левой части, не равный или Ясно, что так как правая часть уравнения не делится на Тогда откуда разумеется, является квадратичным вычетом. Из мультипликативности символа Лежандра, Ясно, что поэтому является квадратичным вычетом по модулю Запишем квадратичный закон взаимности:
откуда является квадратичным вычетом по модулю Согласно критерию Эйлера, Таким образом мы получили, что любой простой делитель отличный от и сравним с по модулю
Среди чисел ровно одно кратно поэтому оно же и кратно Если какое-то из этих трех чисел является нечетным, то оно сравнимо с по модулю поскольку оно делится на в четной степени, а все остальные его простые делители сравнимы с по модулю Если нечетные, то обязательно но тогда хотя правая часть не кратна – противоречие. Получается, что – нечетное. По замечанию, Но тогда либо либо делится на хотя правая часть не кратна – противоречие.
Выходит, что у нет других простых делителей кроме и Так как одно из трех чисел кратно Два других числа могут быть кратны только двум, поэтому оба должны быть степенью (причем, из-за неравенства, ненулевой). Ясно, что этими числами обязаны быть и Две степени двойки отличаются на только если одна из них равна а другая В таком случае что противоречит неравенству выше. Таким образом, у уравнения решений нет.
Нет решений
Ошибка.
Попробуйте повторить позже
Пусть — все квадратичные вычеты по простому модулю Докажите, что
Подсказка 1
Работая с квадратичными вычетами, полезно написать многочлен x^((p-1)/2)-1. Откуда можно взять тут сумму кубов? Причем тут p>7?
Подсказка 2
Воспользовавшись теоремой Виета, выразите сумму кубов по модулю p. Поймите причем тут p > 7.
Рассмотрим многочлен над Заметим, что будет корнем этого многочлена тогда и только тогда, когда квадратичный вычет по модулю Тогда числа и будут корнями этого многочлена.
Простое больше поэтому Тогда коэффициенты многочлена перед равны нулю.
Из теоремы Виета получим, что:
Далее выразим сумму кубов
Ошибка.
Попробуйте повторить позже
Найдите все натуральные и удовлетворяющие равенству
Далее в решении, как обычно, — показатель наибольшей степени простого числа делящей
Пусть Тогда
следовательно,
С другой стороны, по формуле Лежандра, верно неравенство
Приравнивая показатели, имеем
Кроме этого заметим, что
Мы хотим показать, что для всех верно
что влечет невозможность равенства для указанных
Для имеем
Пусть тогда
Таким образом, необходимо проверить выполнение исходного равенства для Имеем
Наконец, уравнение имеет два решения