東京大学 2022年度
理系数学 第1問
- 試験区分
- 前期日程 第2次学力試験
- 対象
- 理科一類・理科二類・理科三類
- 分野
- 微分、積分、指数・対数、三角関数
- 解法
- 微分による最大最小、増減表、部分積分、定積分評価
- 難易度
- 6 / 10 計算量 5 / 10 目安 12分
問題
次の関数f(x)を考える。
f(x)=(cosx)log(cosx)−cosx+∫0x(cost)log(cost)dt(0≦x<2π)
(1) f(x)は区間0≦x<2πにおいて最小値を持つことを示せ。
(2) f(x)の区間0≦x<2πにおける最小値を求めよ。
出典:東京大学 2022年度 前期日程 第2次学力試験 理系 第1問
方針
まず積分を含む関数をそのまま微分する。積の微分で出る −sinx と、−cosx の微分で出る +sinx が打ち消し合い、f′(x)=(cosx−sinx)log(cosx) まで簡約される。log(cosx)<0 と cosx−sinx の符号から増減を決める。最小値は x=π/4 での値であり、残った定積分は部分積分と ∫sectdt=log(sect+tant) で具体的に評価する。
解答
(1)
0<x<2π で微分する。まず dxd{(cosx)log(cosx)}=−sinxlog(cosx)−sinx であり、また
dxd(−cosx)=sinx,dxd∫0x(cost)log(cost)dt=(cosx)log(cosx)
である。したがって
f′(x)=−sinxlog(cosx)−sinx+sinx+(cosx)log(cosx)=(cosx−sinx)log(cosx)
となる。 0<x<2π では 0<cosx<1 であるから log(cosx)<0 である。また
cosx−sinx⎩⎨⎧>0=0<0(0<x<4π),(x=4π),(4π<x<2π)
である。よって
f′(x)<0(0<x<4π),f′(x)>0(4π<x<2π)
である。
したがって f(x) は x=4π まで減少し、その後増加する。ゆえに区間 0≦x<2π において最小値を持ち、その最小点は x=4π である。
(2)
(1)より最小値は f(4π) である。まず定積分を計算する。部分積分により
∫costlog(cost)dt=sintlog(cost)−∫sint⋅(−tant)dt=sintlog(cost)+∫costsin2tdt=sintlog(cost)+∫(sect−cost)dt=sintlog(cost)+log(sect+tant)−sint
である。したがって
∫0π/4costlog(cost)dt=22log22+log(2+1)−22.
また cos4π=22 であるから
f(4π)=22log22−22+∫0π/4costlog(cost)dt=2log22−2+log(2+1).
ここで log22=log(2−1/2)=−21log2 なので
f(4π)=log(1+2)−2−22log2
である。
よって求める最小値は log(1+2)−2−22log2 である。