√2が無理数であることの証明において
始めに√2が有理数であるとするときに
√2=q/pとしたのですが
ここでp,qが互いに素な整数と宣言しなくても
解決できる証明はないでしょうか。
高校数学の範囲内でお願いいたします。