Evolton

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

x>0を定義域とする関数f(x)=12(e3x3ex)e2x1について,以下の問いに答えよ.

(1) 関数y=f(x)x>0)は,実数全体を定義域とする逆関数を持つことを示せ.
すなわち,任意の実数aに対して,f(x)=aとなるx>0がただ1つ存在することを示せ.

(2) 前問(1)で定められた逆関数をy=g(x)<x<)とする.
このとき,次の定積分を求めよ.827g(x)dx

難易度7/ 10計算量6/ 10目安30

微分積分指数・対数 増減表面積計算、置換積分

方針

u=ex とおくと u>1 で,f(x)F(u)=12(u33u)/(u21) になる。F(u)>0u1+0u を示せば,実数全体を値域にもつ単調関数なので逆関数が定義できる。(2)は f(log2)=8f(log3)=27 を確認し,逆関数の面積関係で 827g(x)dxlog2log3f(t)dt に変換して計算する。

解答

(1) u=ex とおく。x>0 なので u>1 である。このとき f(x)=F(u),F(u)=12(u33u)u21 と書ける。 F(u) を微分するとF(u)=12(3u23)(u21)2u(u33u)(u21)2=12u4+3(u21)2である。u>1 では分母も分子も正なので F(u)>0 である。したがって F(u)u>1 で狭義単調増加である。

また,u1+0 のとき,分母 u21 は正で0に近づき,分子 12(u33u)24 に近づく。よって limu1+0F(u)= である。一方,u のとき F(u)=12uu23u21 である。

したがって F(u)(1,) 上で連続かつ狭義単調増加で,値域は実数全体である。u=exx>0u>1 を一対一に対応させるので,任意の実数 a に対して f(x)=a を満たす x>0 がただ1つ存在する。よって y=f(x) は実数全体を定義域とする逆関数をもつ。

(2)

まず端点に対応する値を確認する。u=2 のとき f(log2)=12(86)41=8 であり,u=3 のとき f(log3)=12(279)91=27 である。したがって逆関数 g について g(8)=log2,g(27)=log3 である。

逆関数の面積関係を用いると 827g(x)dx=27log38log2log2log3f(t)dt である。

残る積分を計算する。u=et とおくと dt=du/u であり,f(t)dt=12(u33u)u21duu=12u23u21du=12(12u21)duである。ここで 2u21=1u11u+1 だから f(t)dt=12u12log(u1)+12log(u+1) である。u=et に戻すと f(t)dt=12et+12log(et+1)12log(et1) である。

よってlog2log3f(t)dt={36+12log412log2}{24+12log312log1}=(36+12log2)(24+12log3)=12+12log212log3である。

したがって827g(x)dx=27log38log2(12+12log212log3)=39log320log212である。

総評

難度7,計算量6。目安時間は30分。u=ex と置くと単調性と端の極限が見やすくなり,逆関数の存在を一気に示せる。逆関数の積分では,端点 8,27 がそれぞれ log2,log3 に対応することを先に確認するのが重要である。積分計算は dt=du/u を忘れると式が大きく崩れるので,置換後の有理式を丁寧に整理したい。

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

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