18/10/04 23:51:26.09 VmTW+2yt.net
>>936
>何故これが同値でないと言えるのか？
ヨコレス
同値の証明覚えてますか？
A と B が同値とは A ⇒ B と B ⇒ A の両方が証明されたときですね？
では
A：「Dp^2-D=0 の p は不定となる」
B：「yが完全数のとき yの素因数となる p は不定となる」
において「AとBが同値である」というには「A⇒B」と「B⇒A」の証明が両方求められますね？
それ以外の方法はありません。
それが同値の定義です。
どんなに言葉をかさねてもそれ以外に同値であることを主張する手立てはありません。
このスレで疑問視されているのは「A⇒B」の方です。
つまり
仮定：Dp^2 - D = 0は任意のpで成立する
結論：完全数の多重度が奇数の素因子であるpは不定である。
が証明されないといけませんね？
一方、あなたの論文では何を証明しましたか？
y を奇数の完全数、pを多重度奇数の素因子とする⇒Dp^2 - D=0
は証明しましたね？
つまりあなたの論文で示されてるのは
X = { p | ∃y 奇数の完全数 p は y の多重度が奇数の素因子}
が
Y ={ p | Dp^2 - D = 0 }
の部分集合であることのみです。
しかし逆の証明、つまり十分性のチェックはしてないことはあなたも認めてますよね？
つまりあなたの論文で示されているのは X ⊂ Y のみです。
一致しているかどうかはわかりません。
この状況で
Y が素数全体の集合(=不定)
だからといって
X が素数全体の集合(=不定)
だといえませんよ？
X ⊂ 素数全体の集合
だからXも素数全体の集合なんていえませんよ？