背理法

cos1°が無理数であることの証明方法を紹介します。
背理法と帰納法を組み合わせた証明になっています。

tan1°が無理数であることの証明方法を紹介します。
背理法と数学的帰納法を組み合わせた証明になっています。

無理数であることを証明する問題では背理法での証明を使うのが定石です。