無理数=実数かつp/qで表せない(p,q∈ℤ)なんやから背理法使うならp/qで仮定して矛盾示すだけじゃなくて実数であることを示さなあかんやろがい