>>313
>>>301
>主張内容が変わりましたね。p=3のときには完全数になり得ないのに
>D=0の場合があるのはおかしいと書いていたような気がしますが。
>
>>∃q p=4q+1
>>に対して矛盾すると主張し、その証明を与えようとして失敗しましたね?
>最近では全然失敗していません。p≠4q+1では、完全数は存在しません。

主張は変えてませんよ。
∃D Dp^2 - D = 0 ⇒ ∀q p≠4q +1
の証明ならまず仮定は
Dp^2 - D = 0
ですね?
ここから p が素数で p≠±1 より
D=0
ですね?つまり
Dp^2 - D = 0 かつ D=0
です。
で前回あなたは
Dp^2 - D = 0 かつ D=0 ⇒ p ≠ 1 (mod 4)
と主張して間違いを認めましたよね?>>249 >>253
Dp^2-D=0 かつ D=0を満たすpn集合:2,3,5,7,11,13,17,19,23,……
p ≡ 1(mod 4)を満たさない p の集合:2,3,7,11,19,23,……
なので。
つまり
∃D Dp^2 - D = 0 ⇒ ∀q p≠4q +1
の証明に失敗したんでしょ?⇒の意味取り違えて。
よってあなたは未だ
∃D Dp^2 -D = 0…(*) と ∃q p=4q+1…(#)
が矛盾することの証明に成功していません。
証明して下さい。