√２^√２（√２の√２乗）は無理数なのでしょうか、それとも、有理数なのでしょうか。

もっと簡単に

指数法則から解説します。
　ｎ　　　　　　ｘ
　　√a = a
とおいて、根号を外します。
n n x n
√a =（a）
1 nx
a =a
となるので
　　nx=1 したがって　　ｘ＝（１/n)

与式をｘとするとｘ＝{２^(1/2)}^(1/2)=(2)^{(1/2)2^(1/2)}=2^(√2/2)

log X = 2^(-1/2)
2

　　(log x)^(-1/2)=2
2

(-1/2)(log X)=2
2

log X = -4
2

X= 2^(-4)

　（補足　√2）
4
という表記も可能ですが。
という4重根号の無理数になります。
　　
強引入ってますがこんなところでしょうか。

三番目の回答者は詐欺師です

人力検索で有名な、でたらめな回答でポイントを騙し取る詐欺師なので気をつけて下さい。
回答は間違いです。証明になっていません。
有理数であると仮定して簡単に矛盾を導くことができます。

１番目の回答者さんの工業電卓

すげぇ！
どんなのか、想像が膨らむ！！！！！

間違い。

なんだか変ですね。
ズレを好意的に解釈すると
>log_{2} X = 2^(-1/2)
>(log_{2} X)^(-1/2) = 2
までは良いですが、この次が変です
> (-1/2)(log_2 X)=2

で、3番はリンク先含め指数法則を間違っています。
a^b * a^c = a^{b+c}です。

Re:間違い。

2^{￥sqrt{2}}が超越数であることを使っていいのなら、dasm氏のいうような背理法で出来ますね。

Re:間違い。

>なんだか変ですね。
>ズレを好意的に解釈すると
>>log_{2} X = 2^(-1/2)
>>(log_{2} X)^(-1/2) = 2
>までは良いですが、この次が変です
両辺を(-1/2)乗して、
対数に累乗がついた場合は乗算となるので
変形して、このようにしたのですが、まちがってますかね？
>> (-1/2)(log_2 X)=2
>
>で、3番はリンク先含め指数法則を間違っています。
>a^b * a^c = a^{b+c}です。

片方は変で片方は間違いという表記でお願いします。

当方、自力で証明を試みましたが
間違いと変（疑念アリ）というのは大きく異なっています。
タイトル一つで当方の解法も間違いという指摘かと思いました。
当方の解は変ということでよろしいですね？

逆算

X,Y,A,Bを代数として用いる。さらに
X＞０とおく、
X^Y＝Aとする。X>0よりA>0である。
A^Y＝Bとする。A>0よりB>0である。
Y√B＝Aである。さらにY√A＝Xであるので、
4√2＝（√2）^（√2）が成り立つ。
・・・、のではないかと・・。（^^;）

Re(2):間違い。

底をaとする対数を以下、log_{a}と表記します。
(log_{2} X)^(-1/2) ≠ (log_{2} X^(-1/2)) = (-1/2) (log_{2} X)

あなたの論法でいくと、
与式をxとおく
→両辺、底を2とする対数を取って、
　　log_{2} x = 2^{-1/2}
→両辺、{-1/2}乗して、
　　(log_{2} x)^{-1/2} = 2
→対数に累乗がついて乗算になるので（ここから間違い）
　　(-1/2) (log_{2} x) = 2
→よって
　　log_{2} x = -4
→よって
　　x = 2^{-4} = 1/16
2^x乗のグラフを書いて見ると簡単ですが、間違いに気付かれるかと。

初歩的ミスでした（^^;）ありがとうございます

>底をaとする対数を以下、log_{a}と表記します。
>(log_{2} X)^(-1/2) ≠ (log_{2} X^(-1/2)) = (-1/2) (log_{2} X)

そう、ここの一行が自分でもウロで気になって逆算してみたんですけど
（1ogxxx）＾A＝A*（1ogxxx）と同義でなさげという気がしてたのですが
10年ぶりくらいにやったもので、スミマセン。ご指摘ありがとうございます。
>
>あなたの論法でいくと、
>与式をxとおく
>→両辺、底を2とする対数を取って、
>　　log_{2} x = 2^{-1/2}
>→両辺、{-1/2}乗して、
>　　(log_{2} x)^{-1/2} = 2
>→対数に累乗がついて乗算になるので（ここから間違い）
>　　(-1/2) (log_{2} x) = 2
>→よって
>　　log_{2} x = -4
>→よって
>　　x = 2^{-4} = 1/16
>2^x乗のグラフを書いて見ると簡単ですが、間違いに気付かれるかと。
一行目で納得です！（笑）いやぁ、数学ってやっぱり楽しいですね。
ありがとうございます

Re:間違い。

> （２＾１／√２）ｘ（２＾√２）＝１で

すみません ここ、間違ってますね(^^;
単に２＾√２が超越数で無理数なので
その平方根 √（２＾√２）が無理数であるといえばよかっただけですね


あと・・・・・

> 例えば、（√２^√２^√２）＝√２＾（√２X√２）＝√２＾２＝２

これは、括弧の場所のミスで、（√２^√２）^√２ です
（√２^√２^√２）だと、√２^（√２^√２）に見えちゃいますものね
ここで使う、指数法則は (a^b)^c= a^(bxc) です

Re(2):間違い。

>単に２＾√２が超越数で無理数なので
>その平方根 √（２＾√２）が無理数であるといえばよかっただけですね

は? 初めからそういう問題ですが?
言い訳すら間違えるなんて、恥ずかしいにも程がある。

Re:間違い。

>なんだか変ですね。
>ズレを好意的に解釈すると
>>log_{2} X = 2^(-1/2)
>>(log_{2} X)^(-1/2) = 2
>までは良いですが、この次が変です
>> (-1/2)(log_2 X)=2
いまさらながら良くないよ（；´Д｀）
(log_{2} x)^{-1/2} = (2^{-1/2})^{-1/2} = (2^{-1/2 * -1/2}) = 2^{1/4} ≠ 2