2

無理数の無理数乗の有理数

119
1
$$\newcommand{Ast}[0]{\operatorname{Ast}} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{Hom}[0]{\operatorname{Hom}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{Max}[0]{\operatorname{Max}} \newcommand{Spec}[0]{\operatorname{Spec}} $$

無理数の無理数乗で表すことのできる有理数が存在する.

$\sqrt{2}$は無理数である. $\sqrt{2}^\sqrt{2}$が有理数ならよい. そうでなければ$(\sqrt{2}^\sqrt{2})^\sqrt{2} = \sqrt{2}^{\sqrt{2} \cdot \sqrt{2}} = 2$となる.

$\sqrt{2}^\sqrt{2}$が有理数かどうかわからなくても証明できるというのはおもしろいですね.

投稿日:926
更新日:926
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Anko7919
Anko7919
16
1921

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中