この定積分を解くためには、まず不定積分を求め、その後、積分範囲の端での極限を計算します。
x2+42 の不定積分を求めます。これはarctan関数を用いて計算できます。 x=2u と置換すると、dx=2du となります。このとき、積分は ∫x2+42dx=∫(2u)2+422du=∫4u2+44du=∫u2+11du=arctan(u)+C=arctan(2x)+C となります。
次に、定積分の値を求めます。
∫−∞∞x2+42dx=lima→∞∫−aax2+42dx=lima→∞[arctan(2x)]−aa=lima→∞[arctan(2a)−arctan(2−a)] arctanは奇関数なので、arctan(−x)=−arctan(x)です。 したがって、
lima→∞[arctan(2a)−arctan(2−a)]=lima→∞[arctan(2a)+arctan(2a)]=lima→∞2arctan(2a) limx→∞arctan(x)=2π より、 lima→∞2arctan(2a)=2(2π)=π