数学を同時に学べるサイトです。よる専門的な数値解析も扱っています。証明しますが、その前に少し準備をします。m\]を考えてみます。(\mathrm{mod}\:8)\]となります。(\mathrm{mod}\:m)\]となります。ある場合は少しだけ複雑になります。あるから割り切れたのです。そんなことは、ほとんど自明であるように思えますが、こうならない例が1つだけあるのです。割り切ることができません。割り切れることになります。割ったときの余りはいくらになるかを考えます。(\mathrm{mod}\:7)\]となります。(\mathrm{mod}\:p)\]が成り立っているのではないかと推測できます。(\mathrm{mod}\:p)\]と因数分解できます。(\mathrm{mod}\:p)\]となります。素数でなくとも成り立つかもしれません。と合同にはなりません。(\mathrm{mod}\:p)\]となります。(証明終)とはいえ、ウィルソンの定理を素数判定に用いるのはのは実用的ではありません。オーバーフローしてしまいます。コメントをキャンセルメールアドレスが公開されることはありません。コメント名前メールサイト次回のコメントで使用するためブラウザーに自分の名前、メールアドレス、サイトを保存する。