「初等整数論/べき剰余」の版間の差分
削除された内容 追加された内容
Angol Mois (トーク | 投稿記録) |
Angol Mois (トーク | 投稿記録) |
||
38 行
'''証明 1'''<br />
[[初等整数論/合同の応用#定理 2.9|定理 2.9]] から <math>x^2 \equiv a \pmod{p}</math> が解を持つ <math>\iff \left( \frac{a}{p} \right) = 1</math> のとき、
<math>f = \frac{p-1}{(2, p-1)}, \ \ a^f \equiv 1 \pmod{p}.</math>
| |||