√２は無理数である．

　√２＝２^1/2であるから，この例は

　　ａとｂがともに有理数であっても，ａ^bが無理数となる

場合があることを示している．

　それでは

　　ｃとｄがともに無理数であっても，ｃ^dが有理数となる

場合はあるだろうか？

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

（証）√２^√２を考える．この数は有理数であるか無理数であるかわからないが，有理数であれば答えはyesということになる．

　そこで，無理数であると仮定する．そして，

　　ｃ＝√２^√２，ｄ＝√２

とおき，ｃ^dを計算すると

　　ｃ^d＝（√２^√２）^√２＝（√２）^√２√２＝（√２）^２＝２

　したがって，

　　ｃとｄがともに無理数であっても，ｃ^dが有理数となる

数が存在することになる．

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

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

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