>>604

>或る実数aが有理数でないとして矛盾を導き、
>aを無理数と結論付ける背理法

多分ケアレスミスだと思うけど、
ある数を「無理数である」と仮定して矛盾を導き、「有理数である」と結論づけたんだよね？

「無理数である」 ≡ 「有理数でない」という仮定は、
具体的にどうやるの？