（その１７）ではa=√２^√２とおくと、a,a^√２の少なくとも一方は無理数の無理数乗として表されることを示したが、実際は,

√２^√２は無理数である。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　２^√２は超越数である（ゲルフォント・シュナイダーの定理）

　　√２^√２＝２^(１／√２)

　　（√２^√２）^2=２^√２

　もし、√２^√２が代数的数ならば，２^√２も代数的数ということになり，矛盾→√２^√２は代数的数ではない．　

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝