√2が無理数であることを、背理法を使わないで証明する方法を教えてください