No.6ベストアンサー
- 回答日時:
それは間違っています。
反例 :
2×3×5×7×11×13 +1 = 30031 = 59×509
なんだか回答者の皆さんも「素数が無限個ある証明」と混同されているようですが、質問の式の誤りは、
「掛け合わせられた最大の素数より大きい素因数がある」
可能性が考えられていない点です。
素数無限個の証明では、「有限個存在する全素数」を掛け合わせているのがこの問題と異なる点です。
具体例をありがとうございます!
すっきりしました。
先程から、「すげー、すげー、すげー」と連発していたらまわりから
ウザがられています。:)
> 2×3×5×7×11×13 +1 = 30031 = 59×509
この1文が全てを語っていますね。
13を素数の最大値と仮定すると、30031は素数or合成数である。
(素数の場合は一旦無視して)
合成数は素数を持つはずだが2,3,5,7,11,13にはない。
(59,509の素数の存在を示唆している)
おー、すげー。やっぱりすげー。
数字が面白くなってきました。
ありがとうございます!
No.5
- 回答日時:
最初の回答者です。
コメントにお答えします。
> 素数1*素数2*素数3*素数4*素数5*・・・*素数n + 1
> は素数であるから、仮定に反する。
なぜ割り切れないと証明出来るのでしょうか?
割り切れないから素数だと思うのですが、
素数1*素数2,,,,に1を加算して素数になる理由が分かりません。。
私、なにか根本的なところで勘違いしていますでしょうか(汗)
(こーゆーのは中学生ぐらいで習ってたのかな・・・)
割ると、あまりが1になります。
素数1*素数2*素数3*素数4*素数5*・・・*素数n + 1
を素数1で割ると、
素数1*素数2*素数3*素数4*素数5*・・・*素数n
の部分は素数1で割り切れます。
ですから、お尻にある 1 があまります。
算数風の式で書けば、
(素数1*素数2*素数3*素数4*素数5*・・・*素数n + 1) ÷ 素数1 = 素数2*素数3*素数4*素数5*・・・*素数n あまり 1
これは、素数2~素数n のどれでやっても、同様です。
以上です。
No.4
- 回答日時:
>なぜ割り切れないと証明出来るのでしょうか?
割り切れるとは、余りが0になることです。
(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)を素数1,素数2,...で順番に割っていくと、どの素数で割ったときも余りが1になります。
余りが0ではないので、少なくとも素数1~素数nでは割り切れないということなのです。
この、"少なくとも"素数1~素数nでは割り切れない、という部分がミソです。
>割り切れないから素数だと思うのですが、
>素数1*素数2,,,,に1を加算して素数になる理由が分かりません。。
おそらく背理法をうまく理解していないのでしょうが。
結論から言います。(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)が必ず素数になるとは限りません。
前段までで、(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)は少なくとも素数1~素数nでは割り切れない事が分かりました。
次に二つの可能性が考えられます。
(1) (素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)は素数である。
(2) (素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)は合成数である。
まず、(1)だとすれば、(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)は素数です。
ですが(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)は素数1~素数nのどれよりも大きいので、(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)は素数1~素数n以外の素数である事になります。
つまり、素数1~素数n以外にも素数は存在したということで、素数1~素数nは素数の全てではなかったということになります。
次に、(2)だとすれば、(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)は合成数です。
合成数であるということは、何か素数を約数として持つはずです。そしてその素数で割れば割り切れるはずです。
ですが、先ほども示したように(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)は少なくとも素数1~素数nでは割り切れません。
ということは、素数1~素数n以外にも別の素数xが存在して、(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)は素数xであれば割り切れるということになります。
つまり、素数1~素数n以外にも素数xが存在するはずだということになって、素数1~素数nは素数の全てではなかったということになります。
結局、(1)の場合でも(2)の場合でも、素数1~素数n以外に素数が存在することになります。
素数を全部集めてきて素数1~素数nとしたはずなのに、捕まえきれていない素数xが存在することになる。
それはつまり、素数は有限個で全てではなく無限個存在するということなのです。
最後に、もう一度だけ確認しますね。
上に示した証明は、「素数は無限に存在する」証明であって、「(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)が素数である」証明ではありません。
実際、(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)は必ず素数になる訳ではなく、(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)が合成数になる場合もあります。
反例は、質問者さん自身で挙げていますね。
3*5+1=16
これが、(素数1*素数2*素数3*素数4*素数5*・・・*素数n+1)が必ず素数になる訳ではないという立派な証拠なのです。
ご親切な回答ありがとうございます。
途中で頭から煙が出てきましたが、理解できました。
素数1,素数2,素数3,素数n+1=素数 or 合成数
素数の場合、素数(当然ですが)。
合成数の場合、その値を構成する素数が存在するはずだが、
今まで出てきた素数には存在しないので、(割り切れないので)
今まで出てきている素数よりも大きな素数がある。
ということですね。
数字は面白いですね。
No.3
- 回答日時:
こんばんは。
1よりも大きな任意の整数a,bにおいて、
a×b+1
がaでもbでも割り切れない・・・というのは分かります?
では、1よりも大きな任意の整数a,b,c,dにおいて
a×b×c×d+1
がaでもbでもcでもdでも割り切れない・・・というのは?
そうです。これらの計算は全て「あまり1」になります。
ですが、ただの整数だと、aでもbでもcでもdでも割り切れないけど、eなら割り切れるかもしれません。
そこで、素数です。
同じ理屈で任意の素数a,b,cについて
a×b×c+1
は、a,b,cのいずれの素数でも割り切れません。ただ、「任意の」素数と置くと、質問者様のご指摘にあるように素数dや素数eで割り切れる可能性があります。
ですが、今回の設問は、2から順に全ての素数を掛け算していきますので、どの素数でも割り切れないということになります。もっと言えば、どの素数で割っても「あまり1」になります。
nよりも小さなどの素数でも割り切れないのですから、nも素数になります。
ご回答ありがとうございます。
>nよりも小さなどの素数でも割り切れないのですから、nも素数になります
合成数の可能性もあるそうです。
SortaNerd様の回答番号No.6を参照ください。
質問の定義そのものが間違えていました。
No.2
- 回答日時:
素数が無限にある証明についてでしょうか。
よくある勘違いですが、
>素数を順番に掛け算したものに対して1を加算すると素数になる
こう言っているのではありません。
正確には、
「素数を順番に掛け算したものに対して1を加算すると、その数は、素数であるか、もし素数でなければ(合成数であれば)これまでに登場していな素数を素因数として持つ」
と言っています。
>3*5+1=16
16は素数ではありませんが、16は、3、5以外の素因数2を持ちます。
> >素数を順番に掛け算したものに対して1を加算すると素数になる
> こう言っているのではありません。
ご回答ありがとうございます。
大変参考になりました。
No.1
- 回答日時:
こんばんは。
たぶん、素数が無限個あることの証明と混同されています。
<証明>
素数が有限個(n個)しかないと仮定し、
それらを、素数1、素数2、素数3、素数4、素数5、・・・、素数n
と置く。
仮定によれば、
素数1*素数2*素数3*素数4*素数5*・・・*素数n + 1
は素数ではない。
しかし、
素数1*素数2*素数3*素数4*素数5*・・・*素数n + 1
は、素数1~素数nのどれでも割り切れない。
つまり、
素数1*素数2*素数3*素数4*素数5*・・・*素数n + 1
は素数であるから、仮定に反する。
よって、素数は無限個ある。
以上、ご参考になりましたら幸いです。
この回答への補足
早速のお返事ありがとうございます。
ご指摘の通り、素数が無限個あることの証明から派生した疑問です。
> 素数1*素数2*素数3*素数4*素数5*・・・*素数n + 1
> は、素数1~素数nのどれでも割り切れない。
> つまり、
> 素数1*素数2*素数3*素数4*素数5*・・・*素数n + 1
> は素数であるから、仮定に反する。
なぜ割り切れないと証明出来るのでしょうか?
割り切れないから素数だと思うのですが、
素数1*素数2,,,,に1を加算して素数になる理由が分かりません。。
私、なにか根本的なところで勘違いしていますでしょうか(汗)
(こーゆーのは中学生ぐらいで習ってたのかな・・・)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
あるあるbotに投稿したけど採用されなかったあるある募集
あるあるbotに投稿したけど採用されなかったあるあるをこちらに投稿してください
-
フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
あなたが普段思っている「これまだ誰も言ってなかったけど共感されるだろうな」というあるあるを教えてください
-
映画のエンドロール観る派?観ない派?
映画が終わった後、すぐに席を立って帰る方もちらほら見かけます。皆さんはエンドロールの最後まで観ていきますか?
-
海外旅行から帰ってきたら、まず何を食べる?
帰国して1番食べたくなるもの、食べたくなるだろうなと思うもの、皆さんはありますか?
-
天使と悪魔選手権
悪魔がこんなささやきをしていたら、天使のあなたはなんと言って止めますか?
-
素数の無限この証明って
システム科学
-
睡眠中、挿入されたら気付きますか?
不感症・ED
-
負極と陰極
化学
-
-
4
well off というと「裕福な」と辞書ででます。
英語
-
5
数学の証明問題で、「証明終了」もしくはそれに代わるものは書かなければならないきまりですか?
数学
-
6
y=x^x^xを微分すると何になりますか?
数学
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
素数の性質
-
(4^n)-1が3の倍数であることの...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
証明の問題がわからないです
-
婿養子に入ったのに出て行けと...
-
証明終了の記号。
-
ゴールドバッハ予想について考...
-
婿養子です、妻と離婚して妻の...
-
親の再婚相手との問題です。私...
-
実息とは?
-
直角三角形の性質
-
1+1=2の証明って?
-
極限に関する証明について
-
rot rotA=grad divA-∇^2Aの証明...
-
正の整数a.b.cが a^2+b^2=c^2を...
-
よって・ゆえに・したがって・∴...
-
成人した後両親が離婚し別の人...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
素数の性質
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
夫が亡くなった後の義理家族と...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
婿養子です、妻と離婚して妻の...
-
親の再婚相手との問題です。私...
-
証明終了の記号。
-
(4^n)-1が3の倍数であることの...
-
婿養子に入ったのに出て行けと...
-
実息とは?
-
よって・ゆえに・したがって・∴...
-
無理数って二乗しても有理数に...
-
47歳、母親の再婚を子供の立場...
-
再婚、奨学金
-
ゴールドバッハ予想について考...
-
正解が一つとは限らない数学の...
-
再婚を考えてますが、養子縁組...
おすすめ情報