三角関数

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