Algebra（代数学）問題も無理数証明 3 連続でそろそろ飽きてしまったかもしれませんが、さすがに今回で最後にします。締め括りは京大入試で出題された有名な問題から。
【AG03】tan1° は無理数？
$\tan 1^\circ$ が無理数 であることを証明してください。
【ヒント】「さすが京大！ なんて難しい問題なんだ！」と叫ぶ前に落ち着いてください。見た目ほど難しい問題ではありません。むしろ前回までの AG01 や AG02 のほうが難しかったぐらいです。タンジェントに関する「ある公式」を思い出せば、意外と短い行数であっさり解答が終わってしまいます。ちなみに実際の問題文は「$\tan 1^\circ$ は有理数か？」という素気ないものでしたが、もし何か勘違いして「$\tan 1^\circ$ を有理数であることを証明しよう！」と思ったらちょっと面倒なことになったかもしれませんね。しかし、たぶん途中で「$\tan 1^\circ$ はやっぱり無理数っぽい」と気づくと思います。
【解答】$\tan x$ に関する公式の中で「タンジェントだけが含まれた公式がなかったかなあ」と記憶を探るのです。サインとかコサインとか別の三角関数が混ざっていたら使いにくいですからね。おそらく加法定理の公式が頭に浮かぶと思います。
\[\tan(\alpha +\beta)=\frac{\tan\alpha+\tan\beta }{1-\tan\alpha\:\tan\beta }\]
証明問題で加法定理の公式がなぜ頻繁に登場するのかというと、$\alpha$ や $\beta$ に好きな値を入れることができて使い勝手が良いからです。加法定理は「2 つの角を関係づける式」と覚えておいてください。上の式は $\alpha$ が決まれば、$\tan$ を介して $\beta$ が決まるということです（具体的に計算できるかどうかは別問題として関係式を記述できるということです）。
本問では、こうした関係から「数学的帰納法の $k$ と $1$ を入れるとなんとかなりそうだね」と考えます。さっそくやってみましょう。背理法で証明します。
$\tan 1^\circ$ が有理数だと仮定します。
任意の $k$ で $\tan k$ が有理数だと仮定すると、
\[\tan(k+1)=\frac{\tan k +\tan 1^{\circ}}{1-\tan k\:\tan 1^{\circ}}\]
これは [有理数] / [有理数] の形ですから有理数です。
よって、$\tan 1^\circ$ が有理数と仮定したので $\tan 2^\circ$ も有理数であり、$\tan 3^\circ$ も有理数 … $\tan 59^\circ$ も有理数、そして、$\tan 60^\circ$ も有理数ということになりますが、これはおかしいですね。 $\tan 60^\circ=\sqrt{3}$ なので無理数のはずです。遡って $\tan 1^\circ$ が有理数と仮定したことで、このような矛盾が生じたことになります。つまり $\tan 1^\circ$ は無理数です。
エクセルや数学に関するコメントをお寄せください
ChatGPTにtan(1°)が無理数であることを証明させようと試みました。
[Q] tan(1°)は有理数ですか？
[ChatGPT] tan(1°)は有理数ではありません。実際に、tan(1°)は無理数であり、正確な値は以下のようになります：
tan(1°) ≈ 0.017455
この値は有限の桁数で表現できず、無限に続く小数となります。したがって、tan(1°)は有理数ではありません。
[KOBATO] いや、全然証明になってないし。0.017455 は正確な値じゃないし。
[Q] tan(1°)が無理数であることを証明してください。
[ChatGPT] tan(1°)が無理数であることを証明するには、以下の手順に従います。
仮定として、tan(1°)が有理数であると仮定します。有理数の定義により、tan(1°)をp/qと表すことができます。ただし、pとqは整数で、q≠0です。
tanの定義により、tan(1°)はsin(1°)/cos(1°)と表すことができます。sin(1°)とcos(1°)はともに有理数です。実際、sin(1°) ≈ 0.0174524064、cos(1°) ≈ 0.9998476952となり、それぞれ有限桁の十進数で表現できます。sin(1°)/cos(1°) = p/qと仮定すると、pとqについて次のようになります。
p = sin(1°)q/cos(1°)
sin(2θ) = 2sin(θ)cos(θ)の公式により、sin(2°) = 2sin(1°)cos(1°)です。
cos(2θ) = cos^2(θ) – sin^2(θ)の公式により、cos(2°) = cos^2(1°) – sin^2(1°)です。
sin(2°) ≈ 0.0348994967、cos(2°) ≈ 0.9993908270となり、ともに有限桁の十進数で表現できます。
上記の結果を使用して、以下のようにpを表すことができます。
p = sin(2°)q/cos(2°)
4と9を比較すると、sin(1°)q/cos(1°) = sin(2°)q/cos(2°)となります。3の式に戻すと、sin(1°)/cos(1°) = sin(2°)/cos(2°)となります。tanの定義により、上記の式はtan(1°) = tan(2°)と等しいことを意味します。しかし、tan(2°)は無理数であることが知られています。したがって、tan(1°)も無理数であるという仮定に矛盾します。
以上から、tan(1°)は無理数であることが証明されました。したがって、tan(1°)は有理数ではなく、無理数であることが証明されました。
[KOBATO] … なんか、それっぽい証明を書いていますが、sin(1°) も cos(1°) も有理数ではありません。
[Q] sin(1°)は有理数ですか？
[ChatGPT] sin(1°)は無理数です。実際、sin(1°)の正確な値は以下のようになります：
sin(1°) ≈ 0.0174524064
この値は有限の桁数で表現できず、無限に続く小数となります。したがって、sin(1°)は無理数であり、有理数ではありません。
[KOBATO] さっき、sin(1°)は有理数て言うたやん！ どっちやねん！（おしまい）