ルート２が無理数であることを様々な方法で証明します。背理法，素因数分解を用いた方法，連分数を用いた方法など。