方針
(1) では両辺の差を微分し、x=k で最小値0をとることを示す。(2)ではその不等式を k を中心とする長さ1の区間で積分し、k=2 から n まで加える。
解答
(1)h(x)=xlogx−{(1+logk)(x−k)+klogk}とおく。このときh′(x)=logkx.したがって 1≦x<k では h′(x)<0、x>k では h′(x)>0 であり、h は x=k で最小になる。h(k)=0 だからxlogx≧(1+logk)(x−k)+klogkが成り立つ。
この関係は、曲線 y=xlogx が x=k における接線より上にあることを表す。
(2) (1)の不等式を、次の区間について積分する。k−21≦x≦k+21対称性により∫k−21k+21(1+logk)(x−k)dx=0であり、等号成立は一点だけだから∫k−21k+21xlogxdx>klogk.これを k=2,3,…,n について加えるとan<∫23n+21xlogxdx.次に∫xlogxdx=2x2(logx−21)である。N=n+1/2 とおけば∫23Nxlogxdx=2N2(logN−21)−89(log23−21).log(3/2)>0 より−89(log23−21)<169<1.したがって∫23n+21xlogxdx<21(n+21)2{log(n+21)−21}+1.以上で二つの不等式が示された。
別解
解法2(無次元化と対称化を使う)
方針
(1) では u=x/k として差を k(ulogu−u+1) にする。(2)では g(k+t)+g(k−t) を微分し、中点の値より大きいことを直接示す。
解答
(1) u=x/k>0 とおくと、左辺から右辺を引いた差はk(ulogu−u+1)である。ϕ(u)=ulogu−u+1 とおけばϕ′(u)=logu.よって ϕ は u=1 で最小値 0 をとる。したがって差は0以上であり、求める不等式が成り立つ。
(2) g(x)=xlogx とおく。0<t≦1/2 に対しq(t)=g(k+t)+g(k−t)−2g(k)とおくとq′(t)=g′(k+t)−g′(k−t)=logk−tk+t>0.しかも q(0)=0 だから q(t)>0 である。したがって∫k−21k+21g(x)dx−klogk=∫021{g(k+t)+g(k−t)−2g(k)}dt>0.これを k=2,3,…,n について加えてan<∫23n+21xlogxdxを得る。
上側については原始関数G(x)=2x2(logx−21)を用いる。N=n+1/2 とすれば∫23Nxlogxdx=G(N)−G(23).また−G(23)=−89(log23−21)<169<1.ゆえに∫23n+21xlogxdx<21(n+21)2{log(n+21)−21}+1.
総評
難度8、計算量7、目安35分。接線不等式を、整数を中心とする長さ1の区間で積分する発想が核心である。標準解法は(1)をそのまま積分し、別解は左右対称な点の関数値を組にして平均を評価した。積分区間を連結すると端点が 3/2 と n+1/2 になること、上端評価の定数が1未満であることまで丁寧に確認した。
冊子PDFで見る阪大の微分の問題で問題集を作る
出典: 大阪大学 1982年度 前期 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。