ルート2が無理数であることの4通りの証明 | 高校数学の美しい物語
ルート2が無理数であることを様々な方法で証明します。背理法,素因数分解を用いた方法,連分数を用いた方法など。