積分の平均値の定理は、大学数学の解析学や高校数学の発展的な内容でよく登場する重要な定理です。
名前だけを聞くと難しそうに感じるかもしれません。
ですが、考え方自体はとてもシンプルです。
連続な関数のグラフを思い浮かべてみてください。
ある区間での面積を、その区間の幅で割った値と同じ高さになる場所が、必ずどこかに存在するというのが、この定理の直感的なイメージです。
本記事では積分の平均値の定理の意味から証明の流れ、さらに積分型と呼ばれる第二平均値の定理、そして中間値の定理やロルの定理との関係まで、順を追って丁寧に解説していきます。
不等式の証明への応用や具体的な例題も取り上げますので、大学受験や大学の解析学の学習に役立てていただければ幸いです。
それではまず、積分の平均値の定理とは何かという結論部分から見ていきましょう。
積分の平均値の定理とは何か（結論）
それではまず、積分の平均値の定理の主張そのものについて解説していきます。
定理の主張
関数fが閉区間[a,b]で連続であるとします。
このとき、次の等式を満たす実数cが、区間[a,b]の内部に少なくとも一つ存在します。
∫[a,b] f(x)dx = f(c)（b－a）
ただしaはbより小さい実数で、cはaより大きくbより小さい実数です。
この式の右辺にあるf(c)は、区間[a,b]における関数fの平均値を表しています。
つまり、積分値を区間の幅で割った値と、ちょうど等しくなる関数の値が、区間の中に必ず存在するということです。
これが積分の平均値の定理の核心部分になります。
イメージで理解する
この定理は、グラフの面積で考えるとイメージがつかみやすくなります。
関数y＝f(x)のグラフとx軸、そしてx＝aとx＝bで囲まれた部分の面積が、積分∫[a,b]f(x)dxです。
一方で、高さf(c)、幅（b－a）の長方形の面積は、f(c)（b－a）で表されます。
積分の平均値の定理は、この二つの面積が等しくなるような高さf(c)が、必ずどこかに存在すると主張しているのです。
言い換えれば、でこぼこした曲線の下の面積を、同じ幅の長方形に均してしまう高さが必ず見つかるということでしょう。
この「均す」という発想が、平均値という名前の由来にもなっています。
通常型と積分型の違い
平均値の定理という言葉は、実は複数の意味で使われることがあります。
一つは微分に関するラグランジュの平均値の定理で、もう一つが今回解説している積分の平均値の定理です。
両者は名前は似ていますが、対象にしている操作がまったく異なります。
ラグランジュの平均値の定理は微分係数と変化率の関係を扱うのに対し、積分の平均値の定理は積分値と関数の値の関係を扱います。
ただし後ほど確認するように、この二つの定理は無関係ではなく、原始関数を介して密接につながっています。
この点は、記事の後半でロルの定理とあわせて詳しく確認していきましょう。
積分の平均値の定理の証明
続いては、積分の平均値の定理の証明について確認していきます。
準備（連続関数と最大値・最小値の定理）
証明のためにまず必要になるのが、最大値・最小値の定理です。
閉区間[a,b]で連続な関数fは、この区間で必ず最大値Mと最小値mを持ちます。
これは高校数学でも既に学んでいる内容かもしれません。
このとき、区間内のすべてのxについて、次の不等式が成り立ちます。
m ≦ f(x) ≦ M
この不等式の両辺を区間[a,b]で積分すると、次の関係が得られます。
m（b－a）≦ ∫[a,b] f(x)dx ≦ M（b－a）
この段階では、まだ具体的な値cは登場していません。
あくまで積分値が最小値と最大値に挟まれた範囲にあることを確認しただけです。
中間値の定理を使った証明の流れ
先ほどの不等式の各辺を（b－a）で割ると、次のようになります。
m ≦ 1/（b－a）× ∫[a,b] f(x)dx ≦ M
ここで、真ん中の値を仮にKとおいてみましょう。
KはmとMの間にある値ということになります。
関数fは連続で、区間内のどこかで最小値m、どこかで最大値Mを取ります。
そして中間値の定理によれば、連続関数がある区間で二つの値m、Mを取るならば、その間にあるすべての値もどこかで取ることになります。
したがって、f(c)＝Kとなるcが、区間内に少なくとも一つ存在するのです。
このcを使って両辺に（b－a）をかけ直すと、次の等式が得られます。
∫[a,b] f(x)dx = f(c)（b－a）
これで積分の平均値の定理の証明が完成しました。
証明のポイントと注意点
この証明で使われている道具は、実は最大値・最小値の定理と中間値の定理の二つだけです。
難しい計算テクニックは特に必要なく、連続関数の基本的な性質だけで証明できてしまう点が興味深いところでしょう。
注意しておきたいのは、この定理はcの存在を保証するだけで、cの具体的な値を求める方法までは教えてくれないという点です。
実際の入試や演習問題では、cの値そのものを求めさせる問題も出題されますが、それは平均値の定理とは別に方程式を解く作業になります。
また、fが連続であるという仮定は絶対に外せません。
不連続な関数では、最大値・最小値の定理も中間値の定理も成立しない場合があるため、この定理自体が成り立たなくなってしまいます。
積分の第二平均値の定理（積分型）
続いては、積分型とも呼ばれる第二平均値の定理について確認していきます。
積分型の主張
ここまで見てきた定理は、正式には第一平均値の定理と呼ばれることがあります。
これに対して、もう少し発展的な形として第二平均値の定理というものが存在します。
第二平均値の定理では、二つの関数fとgの積の積分を扱います。
代表的な形は次の通りです。
fが区間[a,b]で単調で、gが区間[a,b]で積分可能であるとき、次の等式を満たすcが区間内に存在します。
∫[a,b] f(x)g(x)dx ＝ f(a)∫[a,c] g(x)dx ＋ f(b)∫[c,b] g(x)dx
また、もう一つよく使われる形として、gが区間内で符号を変えない連続関数である場合の式もあります。
fが連続、gが区間[a,b]で符号を変えない連続関数であるとき、次を満たすcが存在します。
∫[a,b] f(x)g(x)dx ＝ f(c)∫[a,b] g(x)dx
この式は、gが恒等的に1である場合を考えると、通常の積分の平均値の定理と一致することがわかります。
証明の考え方
第二平均値の定理の証明は、第一平均値の定理よりもやや複雑です。
基本的な戦略としては、gの符号が一定であることを利用し、fの最大値と最小値を使って不等式を作るところは第一平均値の定理と共通しています。
大きな違いは、単純にfの最大最小で挟むのではなく、gを重みとして扱う点でしょう。
gが常に0以上、あるいは常に0以下という条件があるおかげで、不等式の向きを保ったまま積分することができます。
具体的には、mをfの最小値、Mをfの最大値としたとき、次の不等式が成り立ちます。
m∫[a,b] g(x)dx ≦ ∫[a,b] f(x)g(x)dx ≦ M∫[a,b] g(x)dx
この不等式に対して、先ほどと同様に中間値の定理を適用すれば、条件を満たすcの存在が示されます。
ただし∫g(x)dxが0になってしまう場合には、この割り算ができなくなるため、別途場合分けが必要になる点には注意が必要です。
通常の平均値の定理との関係
第二平均値の定理は、重み付き平均を考えていると捉えると理解しやすくなります。
gという重み関数を掛けたうえで平均値を考えているイメージです。
物理や工学の分野では、密度や確率分布のような重みを伴う積分を扱う場面が多くあります。
そうした場面において、第二平均値の定理は非常に強力な道具になります。
実際に、フーリエ級数の収束性の議論や振動積分の評価など、専門的な解析学の証明の中でもこの定理が使われることがあります。
大学の授業ではあまり深く扱われないこともありますが、名前だけでも覚えておくと、より進んだ内容を学ぶときに役立つでしょう。
ロルの定理との関係
続いては、ロルの定理と積分の平均値の定理のつながりについて確認していきます。
ロルの定理の復習
ロルの定理とは、関数fが閉区間[a,b]で連続、開区間（a,b）で微分可能であり、さらにf(a)＝f(b)を満たすとき、開区間内に微分係数が0になる点cが少なくとも一つ存在するという定理です。
グラフでイメージすると、両端の高さが同じ曲線には、必ずどこかに山や谷、つまり接線が水平になる点があるということです。
この定理は一見すると単純ですが、実はラグランジュの平均値の定理を証明するための土台になっている、とても重要な定理です。
平均値の定理からロルの定理を導く
ロルの定理はラグランジュの平均値の定理の特別な場合であり、逆にラグランジュの平均値の定理はロルの定理を使って証明することができます。
この二つは表裏一体の関係にあるといえるでしょう。
ラグランジュの平均値の定理は、関数fが閉区間[a,b]で連続、開区間で微分可能であるとき、次を満たすcが存在するという主張です。
f(b)－f(a) ＝ f'(c)（b－a）
証明の際には、補助関数g(x)＝f(x)－{f(a)＋（f(b)－f(a)）/（b－a）×（x－a）}のようなものを用意します。
このgはg(a)＝g(b)＝0を満たすように作られているため、ロルの定理を適用でき、g'(c)＝0となるcの存在が示されるのです。
この流れを見ると、ロルの定理がいかに基礎的で応用範囲の広い定理であるかがわかるでしょう。
積分の平均値の定理との共通点
ここで面白いのは、積分の平均値の定理とラグランジュの平均値の定理が、原始関数を通じてつながっている点です。
関数fが連続であるとき、F(x)＝∫[a,x] f(t)dtという原始関数を考えます。
微積分学の基本定理により、F'(x)＝f(x)が成り立ちます。
このFに対してラグランジュの平均値の定理を適用すると、次の式が得られます。
F(b)－F(a) ＝ F'(c)（b－a）＝ f(c)（b－a）
ところがF(b)－F(a)は、まさに∫[a,b] f(x)dxそのものです。
つまり、積分の平均値の定理は、原始関数Fにラグランジュの平均値の定理を適用したものと同じ結論になるのです。
ただし、この方法にはfの導関数が連続であるという少し強い仮定が必要になる場合があり、先に紹介した中間値の定理を用いる証明の方が、より弱い仮定で成り立つ点で優れています。
この違いを知っておくと、なぜ二通りの証明方法が存在するのかが理解しやすくなるでしょう。
不等式への応用
続いては、積分の平均値の定理を使った不等式の証明について確認していきます。
積分不等式の証明への利用
積分の平均値の定理は、積分の値そのものを直接計算するのが難しい場合に、その値の範囲を評価するために使われることがよくあります。
特に、複雑な被積分関数を含む不等式の証明において、大きな威力を発揮します。
基本的な使い方としては、関数fの最大値Mと最小値mを求め、それらを使って積分値を挟み込むという流れです。
区間[a,b]でm≦f(x)≦Mが成り立つならば、m（b－a）≦∫[a,b] f(x)dx≦M（b－a）となります。
この単純な挟み撃ちの発想が、多くの不等式証明の出発点になります。
具体的な計算例
ここで一つ、具体的な例を考えてみましょう。
区間[0,1]における∫[0,1] e^（－x²）dxの値の範囲を評価してみます。
f(x)＝e^（－x²）は区間[0,1]で単調に減少する関数です。
したがって、最大値はf(0)＝1、最小値はf(1)＝1/eとなります。
積分の平均値の定理の考え方を使うと、1/e ≦ ∫[0,1] e^（－x²）dx ≦ 1という評価が得られます。
実際の値はおよそ0.7468程度であり、この範囲にきちんと収まっていることが確認できます。
このように、複雑な関数の積分値そのものを求めなくても、おおよその範囲を素早く見積もることができるのが、この定理の大きなメリットです。
誤差評価への応用
積分の平均値の定理は、数値計算における誤差評価にも応用されます。
台形公式やシンプソン公式といった数値積分の手法では、真の積分値と近似値の差、つまり誤差項を表現する際に、平均値の定理の考え方が使われることが多いです。
誤差項の中に登場するf(c)やf”(c)といった表現は、まさに平均値の定理によって存在が保証される値なのです。
こうした場面を知っておくと、数値解析の授業に出てきたときにも、なぜそのような式が成立するのかを納得しやすくなるでしょう。
抽象的な定理が、実際の計算誤差を見積もるという実用的な場面で活躍しているのは、興味深いポイントではないでしょうか。
積分の平均値の定理の使い方と例題
続いては、実際の例題を通じて積分の平均値の定理の使い方を確認していきます。
例題1 基本的な計算
問題 関数f(x)＝x²について、区間[0,3]における積分の平均値の定理を満たすcの値を求めてください。
解答 まず積分の値を計算します。
∫[0,3] x²dx ＝ [x³/3]（0から3まで）＝ 27/3 ＝ 9
次に、f(c)（b－a）＝9という式を立てます。
c²×3＝9であるため、c²＝3となります。
区間[0,3]の内部にあるという条件から、c＝√3が答えになります。
このように、平均値の定理を満たすcは、積分を計算したあとで方程式を解くことによって、具体的に求めることができます。
例題2 応用問題
問題 関数f(x)＝sinxについて、区間[0,π]における平均値f(c)を求めてください。
解答 積分値は次のようになります。
∫[0,π] sinx dx ＝ [－cosx]（0からπまで）＝ （－cosπ）－（－cos0）＝ 1＋1 ＝ 2
区間の幅はπなので、平均値はf(c)＝2/πとなります。
つまり、sinc＝2/πを満たすcが、区間（0,π）の中に存在するということです。
このcの具体的な数値は逆三角関数を使わないと表せませんが、存在すること自体は定理によって保証されています。
つまずきやすいポイント
積分の平均値の定理を学ぶうえで、多くの学習者がつまずくポイントをいくつか整理しておきましょう。
| つまずきやすい点 | 正しい理解 |
|---|---|
| cの値がいつでも簡単に求まると思ってしまう | 存在が保証されるだけで、実際には方程式を解く手間が必要になる場合が多い |
| 不連続な関数でも定理が使えると思ってしまう | 連続性の仮定が崩れると定理自体が成立しない |
| 第一平均値の定理と第二平均値の定理を混同してしまう | 第二平均値の定理は重み関数gを含む、より一般的な形である |
| ロルの定理との関係が分からなくなる | 原始関数を考えることで、ラグランジュの平均値の定理とつながっている |
特に注意したいのは、cの範囲が開区間なのか閉区間なのかという細かい違いです。
教科書や参考書によって表記が微妙に異なることがあるため、証明の過程をしっかり追って、自分自身で確認しておくことをおすすめします。
また、不等式による評価と等式による表現を混同しないようにすることも大切なポイントでしょう。
まとめ
今回は積分の平均値の定理について、その主張から証明、そして積分型と呼ばれる第二平均値の定理、さらにロルの定理との関係や不等式への応用まで、幅広く解説してきました。
積分の平均値の定理は、区間全体の積分値と等しくなるような関数の値f(c)が、区間内に必ず存在するという、シンプルながらも奥深い定理です。
証明においては、最大値・最小値の定理と中間値の定理という、比較的基本的な道具が使われていることも確認しました。
また、ラグランジュの平均値の定理やロルの定理とも、原始関数を介して密接に結びついていることがわかったのではないでしょうか。
不等式の証明や数値計算の誤差評価といった実践的な場面でも、この定理は大いに役立ちます。
抽象的に感じられる定理でも、具体例を通じて何度も手を動かしてみることで、少しずつ理解が深まっていくはずです。
ぜひ今回の内容を参考にしながら、実際の問題演習にも取り組んでみてください。
