✨ คำตอบที่ดีที่สุด ✨
pが素数である条件は使われていますがpが2より大きいという条件は使われていません
例えばpが2であるとしても同じようにm=(p+1)/2,n=(p-1)/2となりますが、m=3/2,n=1/2になってしまい整数ではないので条件を満たしません
このように、与えられた条件を用いて計算した場合でも与えられた条件を満たさない結果になる可能性があるため、十分性の確認が必要です
この問題では
「m,nが0以上の整数で、m^2-n^2=p(pは2より大きい素数)を満たす」①⇒「m=(p+1)/2,n=(p-1)/2」②であることを確認したあと、逆向きの「m=(p+1)/2,n=(p-1)/2」⇒ 「m,nが0以上の整数で、m^2-n^2=p(pは2より大きい素数)を満たす」を確認しています(後半の「m^2-n^2=p(pは2より大きい素数)を満たす」は明らかなので必要ありませんが)
なので前半の部分では十分条件は①、必要条件は②かと思います
ありがとうございます!!