[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
433(1): １３２人目の素数さん [sage] 2023/07/20(木)16:24 ID:FEBkw6pf(1/4)
>>430
>n^2<p<n(n+1)のpが全て合成数であるnのときのアルゴリズムが分からない
>ここに全てと書いていますが、これは関係ありません。合成数であるpに対しては、そのp全てに対して
rと一対一の関係が設定できる
関係あります。
背理法である以上、n^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在することを仮定しています。
その特定のnをNとしましょう。
N^2<p<N(N+1)を満たすpは全て合成数になります。
2.におけるあなたの主張は、このN^2<p<N(N+1)を満たす合成数p"全て"に対しても特定のアルゴリズムを用いるとrと1対1を作成できると言っています。
3.の鳩の巣原理通り、当然それは不可能です。
それは背理法でもなんでもありません。
あなたはルジャンドル予想が正しければ、2.のアルゴリズムとやらで1対1対応を作成できると主張し、
ルジャンドル予想が間違っていれば、鳩の巣原理上、そのアルゴリズムでは1対1対応を作成できないと3.で主張してるだけです。
矛盾しているのは、2.のアルゴリズムでは、n^2<p<n(n+1)のpが全て合成数であるNが存在しないから、そのようなNを考えなくてよいと、事実上ルジャンドル予想が正しいと既に仮定していることと
3.の鳩の巣原理で、n^2<p<n(n+1)のpが全て合成数であるNが存在しているというルジャンドル予想が間違っているという仮定、
それぞれの仮定が矛盾しているだけです。
背理法でルジャンドル予想が正しいことを示すなら、2.の証明でルジャンドル予想が間違っているという仮定のもと、
N^2<p<N(N+1)を満たす合成数ｐ"全て"について、なんらかのアルゴリズムによってrと1対1対応を作成できることを示さないといけません。
435(3): １３２人目の素数さん [sage] 2023/07/20(木)17:57 ID:FEBkw6pf(2/4)
>>434
＞n^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在することを仮定
このようなことは仮定していません。私が仮定したのは>>414に書いたとおり任意のnに対してです。
＞1. n^2<p<n(n+1)のpが全て合成数であると仮定する
任意のnに対して、というのは
①∀n,n^2<p<n(n+1)を満たすpが全て合成数
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
のどちらですか？
②ですよね？
まさか①とか言わないですよね？
①の場合、論外ですよ
437(3): １３２人目の素数さん [sage] 2023/07/20(木)19:06 ID:FEBkw6pf(3/4)
>>436
ルジャンドル予想は
任意の自然数 n について、n2 と (n + 1)2 の間には必ず素数が存在するという予想である。
https://ja.m.wikipedia.org/wiki/%E3%83%AB%E3%82%B8%E3%83%A3%E3%83%B3%E3%83%89%E3%83%AB%E4%BA%88%E6%83%B3
ルジャンドル予想の逆は、
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
です。
①∀n,n^2<p<n(n+1)を満たすpが全て合成数
が成立しないのは、
アルゴリズムとやらを用いずとも
n=3なら、11が素数
n=4なら、17が素数etcetcのどれか一つを挙げれば明らかで誰も興味がありません。
背理法でルジャンドル予想を証明する際には、ルジャンドル予想の逆
②∃n,n^2<p<n(n+1)を満たすpが全て合成数
を仮定します。
439: １３２人目の素数さん [sage] 2023/07/20(木)19:57 ID:FEBkw6pf(4/4)
高木くんより簡潔なルジャンドル予想の証明
1. ∀n≧3、n^2<p<n(n+1)のpが全て合成数であると仮定する
2.n＝3のとき、11は3^2<p<3(3+1)を満たし、かつ素数であり、1.に矛盾■
これで私も数学賞だ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.849s*