素数が無限であることの証明について。
http://homepage2.nifty.com/mathfin/hairihou/hair …
素数が無限個でないことがある。すなわち,素数が有限個であることがあると仮定し、
(反例の存在を仮定)
その個数をn個とする。すべての素数を小さい方から順に
P1,P2,P3 ,・・・・・・,Pn
とおける。ここで,
P = P1×P2×P3×・・・・・・×Pn + 1
により,自然数Pをつくると,
Pは, P1,P2,P3 ,・・・・・・,Pn のいずれで割っても1余る。
よって,Pは1と自分自身以外に約数を持たないから素数である。
これはPnよりも大きい素数が存在することを意味しており,矛盾が生ずる。
よって,素数が有限個であることはない(反例は存在しない)
ゆえに,素数は無限に存在する
---------------------------------------------
P=2 × 3 × 5 × 7 × 11 × 13 + 1 = 59 × 509 という反例がありますが、
上記の証明は間違いということですか?
A 回答 (16件中1~10件)
- 最新から表示
- 回答順に表示
No.16
- 回答日時:
>【全ての素数の積+1】が素数以外の数で割れる可能性もあると思うのですが。
ある数があったとして、素数以外の数で割りきれると言うことは、素数以外の数を割りきる数値があるということだろ? たとえばnが12(素数じゃないね)で割り切れると言うことは、12=2*2*3だから、2ないし3という素数で割りきれるだろ? 結局どんな素数をもってきても割りきれなければ、その数は素数になっちゃうわけさ。
No.15
- 回答日時:
>この回答へのお礼
>最大の素数まで(のn個の素数)をもってきて計算してみてください。
「素数は無限」という事実(証明は理解できていないが)があるのに、最大の素数を持ってこいというのは無理だと思いますが。
素数は無限(に存在する)という事実を認めるのですね。
めでたしめでたし
ついでに,「反例」が反例になっていないという事実も認めてください。
No.14
- 回答日時:
>P=2 × 3 × 5 × 7 × 11 × 13 + 1 = 59 × 509 という反例がありますが、
>上記の証明は間違いということですか?
P は 7 を超える素数 {59, 509} の積、という例ですネ。
「P は素数、または max {pk} を超える素数の (合成?) 積」
つまり、(仮想) 最大素数 11 を超える (少なくとも 1 個の) 素数が存在する。
といえば、反例じゃなくなりそう。
No.13
- 回答日時:
ご質問いただきました。
>とありますが、
P=2 × 3 × 5 × 7 × 11 × 13 + 1
の場合は、Pは素数ではないとおもいますが。
そうです。
「素数が有限個で, 2,3,5,7,11,13 だけ(最大の素数は13) とする仮定」が誤りだからです。
上のPが素数でないことは全然問題ではありません。
最大の素数まで(のn個の素数)をもってきて計算してみてください。
>最大の素数まで(のn個の素数)をもってきて計算してみてください。
「素数は無限」という事実(証明は理解できていないが)があるのに、最大の素数を持ってこいというのは無理だと思いますが。
No.12
- 回答日時:
No.10です。
「反例」について意見を述べましたが,訂正します。
この反例は,何に対する反例か?
もし素数が,2,3,5,7,11,13 までの有限個しかないと仮定した場合,
すなわち 最大の素数が存在して,それは13だとした場合,59も509も(どちらも13より大きいから)素数ではなく,合成数でなければならない。という(事実に反する)結論が得られます。
素数の範囲(2,3,5,7,11,13)同士の掛け算でこの数(=P)が表されなければ,
上の証明に対する反例になりません。
No.11
- 回答日時:
>なぜなら【全ての素数の積+1】は全ての素数で割りきれないだろ。
>必ずあまりが1となる。だから【全ての素数の積+1】は素数になるしかないのだよ。
「しかない」じゃ数学にならないです。しっかり証明しないと。
もちろん素数が無数であることを前提にした定理は使えませんので
「自身以外の素数で割り切れない数は素数」は当然使用禁止です(^^;
No.10
- 回答日時:
話が混乱しているようなので,整理します。
1)素数が無限個存在する ということの証明として,
http://homepage2.nifty.com/mathfin/hairihou/hair …
に書かれていることは正しいです。
2)反例として示されている式は,反例になっていません。
2×7+1=3×5
が反例になりますか?
3)「上記の証明」は間違いではありません。
「反例」と称する式が,まったく反例になっていないのです。
当該URLで、----------------------------------------
P = P1×P2×P3×・・・・・・×Pn + 1
により,自然数Pをつくると,
Pは, P1,P2,P3 ,・・・・・・,Pn のいずれで割っても1余る。
よって,Pは1と自分自身以外に約数を持たないから素数である。
------------------
とありますが、
P=2 × 3 × 5 × 7 × 11 × 13 + 1
の場合は、Pは素数ではないとおもいますが。
No.9
- 回答日時:
< ANo.5 へ。
>>max{Pn} を超える素数
>がよく理解できておりません。
↓
max{Pn} は、P1,P2,P3 ,・・・・・・,Pn
> すべての素数を小さい方から順に P1,P2,P3 ,・・・・・・,Pn とおける。
でいえば、最大の Pn を指す。
つまり、
P が 1 および P 自身以外に約数を持つとすれば、それは Pn を超える素数である。
と書いたわけですが、正しくは、QNo.8698323 の ANo.2 に記したように、
「P は素数、または max {pk} を超える素数の (合成?) 積」
なんでしょうネ。
No.7
- 回答日時:
>【全ての素数の積+1】が素数でない可能性もあると思いますが。
ないのだよ。なぜなら【全ての素数の積+1】は全ての素数で割りきれないだろ。必ずあまりが1となる。だから【全ての素数の積+1】は素数になるしかないのだよ。そうすると、今まで考えてた全ての素数より大きい素数があるという矛盾に陥る。これは有限だと仮定したからなのよ。だから無数にあることになる。
2 × 3 × 5 × 7 × 11 × 13 + 1 が素数とは限らないのは、全ての素数で割りきれないとは言えないからだよ。実際59という素数では割りきれるだろ。
追記のご回答ありがとうございます。
>【全ての素数の積+1】は全ての素数で割りきれないだろ。
これは理解できましたが、
2 × 3 × 5 × 7 × 11 × 13 + 1 が素数とは限らない、があるように、
【全ての素数の積+1】が素数以外の数で割れる可能性もあると思うのですが。
(この辺の知識・理解が不足しています)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 『最後の自然数はどんな数か』 3 2023/06/26 20:38
- 数学 環論の素元について 6 2022/05/09 04:04
- 数学 複素関数にロピタルの定理を使おうとしている回答者は、複素関数論はおろか微積分学もよく分かっていない、 5 2022/12/28 18:02
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 数学 素数 6 2023/04/11 05:51
- 数学 実数同士の全単射写像について 2 2023/07/05 17:12
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 確率の最大値を求める方法について 確率 Pn<P(n+1)⇄Pn/P(n+1)<1のときと Pn>P 2 2022/07/29 20:15
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「証明証」と「証明書」はどう...
-
(4^n)-1が3の倍数であることの...
-
0.9999…=1がわからない
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
どっちと思いますか
-
三角形の合同条件
-
じゃらんで旅行予約をしたので...
-
夫が亡くなった後の義理家族と...
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
コラッツ予想が証明できた
-
素数の平方根は無理数である。
-
直角三角形の性質
-
3の倍数であることの証明
-
素数の積に1を加算すると素数で...
-
姻族関係終了届で継子とも縁切...
-
有理数が可算無限であることの証明
-
数学の等周定理、等周問題と呼...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
証明終了の記号。
-
図形の証明は、日常で役立ちま...
-
数学の証明問題で、「証明終了」...
-
直角三角形の性質
-
大学の二次試験で・・・
-
3,4,7,8を使って10を作る
-
素数の性質
-
円周率=∞の証明
-
「証明証」と「証明書」はどう...
-
(4^n)-1が3の倍数であることの...
-
なぜ独身だと養子が持てないの...
-
群論に関して, 明らかとしか思...
-
よって・ゆえに・したがって・∴...
-
Wikipedia って便利ですね。 よ...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
再婚、奨学金
-
婿養子です、妻と離婚して妻の...
-
正解が一つとは限らない数学の...
おすすめ情報