方針
(1) は 1/x の単調減少性を使い、各 1/k を区間 [k−1,k] の定積分より小さく評価する。(2) は an を簡単化し、(1) で調和和をはさむ。(3) は重みつき和を調和和 Hn で正確に表す。
解答
(1) k≧2 とする。1/x は正の範囲で単調減少するから、k−1<x<k では 1/x>1/k である。したがってk1<∫k−1kxdx.これを k=2,3,…,n について加えると21+31+⋯+n1<∫1nxdx=logn.(2)an=n2n(n+1)/2=21+2n1.よってna1+⋯+an=21+2n1(1+21+⋯+n1).(1)より0<2n1(1+21+⋯+n1)<2n1+logn⟶0.はさみうちによりn→∞limna1+⋯+an=21.(3) Hn=1+1/2+⋯+1/n とおく。ak=1/2+1/(2k) だからbn=n21k=1∑n(n−k+1)ak=4n2n(n+1)+2n21k=1∑nkn−k+1=4nn+1+2n2(n+1)Hn−n.ここで Hn<1+logn より第2項は0へ収束する。したがってn→∞limbn=41.
別解
解法2(累積和へ並べ替える方法)
方針
(1) (2) で調和和の評価と an の式を得る。(3) の三角形状の重みつき和を累積和 Aj=a1+⋯+aj の和へ並べ替え、誤差全体を一度にはさむ。
解答
(1) 各 k=2,…,n についてk1<∫k−1kxdxである。辺々を加えて21+31+⋯+n1<lognを得る。
(2) ak=1/2+1/(2k) なのでn1k=1∑nak=21+2nHn.0<Hn<1+logn と与えられた極限から Hn/n→0 である。したがって極限は 1/2 である。
(3) Aj=a1+⋯+aj とおく。各 ak が Ak,Ak+1,…,An に1回ずつ現れることからna1+(n−1)a2+⋯+an=A1+A2+⋯+An.またAj=2j+2Hj.したがってbn=4n2n(n+1)+2n21j=1∑nHj.0<Hj≦Hn<1+logn より0<2n21j=1∑nHj<2n1+logn⟶0.ゆえにn→∞limbn=41.
総評
難度6、計算量5。想定時間は22分程度。(1)の積分比較を(2)(3)の誤差評価へ連鎖させる構成である。積分は必ず区間ごとに大小の向きを確認し、調和和を 1+logn で上から押さえる。(3)は重みを直接計算する方法と累積和へ並べ替える方法の2通りで 1/4 を確認した。有限和の添字とn2 で割る位置が主な失点源である。
冊子PDFで見る東北大の数列の問題で問題集を作る
出典: 東北大学 2021年度 後期 理系 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。