3

円周率に収束する無限級数

775
0
$$$$

初めて記事を書きます。皆さん頭のよさそうなことばかり書いているので、とてもコワいんですけれど、楽しんでいただけたら幸いです。ここでは円周率に収束するある無限級数を紹介します。

$$ \sum_{n=0}^\infty \frac{(3n+2)2^{2n+3}(2n)!(2n+1)!}{(4n+3)!}= \pi $$

どうです、なかなかすごい見た目じゃないですか。では、これからなぜこの式が成り立つのかを解説していきます。

積分漸化式を用いた変形

整数p,qに対して、次のようなベータ関数に似た関数を考えます。
$$ I(p,q)=\int_{0}^{1}x^{2p}(1-x^2)^qdx $$
ベータ関数と同様に部分積分によって漸化式を作ることができて、
$$ I(p,q)= \int_{0}^{1}x^{2p}(1-x^2)^qdx\\=\left[\frac{1}{2p+1}x^{2p+1}(1-x^2)^q\right]_{0}^{1}+\frac{2q}{2p+1}\int_{0}^{1}x^{2(p+1)}(1-x^2)^{q-1}dx\\=\frac{2q}{2p+1}I(p+1,q-1) $$
この漸化式を繰り返し用いて
$$ I(p,q)=\frac{2q}{2p+1}\cdot\frac{2(q-1)}{2p+3}\cdots\frac{1}{2p+2q-1}I(p+q,0) $$
ここで
$$ I(p+q,0)=\int_{0}^{1}x^{2p+2q}dx=\frac{1}{2p+2q+1} $$
よって
$$ I(p,q)=\frac{2q}{2p+1}\cdot\frac{2(q-1)}{2p+3}\cdots\frac{1}{2p+2q-1}\cdot\frac{1}{2p+2q+1}\\=\frac{2^{2q}(2p)!q!(p+q)!}{p!(2p+2q+1)!}\\これより\\I(n,n)=\frac{2^{2n}(2n)!^2}{(4n+1)!}\\I(n+1,n)=\frac{2^{2n}(2n+2)!n!(2n+1)!}{(n+1)!(4n+3)!}=\frac{2^{2n+1}(2n+1)!^2}{(4n+3)!} $$

積分と和の交換

$$ \sum_{n=0}^\infty I(n,n)=\sum_{n=0}^\infty\int_{0}^{1}x^{2n}(1-x^2)^ndx\\=\int_{0}^{1}\sum_{n=0}^\infty(x^2-x^4)^ndx=\int_{0}^{1}\frac{1}{1-x^2+x^4}dx $$
同様に
$$ \sum_{n=0}^\infty I(n+1,n)=\int_{0}^{1}\frac{x^2}{1-x^2+x^4}dx $$
ゆえに
$$ \sum_{n=0}^\infty\{I(n,n)+I(n+1,n)\}=\int_{0}^{1}\frac{1+x^2}{1-x^2+x^4}dx $$
右辺の積分は容易に解くことができて(面倒くさいので説明しません)
$$ \int_{0}^{1}\frac{1+x^2}{1-x^2+x^4}dx=\frac\pi2 $$
です。また、
$$ I(n,n)+I(n+1,n)=\frac{(3n+2)2^{2n+2}(2n)!(2n+1)!}{(4n+3)!} $$
と変形できるので
$$ \sum_{n=0}^\infty \frac{(3n+2)2^{2n+3}(2n)!(2n+1)!}{(4n+3)!}= \pi $$
となります。

おわりに

最後まで読んでいただきありがとうございました。めんどくさくなってきて説明が雑になってしまいましたが、そんなに難しくない話なので高校生の方にも理解していただけるんじゃないかと思います。この級数は積分漸化式で遊んでいた時に発見しました。僕は見たことがない式だったのであまり知られていないのでは?と思い記事にしました。まあ、あまり知られていないのはこの式が特に何の役にも立たないからでしょうけど。収束もさほど早くありませんし。単なる遊びです。これと同じ発想でもっと面白い式が見つかるのでは?と思っているのですが、なかなか見つかりません。どなたか発見して記事にしていただけたら幸いです。

投稿日:202257
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

furumichi
furumichi
37
3561
数学科でもないしロクな大学受かったわけでもないしガッコーのお勉強なんかむしろサボりまくってるけれどちょっと面白い話がしたかっただけの一般人です。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中