定積分 No.26
定積分 No.26
$$
\int_0^1 dx \frac{1 – x}{1 + x + x^2} = \frac{1}{2}\left( \frac{\pi}{\sqrt{3}} – \ln 3 \right)
$$
使用するトリック
基本に忠実に計算するのみで,目立ったトリックはない.
導出
まず求めるべき定積分の被積分関数について分母を平方完成する.
$$
I := \int_0^1 dx \frac{1 – x}{1 + x + x^2} = \int_0^1 dx \frac{1 – x}{\left( x + \frac{1}{2} \right)^2 + \frac{3}{4}}
$$
次に平方完成で定数だけずれた分を置換積分によって吸収して整える.
$$
I = \int_{\frac{1}{2}}^{\frac{3}{2}} dx \frac{\frac{3}{2} – x}{x^2 + \frac{3}{4}} = \frac{3}{2}\int_{\frac{1}{2}}^{\frac{3}{2}} dx \frac{1}{x^2 + \frac{3}{4}} – \int_{\frac{1}{2}}^{\frac{3}{2}} dx \frac{x}{x^2 + \frac{3}{4}} =: I_1 + I_2
$$
ここで最右辺で定めた各定積分を順に求めると次のとおり.
$$
I_1 = \frac{3}{2}\frac{1}{\frac{\sqrt{3}}{2}} \left. \arctan \frac{x}{\frac{\sqrt{3}}{2}} \right|_{\frac{1}{2}}^{\frac{3}{2}} = \frac{\pi}{2\sqrt{3}}
$$
$$
I_2 = – \int_1^3\frac{dt}{2}\frac{1}{t} = -\frac{1}{2}\left.\ln t\right|_1^3 = -\frac{1}{2}\ln3
$$
の計算では
なる置換積分を行った.
以上の各結果を合わせれば所望の結果に至る.
感想戦
基本に忠実に.慌てず一つずつ.着実に計算していく.