[過去ログ] 高木くんがアクセプトされるまで見守るスレ ★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