Символ Лежандра, критерий Эйлера

НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.

meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

Эта статья находится в разработке!

Символ Лежандра, критерий Эйлера

Определение:

[math]\left(\cfrac{a}{p}\right)[/math] — называется символом Лежандра, если [math]\left(\cfrac{a}{p}\right)=1[/math], когда [math]a[/math] — квадратичный вычет по модулю [math]p[/math], и [math]\left(\cfrac{a}{p}\right)=-1[/math], когда [math]a[/math] — квадратичный невычет по модулю [math]p[/math], [math]p\in\mathbb{P}[/math].

Теорема (Критерий Эйлера):

Пусть [math]p\gt 2 \text{; }p \in \mathbb{P}[/math]. Число [math]a[/math], взаимнопростое с [math]p[/math], является квадратичным вычетом по модулю [math]p[/math] тогда и только тогда, когда [math]a^{\frac{p-1}{2}}\equiv 1(mod\text{ }p)[/math], и является квадратичным невычетом по модулю [math]p[/math] тогда и только тогда, когда [math]a^{\frac{p-1}{2}}\equiv -1(mod\text{ }p)[/math]. То есть [math]\left(\cfrac{a}{p}\right)\equiv a^{\frac{p-1}{2}}(mod\text{ }p)[/math].

Доказательство:

[math]\triangleright[/math]

Рассмотрим три утверждения: (1) [math]x^2\equiv a (mod~ p)[/math] (2) [math]a^{\frac{p-1}{2}}\equiv 1 (mod~p)[/math] (3) [math]a^{\frac{p-1}{2}}\equiv -1 (mod~p)[/math] Сначала докажем, что [math]a[/math] одновременно удовлетворяет только одному сравнению (2) или (3). [math]a^{\phi (p)}=1(mod ~ p)[/math], отсюда [math]0=a^{\phi(p)}-1 (mod ~p)=a^{p-1}-1 (mod ~p)= (a^{\frac{p-1}{2}}-1)\cdot(a^{\frac{p-1}{2}}+1) (mod ~ p)[/math], значит хотя бы один из сомножителей должен делиться на [math]p[/math]. Но они не могут делиться на [math]p[/math] одновременно, так как их разность равна [math]\pm 2[/math], а [math]p\gt 2[/math] Теперь возведем обе части сравнения (1) в степень [math]\frac{p-1}{2}[/math]. Получим [math]x^{p-1}=a^{\frac{p-1}{2}} (mod ~p)[/math]. Но [math]x^{p-1}=1(mod ~p)[/math], значит если [math]a[/math] удовлетворяет сравнению (1), то выполняется и сравнение (2). Рассмотрим последовательность чисел [math]1,~2,~\dots ,~ p-1[/math], или, что то же самое, [math]1,~2,~\dots,~\frac{p-1}{2},~ \frac{p+1}{2}-1,~\dots,~p-1[/math]. Очевидно, что [math]1^2\equiv (p-1)^2,~ 2^2\equiv (p-2)^2,~\dots (\frac{p-1}{2})^2 \equiv (\frac{p+1}{2})^2[/math] по модулю [math]p[/math]. Значит существует только [math]\frac{p-1}{2}[/math] различных квадратов чисел по модулю [math]p[/math]. Обозначим их [math]a_1,~a_2,~\dots,~a_{\frac{p-1}{2}}[/math]. Если [math]a[/math] равно любому [math]a_i[/math], то сравнение (1) имеет решение, следовательно сравнение (2) так же выполняется для всех [math]a_i[/math]. Но сравнение (2) не может иметь более [math]\frac{p-1}{2}[/math] различных решений, следовательно оно имеет ровно столько решений. Отсюда же следует, что и сравнение (3) имеет ровно [math]\frac{p-1}{2}[/math] различных решений, и при [math]a[/math], равном любому из этих решений, сравнение (1) решений не имеет.

[math]\triangleleft[/math]

Утверждение:

Произведение двух квадратичных вычетов будет вычетом, двух невычетов — вычетом, вычета и невычета — невычетом.

[math]\triangleright[/math]

[math]\left(\cfrac{a\cdot b}{p}\right)=(a\cdot b)^{\frac{p-1}{2}}=a^{\frac{p-1}{2}}\cdot b^{\frac{p-1}{2}}=\left(\cfrac{a}{p}\right)\cdot \left(\cfrac{b}{p}\right)[/math]. Зная, что [math]1\cdot 1=1,~(-1)\cdot(-1)=1, ~ 1 \cdot (-1)=-1[/math], получаем требуемое.

[math]\triangleleft[/math]