京都府立医科大学/2025年度/前期

3京都府立医科大学 2025年 数学 第3問解答・解説

指数関数・対数関数微分法極限数列

1問題

京都府立医科大学2025年度第3問
自然数 nn に対して、関数 fn(x)f_n(x) (x>0)(x>0) を次のように定める。
f1(x)=log⁡(1+x),fn+1(x)=f1(fn(x))(n=1,2,3,⋯ )f_1(x)=\log(1+x),\qquad f_{n+1}(x)=f_1(f_n(x))\quad(n=1,2,3,\cdots)

(1) x>0x>0 のとき、不等式
x−x22<f1(x)<x−x22+x33x-\frac{x^2}{2}<f_1(x)<x-\frac{x^2}{2}+\frac{x^3}{3}
が成り立つことを証明せよ。

(2) 自然数 nn に対して
lim⁡x→∞(x2fn(1x)−x)=−n2\lim_{x\to\infty}\left(x^2f_n\left(\frac{1}{x}\right)-x\right)=-\frac{n}{2}
が成り立つことを数学的帰納法を用いて証明せよ。

まずは自分で解いてみましょう。解けたら「答え」、詰まったら「解答」で確かめられます。

タイマー

15:00

2答え

答えを見る自分の答えと照らし合わせる
  • (1)
    x−x22<log⁡(1+x)<x−x22+x33(x>0).x-\frac{x^2}{2}<\log(1+x)<x-\frac{x^2}{2}+\frac{x^3}{3}\quad(x>0).
  • (2)

3解答

解答を見る途中式つきの解答

解答

(1) g(x)=log⁡(1+x)−x+x22g(x)=\log(1+x)-x+\dfrac{x^2}{2} とおくと、g(0)=0g(0)=0 であり、x>0x>0 に対して
g′(x)=11+x−1+x=x21+x>0. g'(x)=\frac{1}{1+x}-1+x=\frac{x^2}{1+x}>0.
よって g(x)>g(0)=0g(x)>g(0)=0、すなわち x−x22<log⁡(1+x)x-\dfrac{x^2}{2}<\log(1+x) である。

次に h(x)=x−x22+x33−log⁡(1+x)h(x)=x-\dfrac{x^2}{2}+\dfrac{x^3}{3}-\log(1+x) とおくと、h(0)=0h(0)=0 であり
h′(x)=1−x+x2−11+x=x31+x>0. h'(x)=1-x+x^2-\frac{1}{1+x}=\frac{x^3}{1+x}>0.
したがって h(x)>0h(x)>0、すなわち log⁡(1+x)<x−x22+x33\log(1+x)<x-\dfrac{x^2}{2}+\dfrac{x^3}{3} である。

(2) PnP_n を
lim⁡x→∞(x2fn(1x)−x)=−n2 \lim_{x\to\infty}\left(x^2f_n\left(\frac1x\right)-x\right)=-\frac n2
という命題とする。

まず n=1n=1 のとき、(1)に 1/x1/x を代入して x2x^2 倍すると
−12<x2f1(1x)−x<−12+13x. -\frac12<x^2f_1\left(\frac1x\right)-x<-\frac12+\frac{1}{3x}.
はさみうちの原理により P1P_1 が成り立つ。

nn で PnP_n が成り立つと仮定し、u=fn(1/x)u=f_n(1/x) とおく。各 fnf_n は正の引数に対して正の値をとるので u>0u>0 である。(1)を uu に適用し、漸化式 fn+1(1/x)=f1(u)f_{n+1}(1/x)=f_1(u) を用いると
u−u22<fn+1(1x)<u−u22+u33. u-\frac{u^2}{2}<f_{n+1}\left(\frac1x\right)<u-\frac{u^2}{2}+\frac{u^3}{3}.
ここで Xn=x2u−xX_n=x^2u-x とおけば
Xn−x2u22<x2fn+1(1x)−x<Xn−x2u22+x2u33. X_n-\frac{x^2u^2}{2}<x^2f_{n+1}\left(\frac1x\right)-x<X_n-\frac{x^2u^2}{2}+\frac{x^2u^3}{3}.
仮定より Xn→−n/2X_n\to-n/2 であり、xu=1+Xn/x→1xu=1+X_n/x\to1 だから
x2u2=(xu)2→1,x2u3=(xu)3x→0. x^2u^2=(xu)^2\to1,\qquad x^2u^3=\frac{(xu)^3}{x}\to0.
従って再びはさみうちの原理により
lim⁡x→∞(x2fn+1(1x)−x)=−n2−12=−n+12. \lim_{x\to\infty}\left(x^2f_{n+1}\left(\frac1x\right)-x\right)=-\frac n2-\frac12=-\frac{n+1}{2}.
以上から数学的帰納法により、すべての自然数 nn について PnP_n が成り立つ。

読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。

この問題で使う考え方

  • 指数・対数関数の微分
  • 関数の極限
  • 数学的帰納法

答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。

京都府立医科大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

次にやること

同じ年度の次の問題第4問へ進む微分法・積分法・極限

京都府立医科大学のほかの年度

似た問題を、ほかの大学で