✨ ベストアンサー ✨
x^2+y^2は3で割って2余る数と分かりました。
すなわち、z^2は3で割って2余る数…(*)
と分かりました。
z^2が3で割って2余る数となるときが
本当にあるのか調べます。
zについて場合分けをします。
zは、3の倍数か、3の倍数でないか
のいずれかしかありません。
このいずれにおいても
z^2は3で割って2余る数とはなりませんから、
(*)に矛盾。
zが3の倍数の場合と3の倍数でない場合の
すべての場合において矛盾することをいうために、
場合分けに漏れがあってはいけません。
そういうことなのですね!
分かりやすくて助かりました、ありがとうございました😖