18/09/24 07:37:49.68 Tly/iq5a.net
>>205
>p≠4q+1のpではこの問題の解になり得ないのに
>Dp^2-D=0かつD=0
>だと、この不適のpであってもこの式自体が真になるからD=0は不適だということになります
なりませんよ？
∃y y:完全数 p は y の素因子でmultiplicity は奇数 …(A)
Dp^2 - D=0 かつ D=0 …(B)
において論文中で示されているのは(B)が(A)の必要条件であることだけです。
一般には必要条件は元の条件の解ではないものを解として含み得ます。
「(B)が(A)の解でないものを解として含むから不適」といいたいなら(B)が(A)の十分条件である証明がないとだめです。
その証明ないでしょ？