>>122
=有理数だと仮定してその矛盾を導けばいい感じやな