有理数だと矛盾が生じるから