名古屋大学/2022年度
4名古屋大学 2022年 数学 第4問解答・解説
積分法極限微分法
1問題
名古屋大学2022年度第4問
関数
f(x) は区間
x≧0 において連続な増加関数で
f(0)=1 を満たすとする。ただし
f(x) が区間
x≧0 における増加関数であるとは、区間内の任意の実数
x1、
x2 に対し
x1<x2 ならば
f(x1)<f(x2) が成り立つときをいう。以下、
n は正の整数とする。
(1)
n→∞lim∫02−n12−xf(x)dx=∞ を示せ。
(2) 区間
y>2 において関数
Fn(y) を
Fn(y)=∫2+n1yx−2f(x)dx と定めるとき、
y→∞limFn(y)=∞ を示せ。また
2+n1 より大きい実数
an で
∫02−n12−xf(x)dx+∫2+n1an2−xf(x)dx=0 を満たすものがただ1つ存在することを示せ。
(3) (2)の
an について、不等式
an<4 がすべての
n に対して成り立つことを示せ。
まずは自分で解いてみましょう。解けたら「答え」、詰まったら「解答」で確かめられます。
2答え
答えを見る自分の答えと照らし合わせる
(1)n→∞lim∫02−n12−xf(x)dx=∞ (2)y→∞limFn(y)=∞。
2+n1より大きい実数
anで、与えられた式を満たすものがただ1つ存在する。
3解答
解答を見る途中式つきの解答
解答
fは問題文で定義された増加関数で
f(0)=1だから、
f(x)≧1(
x≧0)である。
(1)
In=∫02−n12−xf(x)dxとおくと、
In≧∫02−n12−xdx=log(2n)⟶∞である。
(2)
cn=2+n1とする。
y≧cnでは
Fn(y)=∫cnyx−2f(x)dx≧∫cnyx−2dx=log{n(y−2)}⟶∞である。また
Fn(cn)=0と定めれば、
Fnは連続であり、
cn≦y1<y2ならば
Fn(y1)<Fn(y2)が成り立つ。
In>0だから、
Fn(y)は0から無限大まで増えるので、中間値の定理より
Fn(an)=Inを満たす
an>cnが存在し、増加の性質によりただ1つである。
x>2では
2−xf(x)=−x−2f(x)なので、
Fn(an)=Inは問題文の式
In+∫2+n1an2−xf(x)dx=0と同値である。
(3)
4>cnである。置換
t=2−xおよび
t=x−2により
In=∫n12tf(2−t)dt,Fn(4)=∫n12tf(2+t)dt.ここで
t>0、
2+t>2−t≧0だから、問題文の増加関数の定義より
f(2+t)>f(2−t)である。したがって
Fn(4)>In=Fn(an)であり、
Fnの増加の性質から
an<4が、すべての
n(
n=1,2,3,⋯)について成り立つ。
読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。
この問題で使う考え方
- 単調性による積分比較
- 基本的な対数積分
- 連続狭義単調関数への中間値の定理
- 置換積分と被積分関数の比較
答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。
名古屋大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?