3分でわかる！3:4:5の三角形の鋭角をx°としたらxは無理数
$$
ｘ^{\circ}
$$
初投稿です
今回考えるのあの有名な３：４：５の直角三角形の鋭角について考えようと思います。あの角度は一見無理数にみえますが実際はどうでしょうか？？？
まずは弧度法で考えます
$$
\sinα＝ \frac{４}{５} （０ \leq α \leq \frac{ \pi}{２}）とする。
このとき \frac{α}{ \pi}が有理数か無理数かどうかを
$$
調べます。まず有理数と仮定してα＝$ \frac{ｑ}{ｐ} \pi$（ｐ、ｑは自然数）とおきます。
そうすると$ （ \cosα＋i \sinα）^{ｐ} $＝$ \cos $q$ \pi $＋i$ \sin $q$ \pi $=±１となります。
無理数だったら$ （ \cosα＋ i\sinα)^{n} $=±１となる自然数ｎが存在しません。
つまり($ \frac{3}{5}＋ \frac{4}{5}i)^{n} $が実数にならないので
$$
（３＋4i）^{n}が実数になりません。このことを示していきたいと思います。
$$
$$
(3＋4i）^{n}は3＋4iが二次方程式 ⅹ^{２}－６ｘ＋２５＝0の解になることを利用すると三項
$$
間漸化式$$
a_{ｎ＋２} ＝ ６a_{ｎ＋１} －２５ a_{ｎ}
a_{１} ＝ ３＋４i a_{２} ＝－７＋２４i
$$
の一般項となります。
$$
Im( a_{n} )について考えると（Imは虚部を表わす記号）
$$
$$
Im( a_{ｎ＋２} ）＝６Im( a_{ｎ＋１} ）－２５Im（ a_{ｎ}）
$$
となります。$$
Im( a_{２} ）＝２４ Im( a_{１} ）＝４ なので
$$
mod5について考えると数学的帰納法で$$
Im( a_{ｎ}） \equiv 0(mod5)とはならないことが分かる
$$
$$
ゆえにIm（ a_{ｎ} ） \neq ０となるので a_{ｎ} は実数にならない
$$
$$
\Box
$$
よって$ \frac{α}{ \pi} $は無理数です。
なので３：４：５の三角形の鋭角の大きいほうを$$
ｘ^{\circ} とするとｘ＝ \frac{３６０α}{２ \pi}＝１８０× \frac{α}{ \pi}なのでxは無理数となります
$$
