定積分 No.5
定積分 No.5
\[\int_0^1 dx \frac{x^4 (1-x)^4}{1 + x^2} = \frac{22}{7} - \pi\]使用するトリック
被積分関数の分子の次数が分母の次数よりも大きいので，部分分数分解を適用すればよい． 手計算では大変だが，行うことは部分分数分解である．
導出
被積分関数を部分分数分解すると次のようなる．
\[\frac{x^4 (1-x)^4}{1 + x^2} = x^6 - 4 x^5 + 5 x^4 - 4 x^2+4 - \frac{4}{x^2+1}\]よって定積分は容易にできて所望の結果を直ちに得られる．
感想戦
導出は単に地道に事をなしてくものであるが，今回の定積分はとても有名な積分で Dalzell 積分とよぶことにしよう． Donald Percy Dalzell (1898–1988) は 1944 年に Journal of the London Mathematical Society に次の論文を書いており，ここではじめて今回の定積分が世に出たからである．
その後に William Lowell Putnam Mathematical Competition という数学のコンテストに出題された．
The Twenty-Ninth William Lowell Putnam Mathematical Competition
この定積分が面白いのは次の有理数が円周率を伴って表れることである．
\[\frac{22}{7} = 3.\dot{1}4285\dot{7}\]この有理数は実に紀元前三世紀のアルキメデスにまで遡ることができる円周率の近似値として由緒ある数である． そして今回の定積分で円周率の差として計算されている．被積分関数は明らかに負ではないので，積分した結果もまた負ではない．円周率は無理数であるから等しいこともありえない． よって次の不等式を得る．
\[\pi < \frac{22}{7}\]つまり円周率は $\frac{22}{7}$ よりも小さい！