[過去ログ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
427(2): 132人目の素数さん [sage] 2023/07/20(木)10:38 ID:D+qYByRj(1/2)
こう考えてみましょう
まず次の質問に考えてみましょう
2. 合成数である場合にはpとrは全て1対1の関係ができることを証明する
という証明に「1. n^2<p<n(n+1)のpが全て合成数であると仮定する」という仮定は必要ですか?
429(1): 132人目の素数さん [sage] 2023/07/20(木)11:29 ID:D+qYByRj(2/2)
>>427
必要なら、合成数である場合にはpとrは全て1対1の関係ができること、は誤った仮定から導かれているので、実際は「2. 合成数である場合にはpとrは全て1対1の関係ができる」は誤った命題になります。
不要なら
>>416と>>417のやり取り、2.のステップで合成数の個数がrの個数より大きい場合を考慮しないというのは、ルジャンドル予想の結論の先取りとなっています。(2.の段階で、「その場合がないことを背理法で証明している」と言ってしまうのがおかしいわけです。>>417)
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.034s