[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
463(1): １３２人目の素数さん [sage] 2023/07/21(金)12:59 ID:taneMacz(1/2)
>>462
＞「任意(n≧3のどれか一つ)のnに対して、範囲にある全てのpが合成数である。」
の仮定から、＞「n^2<p<n(n+1)を満たすpが全て合成数であるnが少なくとも一つ存在する。」
が導かれます。
2. の段階では、＞n^2<p<n(n+1)を満たすpが全て合成数であるnが少なくとも一つ存在していることを前提に証明しないといけません。
それが背理法です。
＞「n^2<p<n(n+1)を満たすpが全て合成数であるnが少なくとも一つ存在する。」こうなるn(n≧3)は存在しない。
を前提に2.を証明するのは、1.の仮定に反した前提を用いているので、証明できたところで背理法ではありません。
464(1): ◆pObFevaelafK [sage] 2023/07/21(金)13:14 ID:yiCl/Rb1(6/15)
>>463
＞n^2<p<n(n+1)を満たすpが全て合成数であるnが少なくとも一つ存在していることを前提に証明しないといけません。
前提ではありません。pが全て合成数であるということを仮定していて、全てのn(n≧3)でこの仮定が偽であることを
証明しています。
＞を前提に2.を証明するの
これは前提ではない。背理法による結論だ。何を書いているんでしょうか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s