✨ ベストアンサー ✨
ここで追加されたわけではありません。
2行目でp≧1と決めておいたからです。
2行目でp≧1と決めた理由は
右欄にも書いてありますが、
9行目でpを1だけに絞るため。
そもそもx=q/pについて
+/+と-/-の2通りの可能性を残すことに
メリットがありません。
正であるp,qを使ってx=q/pと表すのが自然です。
①より、pが何かの素数の倍数なら
qもその素数の倍数。
しかし、いま仮定よりp,qは±1以外の公約数を
もたないのでpは1か-1しかない。
このまま進めてもよいが、序盤にp≧1としてあるから
p=1しかない。
ありがとうございます。
理解できました🙏