
A 回答 (2件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
ウィルソンの定理(式は表せないのでおかしい所がかなりある)は証明されています。
p が合成数のとき,22 から p-1p−1 の中には pp の約数が含まれているので,(p-1)!(p−1)! を pp で割った余りはその約数の倍数です。つまりウィルソンの定理の右から左(の対偶)が分かります。
重要なのは左から右です。
実際に pp が小さい場合に実験してウィルソンの定理の主張を確認してみます。
例
p=2 → 1\equiv -1\pmod{2}p=2→1≡−1(mod2)
p=3 → 2\equiv -1\pmod{3}p=3→2≡−1(mod3)
p=5 → 24\equiv -1\pmod{5}p=5→24≡−1(mod5)
p=7 → 720\equiv -1\pmod{7}p=7→720≡−1(mod7)
合同式に慣れていない人は合同式の意味とよく使う6つの性質を参考にしてください。
以下\bmod{p}modp の表記を省略します。
ウィルソンの定理の証明では特に,合同式の性質:
「ab\equiv acab≡ac で,aa と pp が互いに素なら b\equiv cb≡c 」
が重要になります。
以下ではウィルソンの定理の証明を2通り解説します。
ウィルソンの定理の証明1
nn が小さい場合に証明しようとすれば自然に出てくる発想です。
(7-1)!=1\cdot 2\cdot 3\cdot 4\cdot 5\cdot 6\\ =(5\cdot 3)(4\cdot 2)\cdot 1\cdot 6\equiv 6\equiv -1\pmod{7}(7−1)!=1⋅2⋅3⋅4⋅5⋅6
=(5⋅3)(4⋅2)⋅1⋅6≡6≡−1(mod7)
方針
p-3p−3 個の数 2,3,\cdots,p-22,3,⋯,p−2 を2つずつペアにして消していきます。そのために,mm を固定して mn\equiv 1mn≡1 となるような相方 nn を探します。そのときに整数の有名な性質「 m,2m,3m\cdots,(p-1)mm,2m,3m⋯,(p−1)m を pp で割った余りはすべて異なる」が使えます。(この性質の証明は一次不定方程式ax+by=cの整数解の「ax+by=1についての証明」の下側参照)
証明
p=2p=2 のときは成立。以下 p\geq 3p≥3 の場合について考える。
m,2m,3m\cdots,(p-1)mm,2m,3m⋯,(p−1)m を pp で割った余りはすべて異なるので,
mn\equiv 1mn≡1 となる nn が 11 から p-1p−1 の間にただ1つ存在する(注1)。
そのような nn が,mm と等しい場合は困るのでそのような良くない場合を探す:
m^2\equiv 1m
2
≡1
つまり,(m-1)(m+1)\equiv 0(m−1)(m+1)≡0
合同式の性質より m-1\equiv 0m−1≡0 または m+1\equiv 0m+1≡0
よって,m\neq 1,p-1m
=1,p−1 のときは m\neq nm
=n となる。
よって,2,3,\cdots p-22,3,⋯p−2 の中でそのような mm と nn のペアを \dfrac{p-3}{2}
2
p−3
個作ることにより,
(p-1)!\equiv 1^{\frac{p-3}{2}}\cdot 1\cdot (p-1)(p−1)!≡1
2
p−3
⋅1⋅(p−1)
が分かりウィルソンの定理が示された。
注1:群論の言葉を使えば「 pp の剰余群の任意の元が逆元を持つ」と簡潔に表現できます。
ウィルソンの定理の証明2
方針
フェルマーの小定理を用います。発想力が必要なエレガントな証明です。
証明
f(x)=x^{p-1}-1f(x)=x
p−1
−1
という関数を考える。
フェルマーの小定理より,x=1,2,\cdots,p-1x=1,2,⋯,p−1 に対して,
f(x)\equiv 0f(x)≡0
なので,剰余の定理より(注2),任意の整数 xx に対して,
f(x)\equiv(x-1)(x-2)\cdots(x-p+1)f(x)≡(x−1)(x−2)⋯(x−p+1)
となる。
この式の xに 0を代入すると,
(-1)^{p-1}(p-1)!\equiv -1(−1)
p−1
(p−1)!≡−1
p=2 のときは自明に成立し,それ以外のとき p は奇数なのでウィルソンの定理を得る。
注2:厳密には合同式における剰余の定理も証明する必要がありますが省略します。
ちなみに,原始根の存在定理を仮定すれば原始根を使っても証明できます。→位数の性質と原始根の応用
知名度は高くないですがなかなかにエレガントな定理です
No.1
- 回答日時:
「アマチュア数学者は…上げられないだろう」の発言は、どこの誰がされたんでしょう?
話は変わりますが、当時の慶大院生2人による以下の発見は、痛快に思えました!
https://www.keio.ac.jp/ja/press-releases/2018/9/ …
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
プロが教える店舗&オフィスのセキュリティ対策術
中・小規模の店舗やオフィスのセキュリティセキュリティ対策について、プロにどう対策すべきか 何を注意すべきかを教えていただきました!
-
僕が導入した代数学の研究はすでに見つかっているのでしょうか?
数学
-
「素数姫の素数入門」という本の質問です。
数学
-
メルセンヌ素数探しについて。
数学
-
4
①lim x→∞で1/xだった場合は発散しないため限りなく0に近い解が求められるのでしょうか? 例え
数学
-
5
0を移項したら、+?ー?どっち? 例えば、A=0+B→A+0=B?Aー0=B?
数学
-
6
「1は素因数が2と3だけである」 って正しいですよね? パープリンどもの主張をずっと読んでいると、こ
数学
-
7
帰納法
数学
-
8
皆様に期待していたのですが、ピリッとした回答が一つもこない。仕方ないので自分で考えることにしました。
数学
-
9
10進法って最小ですか? つまり……、 nとa_k(k=0,1,2,…n)が0以上の整数のとき Σ[
数学
-
10
テキストに打ち込むのが大変なので手書きの写真で失礼します。見づらかったら言ってください(T_T) <
数学
-
11
√2×√3=√6となることを証明せよ。という課題が出たのですが、下の答えで大丈夫でしょうか?間違って
数学
-
12
以前質問させて頂いたのですが、 ii) a=1 r>2 C={z||z-a|=r} f(z)=1/(
数学
-
13
「4は素因数が2と3だけである」 って正しいですよね? どういうわけかこれを間違っている(偽の命題)
数学
-
14
これって正しいんじゃないの? 「無理数を小数で表現すると、小数点以下に数字が無限に続きますが、それら
数学
-
15
画像の質問に答えて頂けないでしょうか? どうかよろしくお願い致します。
数学
-
16
何故写真のように式変形できるのですか?
数学
-
17
サイエンスライターの桜井進さんの評価はなぜ低いのでしょうか?
数学
-
18
素因数が2と3だけである正の整数のうち最も小さいものって何でしょうか?
数学
-
19
コラッツ予想の証明してみました。
数学
-
20
既存の数列のランダム性について(初歩的質問)
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
人気Q&Aランキング
-
4
60代男性の女性に対する本音...
-
5
婿養子です、妻と離婚して妻の...
-
6
なぜ独身だと養子が持てないの...
-
7
数学の「証明」のときなどの接...
-
8
3,4,7,8を使って10を作る
-
9
ルービックキューブを数学的に...
-
10
夫が亡くなった後の義理家族と...
-
11
数学の証明問題で、「証明終了」...
-
12
よって・ゆえに・したがって・∴...
-
13
証明できました
-
14
跡を継ぐということの意味
-
15
図形の証明は、日常で役立ちま...
-
16
「証明証」と「証明書」はどう...
-
17
背理法を使うとき
-
18
「・・・のとき」という言葉の...
-
19
大学の二次試験で・・・
-
20
再婚、奨学金
おすすめ情報
公式facebook
公式twitter