Evolton

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

以下の問いに答えよ。

(1) nを自然数,aを正の定数として,f(x)=(n+1){log(a+x)log(n+1)}n(logalogn)logxとおく。
x>0における関数f(x)の極値を求めよ。
ただし,対数は自然対数とする。

(2) nが2以上の自然数のとき,次の不等式が成り立つことを示せ。1nk=1nk+1k>(n+1)1n

難易度6/ 10計算量5/ 10目安22

指数・対数微分論証・証明 微分による最大最小、相加相乗平均、不等式評価

方針

(1) は導関数の符号から x=a/n で極小値0を得る。さらに f(x)0 を指数化すると、n 個から n+1 個へ相加平均・相乗平均を拡張する不等式になる。(2)はこの結果を正の数 2/1,3/2,,(n+1)/n に適用し、積が n+1 に約分されることと等号条件を確認する。

解答

(1) f(x)=(n+1){log(a+x)log(n+1)}n(logalogn)logx である。x>0a>0 で微分するとf(x)=n+1a+x1x=(n+1)x(a+x)x(a+x)=nxax(a+x)である。分母 x(a+x) は正なので、f(x) の符号は nxa の符号で決まる。

したがって 0<x<an では f(x)<0x>an では f(x)>0 である。よって x=a/n で極小値をとる。

その値を計算する。 a+an=an+1n なので log(a+an)log(n+1)=logalogn である。したがってf(an)=(n+1)(logalogn)n(logalogn)logan=logalogn(logalogn)=0である。よって極値は極小値だけで、その値は 0(x=an) である。

さらに f(x)0 を指数化するとa+xn+1(an) ⁣n/(n+1)x1/(n+1)(*)を得る。この不等式を使うと、正の数の相加平均・相乗平均の関係を個数について帰納的に示せる。実際、最初の n 個の和を a(n+1) 個目を x として () を適用し、最初の n 個に対する相加平均・相乗平均を組み合わせれば、(n+1) 個に対する同じ不等式が得られる。

(2) n2 とする。正の数 21,32,43,,n+1nn 個を考える。(1)から帰納的に得られる相加平均・相乗平均の関係より1nk=1nk+1k(213243n+1n)1/nである。

ここで右辺の積は途中がすべて約分されて 213243n+1n=n+1 である。したがって 1nk=1nk+1k(n+1)1/n である。

さらに、n2 のとき、これらの数はすべて等しくない。実際 2132 である。相加平均・相乗平均で等号が成り立つのはすべての数が等しいときだけなので、今回は等号は成り立たない。よって 1nk=1nk+1k>(n+1)1/n が成り立つ。

総評

難度6、計算量5。目安時間は22分。(1) は複雑に見える対数式だが、微分すると (nxa)/(x(a+x)) になり、極小点は一つだけである。代入時には a+a/n=a(n+1)/n を使うと0がきれいに出る。(2) は相加平均・相乗平均の典型で、積が n+1 に望遠的に約分される。n2 だから数がすべて等しくない、したがって厳密な不等号になる、という等号条件の確認が採点上重要である。 別解監査では、(2)だけなら既知の相加平均・相乗平均を直接用いる短解もあるが、収録解では(1)がその根拠を与える流れまで明示した。

冊子PDFで見る東北大の指数・対数の問題で問題集を作る

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