「有理数では無いこと」を証明すれば良い。