✨ ベストアンサー ✨
最後の式でmodaにおいて-b^2=0となるが、これはa,b互いに素に反する
modが分かんなかったら、左辺はan-bもan+bもaの倍数じゃないはずなのに右辺はaの倍数ってことは矛盾してるって読んでください
解説のほうは(1)でm=n^2+3としたってことです
√(n^2+3)が整数でないなら(具体的に√7とか√12とか)これは無理数ってのは(1)で示せてます
(1)では任意の自然数mについて証明しましたが、n^2+3ってのは当然自然数なわけですからこれでも成り立つわけです
わかりやすい説明ありがとうございます!理解出来ました!!