平均値の定理とその応用例題２パターン

平均値の定理について

• 前提条件が一見複雑ですが，要するに 考えている区間 $a\leq x\leq b$ で微分可能な関数ならOK。端っこは微分不可能でも連続ならOKという条件です。

• 平均値の定理は図形的な意味を考えると分かりやすいです。
  「$(a,f(a))$ と $(b,f(b))$ を結ぶ直線の傾き」＝「$x=c$ における接線の傾き」
  となる $c$ が存在するという定理です。

• 上記の図による説明でほとんどの人が納得できると思いますが，厳密な証明はけっこう大変なので省略します（最大値の原理→ロルの定理→平均値の定理という順番で証明していく→ロルの定理，平均値の定理とその証明）。

応用1（不等式の証明）

平均値の定理を使って不等式の証明を行う問題は超頻出です。

$f(b)-f(a)$ という形の式を含む不等式証明の問題では平均値の定理を疑いましょう。

2001年名古屋大学理系第1問です。露骨に平均値の定理を使う問題です。

解答

$f(x)=\log(\log x)$ とおくと，証明すべき不等式は，

$\dfrac{f(q)-f(p)}{q-p} <\dfrac{1}{e}$

となる。ここで平均値の定理より，

（左辺）$=f'(c)$ となる $c$ が $p$ と $q$ の間に存在する。

実際，合成関数の微分公式を用いて $f(x)$ の導関数を計算すると $f'(x)=\dfrac{1}{x\log x}$ であるので，証明すべき不等式は，

$c\log c > e$ となる。

ここで $g(x)=x\log x$ について考えると，$g'(x)=1+\log x$ より $x\geq e$ では $g(x)$ は単調増加。よって，$e <c$ より $g(e) <g(c)$ ，つまり $c\log c > e$ を得る。

応用2（漸化式と極限）

$a_{n+1}=f(a_n)$ 型の漸化式で表される数列の極限を求める問題にも平均値の定理は活躍します。このタイプの問題の基本的な考え方は漸化式で表される数列の極限で詳しく解説しています。

平均値の定理を使うことで所望の不等式：

$|a_{n+1}-\alpha| <k|a_n-\alpha|$ を示しにいきます。

2005年東京大学理系第3問です。

（1）は単なる計算問題です。省略します。

解答

$f(1)=1$ に注意する。平均値の定理より，( $x_n\neq 1$ のもとで)

$\dfrac{f(x_n)-f(1)}{x_n-1}=f'(c)$ となる $c$ が $1$ と $x_n$ の間に存在する。

よって，（1）と合わせると「 $x_n > \dfrac{1}{2},\:x_n\neq 1$ 」のもとで

$|x_{n+1}-1| <\dfrac{1}{2}|x_n-1|$

この不等式が得てしまえばあとは簡単。

・ $x_0=1$ のとき，数列 $\{x_n\}$ の各項は全て $1$ なのでOK。

・ $x_0\neq 1$ のとき，数列 $\{x_n\}$ の各項は「 $x_n > \dfrac{1}{2},\:x_n\neq 1$ 」を満たす（数学的帰納法で簡単に証明できる）ので，上記の不等式を繰り返し適用できる：

$|x_n-1| <\dfrac{1}{2^n}|x_0-1|$

ここで $n\to\infty$ とすると，右辺 $\to 0$ なので $\displaystyle\lim_{n\to\infty}x_n=1$ を得る。

Tag:東大入試数学の良問と背景知識まとめ