「初等整数論/べき剰余」の版間の差分
削除された内容 追加された内容
M 分割に合わせリンク先変更 |
M 初等整数論/フェルマーの小定理の分割に伴い修正 |
||
50 行
再び定理 2.9 から
<math>a^{\frac{p-1}{2}} \not\equiv 1 \pmod{p}.</math> このとき[[初等整数論/
<math>(a^{\frac{p-1}{2}})^2 = a^{p-1} \equiv 1 \pmod{p}.</math>
82 行
<math>(p-1)! \equiv a^{\frac{p-1}{2}} \pmod{p}</math>
<math>a = 1</math> は自明に前に属すので <math>(p-1)! \equiv -1 \pmod{p}</math>（すなわち[[初等整数論/
*<math>\left( \frac{a}{p} \right) = 1 \Rightarrow a^{\frac{p-1}{2}} \equiv 1 \pmod{p}</math>
| |||