問題
次で定義される数列{In}を考える。
In=2n∫02πxsinxcos2n−1xdx(n=1,2,3,⋯⋯)
以下の問いに答えよ。
(1) 次の等式が成り立つことを証明せよ。
∫02πsinnxdx=∫02πcosnxdx(n=1,2,3,⋯⋯)
(2) 数列{In}が次の式を満たすことを証明せよ。
In=∫02πsin2nxdx(n=1,2,3,⋯⋯)
(3) dxd(cosxsinn−1x)をsinxとnを用いて表せ。
(4) 数列{In}が次の漸化式を満たすことを証明せよ。
In=2n2n−1In−1(n=2,3,4,⋯⋯)
(5) 数列{In}の一般項を求めよ。
出典:九州大学 2018年度 後期日程 第2次学力試験 後期・理系 後期 第1問
解答
(1)
x=π/2−t とおくと、dx=−dt であり、x=0 のとき t=π/2、x=π/2 のとき t=0 である。したがって
∫02πsinnxdx=∫2π0cosnt(−dt)=∫02πcosntdt
となり、示された等式が成り立つ。
(2)
d(cos2nx)=−2nsinxcos2n−1xdx であるから、定義式は In=−∫02πxd(cos2nx) と書ける。部分積分より
In=−[xcos2nx]02π+∫02πcos2nxdx
である。端では cos(π/2)=0 かつ x=0 なので境界項は0である。よって In=∫02πcos2nxdx であり、(1) から In=∫02πsin2nxdx を得る。
(3)
積の微分を用いると
dxd(cosxsinn−1x)=−sinnx+(n−1)cos2xsinn−2x
である。cos2x=1−sin2x を代入して dxd(cosxsinn−1x)=(n−1)sinn−2x−nsinnx となる。
(4)
(3) で n を 2n に置き換えると
dxd(cosxsin2n−1x)=(2n−1)sin2n−2x−2nsin2nx
である。これを 0 から π/2 まで積分する。左辺の原始関数の値は両端で0なので、
0=(2n−1)∫02πsin2n−2xdx−2n∫02πsin2nxdx
である。(2) の表し方を用いれば 0=(2n−1)In−1−2nIn となる。したがって In=2n2n−1In−1(n≧2) である。
(5)
まず I1=∫02πsin2xdx=4π である。漸化式を繰り返すと In=2n2n−1⋅2n−22n−3⋯43⋅I1 である。したがって
In=2⋅4⋅6⋯(2n)1⋅3⋅5⋯(2n−1)⋅2π
であり、中央二項係数を用いて In=4n2nCn⋅2π と表せる。