ここでは,
∑n=0∞(2nn)428n(4n+1)=π36Γ(34)8
を示す. まず,κ(x):=∑n=0∞(2nn)224nxnと定義する. 以下のような二次の変換公式がよく知られている.
11+xκ(4x(1+x)2)=κ(x2)21+xκ(1−4x(1+x)2)=κ(1−x2)
この記事 で示した,
π43Γ(34)8=∫0<s<u<1κ(s)s(1−s)dsκ(1−u)u(1−u)duにおいて, s→4s(1+s)2,u→4u(1+u)2として, 二次の変換公式を用いると,∫0<s<u<1κ(s)s(1−s)dsκ(1−u)u(1−u)du=2∫0<s<u<1κ(s2)sdsκ(1−u2)udu=12∫0<s<u<1s−3/4κ(s)dsu−3/4κ(1−u)du=2∫01∑n=0∞(2nn)224n(4n+1)un−1/2κ(1−u)du=2π∑n=0∞(2nn)428n(4n+1)となるから,∑n=0∞(2nn)428n(4n+1)=π36Γ(34)8が示される.
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。