>>357
これ以上約分できない分数のこと？

証明のラストは
pとqがともに偶数になって、互いに素であることに反する
したがって√2は有理数ではなく無理数

ってなってるんだけど…
ともにpとqが偶数だったら約分すれば素になって有理数になるんじゃないの？