ルート2が有理数ではないことを、背理法を使わずに証明するにはどうすればいいの?