Evolton

東北大学 2013年度 前期日程 第2次学力試験理系数学 第4問

数列{an}{bn}an=π6π6ensinθdθ,bn=π6π6ensinθcosθdθ(n=1,2,3,)で定める。ただし,eは自然対数の底とする。

(1) 一般項bnを求めよ。

(2) すべてのnについて,bnan23bnが成り立つことを示せ。

(3) limn1nlog(nan)を求めよ。
ただし,対数は自然対数とする。

難易度5/ 10計算量4/ 10目安18

積分指数・対数 置換積分、不等式評価、はさみうち

方針

bnensinθ の微分に ncosθ が現れるため、直接積分できる。anbn の比較は、区間内での cosθ の範囲 3/2cosθ1 を被積分関数に掛けて行う。最後は anbn ではさみ、nbn=en/2en/2 の対数の極限に帰着する。

解答

(1) bn=π/6π/6ensinθcosθdθ である。ensinθ を微分すると ddθensinθ=nensinθcosθ だから、bn=[1nensinθ]π/6π/6 である。sin(π/6)=1/2sin(π/6)=1/2 より bn=en/2en/2n である。

(2) π/6θπ/6 では 32cosθ1 である。また ensinθ>0 であるから、ensinθcosθensinθ であり、積分して bnan を得る。

一方、cosθ3/2 より ensinθ23ensinθcosθ である。これを積分して an23bn を得る。したがって bnan23bn である。

(3)
(2) の不等式に n を掛けると nbnnan23nbn である。(1) より nbn=en/2en/2=en/2(1en) だから 1nlog(nbn)=12+1nlog(1en) である。ここで log(1en)0 なので limn1nlog(nbn)=12 である。

さらに1nlog(nbn)1nlog(nan)1nlog(nbn)+1nlog23であり、右端と左端はいずれも 1/2 に収束する。よってはさみうちにより limn1nlog(nan)=12 である。

総評

難度5、目安時間18分。bn は置換積分ではなく、ensinθ の微分形に気づくと一行で処理できる。(2) は cosθ の上下界を、正の被積分関数に掛けて積分するのが採点ポイントである。極限では定数倍の違いは (1/n)log で消えるため、an を直接評価しようとせず bn ではさむ方針が安定する。

冊子PDFで見る東北大の積分の問題で問題集を作る

出典: 東北大学 2013年度 前期 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。