[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
418(1): １３２人目の素数さん [sage] 2023/07/20(木)00:43 ID:/IfjDcFC(3/3)
>>417
>その場合がないことを背理法で示している
背理法で証明したい命題は、
nの2乗<p<n(n+1)を満たすpが全て合成数となるnは存在しないだよね
背理法ということは、アルゴリズムがーの段階では、証明したい命題の逆、nの2乗<p<n(n+1)を満たすpが全て合成数となるnは存在すると仮定してないと駄目なわけ
証明したい命題の逆が成り立つとき、そのnについて、合成数pの個数はrの個数を上回るんだから、その場合のアルゴリズムも考えないと背理法にならないよ
いつもの高木くん式背理法だから、疲れてない時にでも落ち着いて考えなさいな
風邪を引いてるとき間違いを起こすんだっけ？ｗｗｗ
419(5): ◆pObFevaelafK [sage] 2023/07/20(木)04:52 ID:UeK8SHBR(3/17)
>>418
＞背理法ということは、アルゴリズムがー
そうしいているが？
＞その場合のアルゴリズム
は？何を書いているのか？論文では
1. n^2<p<n(n+1)のpが全て合成数であると仮定する
2. 合成数である場合にはpとrは全て1対1の関係ができることを証明する
3. 鳩ノ巣原理により、矛盾が生じる
4. 1.の仮定は誤りだから、Legnedre予想は真だと証明する
＞疲れてない時にでも落ち着いて考えなさいな
疲れているようなので、無理なレスをするのを止めた方がいい
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s