「初等整数論/べき剰余」の版間の差分
削除された内容 追加された内容
Angol Mois (トーク | 投稿記録) |
Angol Mois (トーク | 投稿記録) |
||
44 行
ここで、<math>(2, p-1) = 2</math> より、<math>a^{\frac{p-1}{2}} \equiv 1 \pmod{p}</math>
したがって <math>\left( \frac{a}{p} \right) \equiv 1 \pmod{p}.</math>
逆に <math>\iff \left( \frac{a}{p} \right) = -1</math> のとき、
|