>>552
互いに素ではない整数a,bで表すということは
「√２が無理数であることを証明する」という目的にそぐわないから

別に表したければ表すのは勝手だし何の問題もないけれど、それじゃ証明できないよということ。