名古屋大学/2022年度

4名古屋大学 2022年 数学 第4問解答・解説

積分法極限微分法

1問題

名古屋大学2022年度第4問
関数 f(x)f(x) は区間 x≧0x\geqq 0 において連続な増加関数で f(0)=1f(0)=1 を満たすとする。ただし f(x)f(x) が区間 x≧0x\geqq 0 における増加関数であるとは、区間内の任意の実数 x1x_{1}、x2x_{2} に対し x1<x2x_{1}<x_{2} ならば f(x1)<f(x2)f(x_{1})<f(x_{2}) が成り立つときをいう。以下、nn は正の整数とする。

(1) lim⁡n→∞∫02−1nf(x)2−x dx=∞\displaystyle\lim_{n\to\infty}\int_{0}^{2-\dfrac{1}{n}}\dfrac{f(x)}{2-x}\,dx=\infty を示せ。

(2) 区間 y>2y>2 において関数 Fn(y)F_{n}(y) を Fn(y)=∫2+1nyf(x)x−2 dxF_{n}(y)=\displaystyle\int_{2+\dfrac{1}{n}}^{y}\dfrac{f(x)}{x-2}\,dx と定めるとき、lim⁡y→∞Fn(y)=∞\displaystyle\lim_{y\to\infty}F_{n}(y)=\infty を示せ。また 2+1n2+\dfrac{1}{n} より大きい実数 ana_{n} で ∫02−1nf(x)2−x dx+∫2+1nanf(x)2−x dx=0\displaystyle\int_{0}^{2-\dfrac{1}{n}}\dfrac{f(x)}{2-x}\,dx+\int_{2+\dfrac{1}{n}}^{a_{n}}\dfrac{f(x)}{2-x}\,dx=0 を満たすものがただ1つ存在することを示せ。

(3) (2)の ana_{n} について、不等式 an<4a_{n}<4 がすべての nn に対して成り立つことを示せ。

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

タイマー

15:00

2答え

答えを見る自分の答えと照らし合わせる
  • (1)
    lim⁡n→∞∫02−1nf(x)2−x dx=∞\displaystyle\lim_{n\to\infty}\int_{0}^{2-\dfrac{1}{n}}\dfrac{f(x)}{2-x}\,dx=\infty
  • (2)
    lim⁡y→∞Fn(y)=∞\displaystyle\lim_{y\to\infty}F_{n}(y)=\infty。2+1n2+\dfrac{1}{n}より大きい実数ana_{n}で、与えられた式を満たすものがただ1つ存在する。
  • (3)
    an<4a_{n}<4

3解答

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

解答

ffは問題文で定義された増加関数でf(0)=1f(0)=1だから、f(x)≧1f(x)\geqq1(x≧0x\geqq0)である。

(1)

In=∫02−1nf(x)2−x dxI_{n}=\displaystyle\int_{0}^{2-\dfrac{1}{n}}\dfrac{f(x)}{2-x}\,dxとおくと、
In≧∫02−1ndx2−x=log⁡(2n)⟶∞I_{n}\geqq\displaystyle\int_{0}^{2-\dfrac{1}{n}}\dfrac{dx}{2-x}=\log(2n)\longrightarrow\infty
である。

(2)

cn=2+1nc_{n}=2+\dfrac{1}{n}とする。y≧cny\geqq c_{n}では
Fn(y)=∫cnyf(x)x−2 dx≧∫cnydxx−2=log⁡{n(y−2)}⟶∞F_{n}(y)=\displaystyle\int_{c_{n}}^{y}\dfrac{f(x)}{x-2}\,dx\geqq\displaystyle\int_{c_{n}}^{y}\dfrac{dx}{x-2}=\log\{n(y-2)\}\longrightarrow\infty
である。またFn(cn)=0F_{n}(c_{n})=0と定めれば、FnF_{n}は連続であり、cn≦y1<y2c_{n}\leqq y_{1}<y_{2}ならばFn(y1)<Fn(y2)F_{n}(y_{1})<F_{n}(y_{2})が成り立つ。In>0I_{n}>0だから、Fn(y)F_{n}(y)は0から無限大まで増えるので、中間値の定理よりFn(an)=InF_{n}(a_{n})=I_{n}を満たすan>cna_{n}>c_{n}が存在し、増加の性質によりただ1つである。
x>2x>2ではf(x)2−x=−f(x)x−2\dfrac{f(x)}{2-x}=-\dfrac{f(x)}{x-2}なので、Fn(an)=InF_{n}(a_{n})=I_{n}は問題文の式In+∫2+1nanf(x)2−x dx=0I_{n}+\displaystyle\int_{2+\dfrac{1}{n}}^{a_{n}}\dfrac{f(x)}{2-x}\,dx=0と同値である。

(3)

4>cn4>c_{n}である。置換t=2−xt=2-xおよびt=x−2t=x-2により
In=∫1n2f(2−t)t dt,Fn(4)=∫1n2f(2+t)t dt.I_{n}=\displaystyle\int_{\dfrac{1}{n}}^{2}\dfrac{f(2-t)}{t}\,dt,\qquad F_{n}(4)=\displaystyle\int_{\dfrac{1}{n}}^{2}\dfrac{f(2+t)}{t}\,dt.
ここでt>0t>0、2+t>2−t≧02+t>2-t\geqq0だから、問題文の増加関数の定義よりf(2+t)>f(2−t)f(2+t)>f(2-t)である。したがってFn(4)>In=Fn(an)F_{n}(4)>I_{n}=F_{n}(a_{n})であり、FnF_{n}の増加の性質からan<4a_{n}<4が、すべてのnn(n=1, 2, 3, ⋯n=1,\,2,\,3,\,\cdots)について成り立つ。

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

この問題で使う考え方

  • 単調性による積分比較
  • 基本的な対数積分
  • 連続狭義単調関数への中間値の定理
  • 置換積分と被積分関数の比較

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

名古屋大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

次にやること

名古屋大学のほかの年度

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