■フェルマーの最終定理と有限体(その202)
[3]ワイエルシュトラスのシグマ関数
σ(z)=zΠ(1−z/ω)exp(z/ω+2z^2/ω^2)
===================================
ワイエルシュトラスのシグマ関数(ワイエルシュトラス積)はガウスの整数に関連していて,
σ(1/2)=1/2Π(1−1/2(m+ni))exp(1/2(m+ni)+1/8(m+ni)^2)
=2^5/4π^1/2exp(π/8)/{Γ(1/4)}^2
=0.4749493802・・・
ワイエルシュトラスのシグマ関数はπとexp(π)とΓ(1/4)が代数的に独立であることを示す手段になり得る.
===================================