■超越数とその仲間たち(その58)
[参] 杉岡幹生・武捨貴和「初等数学によるゼータ関数の探求」
によると、オイラーは
ζ(3)=α(log2)^3+βπ^2/6log2
を満足する有理数α、βが存在する
ことを予想している。
===================================
log2=1-1/2+1/3-1/4+1/5-・・・
π^2/6=1+1/2^3+1/3^2+1/4^2+1/5^2+・・・
ζ(3)=γπ^2log2を満足する有理数γは存在しない。
[参] 杉岡幹生・武捨貴和「初等数学によるゼータ関数の探求」
では数値的な検証が行われている。
===================================