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

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

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

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

　もし、√２^√２が代数的数ならば，２^√２も代数的数ということになり，矛盾→√２^√２は代数的数ではない．　（阪本ひろむ氏から教えてもらった）

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