Глава 5. СРАВНЕНИЯ ВТОРОЙ СТЕПЕНИ
§ 1. Общие теоремы
a. Из сравнений степени в дальнейшем будут рассматриваться лишь простейшие, а именно — двучленные сравнения:
Если сравнение (1) имеет решения, то а называется вычетом степени по модулю . В противном случае а называется невычетом степени по модулю . В частности, при вычеты или невычеты называются квадратичными, при - кубическими, при - различными.
b. В этой главе мы подробно рассмотрим случай и в первую очередь рассмотрим двучленные сравнения второй степени по простому нечетному модулю :
c. Если а — квадратичный вычет по модулю , то сравнение (2) имеет два решения.
Действительно, если а — квадратичный вычет, то сравнение (2) имеет, по крайней мере, одно решение Но тогда, ввиду то же сравнение имеет и второе решение Это второе решение отлично от первого, так как из мы имели бы , что невозможно, ввиду
Указанными двумя решениями и исчерпываются все. решения сравнения (2), так как последнее, будучи сравнением второй степени, более двух решений иметь не может (с, § 4, гл. IV).
d. Приведенная система вычетов по модулю состоит из квадратичных вычетов, сравнимых с числами
и квадратичных невычетов.
Действительно, среди вычетов приведенной системы по модулю квадратичными вычетами являются те и и только те, которые сравнимы с квадратами чисел (приведенная система вычетов)
т. е. с числами (3). При этом числа (3) по модулю не
сравнимы, так как из , следовало бы, что сравнению , вопреки с, среди чисел (4) удовлетворяют четыре: