$ an1^\circ$が無理数であることの証明以下のような数学的帰納法および加法定理を使ったのはどうでしょうか？興

Question

$	an1^\circ$が無理数であることの証明 以下のような数学的帰納法および加法定理を使ったのはどうでしょうか？興味本位です...  $	an1^\circ$を有理数であるとする。ここで、任意の自然数$n$を用いて、$	an n^\circ$を考える。$n=k$のとき、$	an n^\circ$が有理数であることが成り立つと仮定する。 $n=k+1$のとき、加法定理から$$	an (k+1)^\circ=\frac{	an k^\circ+	an 1^\circ}{1-	an k^\circ	an 1^\circ}$$したがって$	an k^\circ$が有理数であるならば、$	an (k+1)^\circ$は有理数である。 すなわち、$	an1^\circ$を有理数であるとすると、すべての自然数$n$において$	an n^\circ$は有理数である。 一方、$n=45$を代入したとき、$	an 45^\circ=\dfrac{\sqrt{2}}{2}$は★無理数であるから矛盾。 したがって$	an 1^\circ$は無理数である。  ★ここで再び$\sqrt{2}$は無理数であることの背理法を用いた証明

@PEMANOUS · Accepted Answer

おそらく$n=k$であるとき、$	an n^{\circ}$ではなく$	an k^{\circ}$が有理数とであると仮定しないと次の$	an k+1^{\circ}$加法定理で示した時に$	an k^{\circ}$が有理数であると言うことを言っていないから厳密に言えばアウトな気がします。若干揚げ足取りな感じがしますけど。

@CHINROTO · Answer

発想はとても面白いのですが、残念ながらちょっとマズい点があります。 例えば、$k=90^\circ$の時は$	an$に関する加法定理は成立しませんよね。つまり、数学的帰納法の肝である「$n=k$の時が成立するのならば、常に$n=k+1$の時も成立する」が言えていないことになり、証明が破綻してしまいます。  一方で今回の証明は$n \leqq 45$の場合が言えればいいわけですから、「すべての自然数について数学的帰納法で証明する」のではなく、「$n \leqq 45$の場合において帰納的に$	an n$が有理数であることが言える」とでもしておけば、残りの論理の流れは問題ないと思います。  後は、$\sqrt{2}$が無理数であることの証明よりは、$\frac{\sqrt{2}}{2}$が無理数であることの証明を書いた方が、手間なくダイレクトに言いたいことが言える気もします（もちろん$\sqrt{2}$が無理数であることが言えれば、$\frac{\sqrt{2}}{2}$も無理数であることがすぐに言えるので、そんなに気にすることはないのですが……）。  惜しいミスもありますが、NICE FIGHT!! だと思います！

$\tan1^\circ$ が無理数であることの証明

ベストアンサー

そのほかの回答（1件）

発想はとても面白いのですが、残念ながらちょっとマズい点があります。

たしかに

関連する質問

この質問に関連する記事

tan⁡1∘\tan1^\circtan1∘が無理数であることの証明