■√2^(√2^√2^√2^√2^√2^・・・)は2である(その3)

【1】2^(√2)は超越数である

  2^√2=2.6651441426・・・

は超越数,すなわち,整数係数のどの代数方程式の根にもならない実数であることはゲルフォント・シュナイダーの定理

「aは0でも1でもない代数的数,bは代数的無理数ならば,a^bは超越数である」

からいえるのです.2^(√2)の超越性の証明は1934年,ゲルフォントとシュナイダーによって独立になされました.

===================================