■超越数とその仲間たち(その23)
1844年、リーヴィルは
Σ10^(n!)=0.1100010000・・・
を構成し、それが超越数であること(代数的でないこと)を示した。超越数としての最初の例である。
1873年、エルミートはeが超越数であること
1882年、リンデマンはπが超越数であることを証明した。
2^√2=2.661441426・・・は超越数である(ゲルフォント・シュナイダーの定理)
===================================
Γ(1/2)=1.7724538509・・・=√π
Γ(1/3)=2.6789385347・・・
Γ(1/4)=3.625609907・・・
チュドノフスキーはπとΓ(1/3)、πとΓ(1/4)が代数的独立であることを示した。したがって、Γ(1/3)、Γ(1/4)は超越数である。
===================================
σ(1/2)=0.4749493802・・・=2^(5/4)π^1/2e^(π/8)Γ(1/4)^-2
はガウスの整数に関連したワイエルシュトラス積の1/2における値であるが、この関数σはπとe^(π)とΓ(1/4)が代数的に独立であることを示す手段になりうると思われる
e^(π)=23.14069264・・・はゲルフォント・シュナイダーの定理により超越数であるが、
π^e=22.4591577183610454734・・・
が有理数であるかどうかはわかっていない。
===================================