■tan1°は無理数か? (その5)
無理数同士の和が無理数になるとは限らない.例えば,√2と2−√2の和を考えればよい.・・・
===================================
[1]αが代数的数,βが超越数ならば
α+β,αβは超越数
[2]ゲルフォント・シュナイダーの定理
αが代数的数,b>0が有理数,β=i√bとする.
α^βは超越数
例)オイラーの等式:e^iπ+1=0より
e^π=(e^iπ)^-i=(−1)^-i → 超越数
[3]ゲルフォント・シュナイダーの定理
αとβが代数的数,βが有理数でないとする.
α^βは超越数
例)2^√2 → 超越数
[4]リンデマン・ワイエルシュトラスの定理
αkは相異なる代数的数,Σβke^αk=β1e^α1+β2e^α2+・・・+βne^αn=0ならば,β1=β2=・・・=βn=0
にも,広い帰結が知られている.
===================================