仮に有理数だとすると矛盾が生じるので