平均値の定理の意味・証明・応用例題２パターン

$a=1,b=3,f(x)=x^2$ として平均値の定理を使ってみましょう。$f'(x)=2x$ なので，平均値の定理は

$\dfrac{3^2-1^2}{3-1}=2c$ を満たす $c$ が $1$ と $3$ の間に存在する

となります。実際，上の式を変形すると $c=2$ となり，式を満たす $c$ が $1$ と $3$ の間にありました。

平均値の定理は一見複雑ですが，「傾き」という図形的な意味を考えれば理解しやすいです。平均値の定理の式 $$\dfrac{f(b)-f(a)}{b-a}=f'(c)$$ について，

• 左辺は $(a,f(a))$ と $(b,f(b))$ を結ぶ直線の傾き
• 右辺は $x=c$ における接線の傾き

つまり「赤い直線と 紫の直線 が平行」となる $c$ が存在する，というのが平均値の定理です。

定理自体は比較的理解しやすいのですが，実際に入試問題などに応用するのが難しい定理です。そこで，この記事では平均値の定理の頻出応用例を2パターン解説します。

1. 不等式の証明

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

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

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

2.漸化式と極限

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

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

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

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

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

冒頭で紹介した「平均値の定理は傾きに関する定理」が理解できれば直感的には納得できますが，平均値の定理の厳密な証明はけっこう大変です。

具体的には，最大値の原理→ロルの定理→平均値の定理　という順番で証明していきます。詳細は ロルの定理，平均値の定理とその証明）をご覧ください。

• 「$a\leqq x\leqq b$ で微分可能な関数」という条件は，もう少し緩められます。具体的には，区間 $[a,b]$ で連続かつ $(a,b)$ で微分可能な関数ならOKです（端っこは微分不可能でも連続ならOKです）。

• この記事で紹介したのは「ラグランジュの平均値の定理」です。より一般的な「コーシーの平均値の定理」もあります。

• 平均値の定理を一般化した「テイラーの定理」はテイラー展開の基礎です。→テイラーの定理の例と証明

• 平均値の定理を使うと「微分がプラスなら単調増加」という大事な定理を簡単に証明できます。詳細は単調増加・単調減少の意味と覚えておくべき性質の性質1を参照してください。

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

Tag:数学3の教科書に載っている公式の解説一覧