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

　Mathematicaでは，もちろん，

［０］２^√２は代数的数か→Noと返してくる．

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

　阪本ひろむ氏より連絡があり，Mathematicaで調べたところ，

［１］√２^√２は有理数か→No

［２］√２^√２は代数的数か→No

　√２^√２は代数的数ではないようであるが，誰が証明したかは不明である．The computer told me.というしかない．

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