>>3
√2が無理数であることの証明と同じ方針
x=q/p (pとqは互いに素)が解とすると矛盾