18/09/23 20:41:18.50 eh0nZaxt.net
>>192
>D=0の場合は全てのpで成立するから、十分性に問題があり、不適になるとしています
>この論理を正しいとしない限りこの問題はこの証明では解決しないことになります。
「D=0 ⇒ Dp^2 － D = 0がすべてのpで成立する。…(X)」
は正しいです。
しかしそんなこといってもあなたが主張した p ≡ 1 (mod 4)に矛盾しません。
なぜならば
(X) ⇒ p ≡ 3 (mod 4)
が言えるわけじゃないからです。
「Dp^2 - D = 0 が p≡3 (mod 4)でも成立しうる。∴ p≡3 (mod 4)」
なんて言えないでしょ？