■スターリングの公式(その48)
【2】e^πは超越数である
e^π=23.14069264・・・
は超越数であるは,e(=2.71828・・・),i,π(=3.14159・・・)を結びつける美しいオイラー関係式e^iπ=−1より,
e^π=(−1)^-i
したがって,ゲルフォント・シュナイダーの定理からこのことがいえるのです.
一方,
π^e=22.45915771・・・
が有理数かどうかはわかっていません.
===================================