無理数であることを証明する問題では背理法での証明を使うのが定石です。