平均値の定理のソースを表示

{{出典の明記|date=2015年11月}}
{{Calculus}}
[[ファイル:Mvt2.svg|thumb|right|346px|[''a'', ''b''] で連続かつ (''a'', ''b'') で微分可能な関数に対して、平均変化率に等しい傾きを持つ接線を与える点 ''c'' が (''a'', ''b'') 内に存在する。]]
[[微分積分学]]における'''平均値の定理'''（へいきんちのていり、{{lang-en-short|<em>mean-value theorem</em>}}）または'''有限増分の定理''' ({{lang-fr-short|''Théorème des accroissements finis''}}{{efn|英語転写すれば theorem of finite increments}}) は、[[実函数]]に対して有界な領域上の[[積分]]に関わる大域的な値を、[[微分]]によって定まる局所的な値として実現する点が領域内に存在することを主張する。平均値の定理にはいくつかバリエーションがあるが、単に 「平均値の定理」 と言った場合は、'''ラグランジュの平均値の定理'''と呼ばれる微分に関する平均値の定理のことを指す場合が多い。

平均値の定理は微積分学の他の定理の証明（例えば、[[テイラーの定理]]、[[微分積分学の基本定理]]）にしばしば利用される、大変有用なものである。平均値の定理の証明自体には[[ロルの定理]]を用いる。その一方で、平均値の定理はそのまま多変数の関数に適用することはできない。また、もっと弱い条件の元でも同じ定理が成り立つ。その他種々の理由から、平均値の定理を使うこと避ける数学者もいる。多変数関数にも使えて、平均値の定理の代わりになるような定理として、有限増分不等式がある。これは存在型ではない。あるいは、積分を持ち込んで微積分学の基本定理で代用することもある。

== 歴史 ==
平均値の定理の特別の場合について、最古の記述はインドの[[ケーララ学派]][[Parameshvara]] (1370–1460) による[[Govindasvāmi]]および[[バースカラ2世]]に関する解説の中に見られる<ref>J. J. O'Connor and E. F. Robertson (2000). [http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Paramesvara.html Paramesvara], ''[[MacTutor History of Mathematics archive]]''.</ref>。制限された形の平均値定理は、1691年に{{ill2|ミシェル・ロル|en|Michel Rolle}}が今日[[ロルの定理]]と呼ばれるものを、多項式に限って、微分積分学の手法を用いることなく示した。現代的な形の平均値定理を定式化し証明したのは[[オーギュスタン・ルイ・コーシー]]で、1823年のことである<ref>A. Besenyei, Historical development of the mean value theorem, http://abesenyei.web.elte.hu/publications/meanvalue.pdf</ref>。

== 微分の平均値定理 ==
=== 有限増分の定理 ===
有限増分の定理と呼ばれる定理にもいくつか異なるバージョンがあり、後で述べる平均値の定理の別名でしかない場合もある<ref>高木『解析概論』改訂第三版 p. 48 「上記の公式{{interp|平均値の定理のこと}}をフランス系では`有限増加の公式’ともいう．」</ref>
; 弱い有限増分の定理
: 函数 {{mvar|f}} は閉区間 {{closed-closed|''a'', ''b''}} 上で有限かつ連続、開区間 {{open-open|''a'', ''b''}} で微分可能であるとき、<math display="inline">m:=\inf_{a<x<b} f', M:=\sup_{a<x<b} f'</math> とすれば <math display="block">m(b-a)\le f(b) - f(a)\le M(b-a)</math> が成立する。
; 強い有限増分の定理
: 函数 {{mvar|f, g}} は閉区間 {{closed-closed|''a'', ''b''}} 上で有限かつ連続、開区間 {{open-open|''a'', ''b''}} で微分可能であるとき、区間 {{closed-closed|''a'', ''b''}} 上で <math display="inline">mg'(x)\le f'(x)\le Mg'(x)</math> となる定数 {{mvar|m, M}} が存在するならば <math display="block">m(g(b)-g(a))\le f(b)-f(a)\le M(g(b)-g(a))</math> が成立する。

微分可能性に関しては、[[殆ど至る所]]微分可能や、殆ど至る所[[片側微分|左側（resp. 右側）微分可能]]に緩めたもの、あるいは微分係数が∞となることを許す場合でも、適当な仮定のもとで成り立つ<ref>ブルバキ数学原論「実一変数関数」pp. 18&ndash;19, 定理 2.</ref>。また、[[絶対値]]をとれば結論の不等式を <math display="block">|f(b) - f(a)| \le M(g(b)-g(a))\quad (M:= \sup_{a<x<b}|f(x)|)</math> のような形に書くこともできる。<ref>{{kotobank|平均値の定理|日本大百科全書}}</ref>

=== ラグランジュの平均値の定理 ===
''a'' &lt; ''b'' とし、''f''(''x'') を[[区間 (数学)|閉区間]] [''a'', ''b''] で連続で、[[区間 (数学)|開区間]] (''a'', ''b'') で微分可能な関数とする。このとき開区間 (''a'', ''b'') 上に、ある点 ''c'' が存在して
: <math>\frac{f(b) - f(a)}{b - a} = f'(c)</math>
が成り立つ。これを微分に関する'''ラグランジュの平均値の定理'''という。左辺は、グラフにおいて (''a'', ''f''(''a'')), (''b'', ''f''(''b'')) を結ぶ線分（曲線の弦と呼ぶ）の傾き（= 平均変化率）であるから、ラグランジュの平均値の定理は弦と平行な接線（= 瞬間の変化率）を持つ点が ''a'' と ''b'' の間に存在するということがこの定理の主張である。つまり平均値の定理は[[存在定理|存在型の定理]]である。

またラグランジュの平均値の定理は <math>b=a+h</math>、<math>c=a+\theta h</math> とおくと、（ただし 0 &lt; θ &lt; 1 ）
: <math>f(a+h)=f(a)+hf'(a+\theta h)</math>
とも表せる。

=== コーシーの平均値の定理 ===
{{main|[[コーシーの平均値定理]]}}
ラグランジュの平均値の定理の拡張として、''f''(''x''), ''g''(''x'') を閉区間 [''a'', ''b''] で連続で、開区間 (''a'', ''b'') で微分可能な関数、区間内の各点 ''x'' において ''g' ''(''x'') ≠ 0, ''g''(''b'') − ''g''(''a'') ≠ 0 であるならば

: <math>\frac{f(b)-f(a)}{g(b)-g(a)} = \frac{f'(c)}{g'(c)}</math>

なる ''c'' ∈ (''a'', ''b'') が存在する。これをフランスの数学者[[オーギュスタン・ルイ・コーシー|コーシー]]にちなんで'''コーシーの平均値の定理'''という。特に ''g''(''x'') = ''x'' である時がラグランジュの平均値の定理である。仮定「区間内の各点 ''x'' に対し ''g' ''(''x'') ≠ 0」はもう少し弱めて「区間内の各点 ''x'' で ''f' ''(''x''), ''g' ''(''x'') は同時に 0 にならない」としてよい。

=== ロピタルの定理 ===
{{main|ロピタルの定理}}
コーシーの平均値の定理から[[極限]]をとると、系として[[ロピタルの定理]]（または'''ベルヌーイの定理'''）が導かれる。''f''(''x''), ''g''(''x'') を ''f''(''a'') = ''g''(''a'') = 0 でありかつ ''a'' の十分近くで 0 にならない微分可能な関数とするとき、以下の定理を得る。
: <math>\lim_{x\to a}\frac{f(x)}{g(x)} = \lim_{x\to a}\frac{f(x)-f(a)}{g(x)-g(a)} = \lim_{x\to a}\frac{f'(x)}{g'(x)}</math>
左の等号は ''f''(''a'') = ''g''(''a'') = 0 による。右の等号はコーシーの平均値の定理による。

== 積分の平均値定理 ==
{{main|{{ill2|積分の平均値定理|de|Mittelwertsatz der Integralrechnung}}}}
関数 ''f''(''x'') が有限の[[指示関数|容積]] vol(''E'') をもつ集合 ''E'' 上で有界かつ可積分ならば、''f''(''x'') の ''E'' における積分値を ''E'' において平均化した値は、 ''E'' における ''f''(''x'') の上限 sup ''f''(''x'') と下限 inf ''f''(''x'') の間にある：
: <math>
 \inf_{x \in E} f(x) \leq \frac{1}{\mathrm{vol}(E)}\int_E f(x)\, dx \leq \sup_{x \in E} f(x).
</math>
これを積分の'''第一平均値定理'''という。また、もう少し一般に拡張した形のものを指すこともあり、それは次のように述べられる。集合 ''E'' 上で ''f''(''x'') が有界、''g''(''x'') が可積分ならば、積 ''f''(''x'')''g''(''x'') は可積分であって、
: <math>\inf_{x \in E} f(x) \leq \mu \leq \sup_{x \in E} f(x)</math>
となる定数 μ のうちに等式
: <math>\int_E f(x)|g(x)|\,dx = \mu \int_E |g(x)|\, dx</math>
を満たすものが存在する。ここで ''f''(''x'') が連続ならば、''E'' の点 ξ を適当に取れば μ = ''f''(ξ) と書けることが中間値の定理から従う。特に一変数の場合を考えれば、有界な関数 ''f''(''x'') が区間 [''a'', ''b''] で連続かつ積分可能ならば
: <math> \frac{1}{b-a} \int_a^b f(x)\,dx = f(\xi)</math>
を満たす ξ が ''a'' &lt; ξ &lt; ''b'' の範囲に存在する。この式の左辺は、関数 ''f''(''x'') が区間 [''a'', ''b''] で掃く“符号付き”面積 ∫<sub>''a''</sub><sup>''b''</sup> ''f''(''x'') ''dx'' を区間の全長（図形の横の長さ）''b'' − ''a'' で割ったものである。したがってこの等式は、関数 ''f''(''x'') が区間 [''a'', ''b''] において掃く図形の平均の“符号付き”高さ（その符号付き面積を持つ図形を一定の符号付き高さに均したときの高さ）を実現する点が区間内に存在することを保証する。

第一平均値定理の系として、開区間 (''a'',''b'') において有界変動かつ連続な関数 ''F''(''x'') と有界な単調関数 φ(''x'') に対して、φ(''x'') はルベーグ・スティルチェスの意味で ''F''(''x'') に関して可積分であって、''a'' &lt; ξ &lt; ''b'' で
: <math>\int_a^b \varphi(x)\, dF(x)
 = \varphi(a+0)\{F(\xi) - F(a+0)\} + \varphi(b-0)\{F(b-0) - F(\xi)\}
</math>
を満たすものが存在することが示せる。これを'''第二平均値定理'''という。特に、開区間 (''a'',''b'') において、''f''(''x'') が可積分で φ(''x'') が有界かつ単調な関数であるならば、''f''(''x'') の不定積分が第二平均値定理にいう ''F''(''x'') の条件を満たしているので、この場合の第二平均値定理の等式は
: <math> \int_a^b f(x)\varphi(x)dx
 = \varphi(a+0) \int_a^\xi f(x)\,dx + \varphi(b-0) \int_\xi^b f(x)\,dx 
</math>
の形に表せる。

== 注 ==
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist}}

== 外部リンク ==
* {{nlab|urlname=mean+value+theorem|title=The Mean Value Theorem}}
* {{MathWorld|urlname=GausssMean-ValueTheorem|title=Gauss's Mean-Value Theorem}}
* {{MathWorld|urlname=Mean-ValueTheorem|title=Mean-Value Theorem}}
* {{PlanetMath|urlname=ComplexMeanValueTheorem|title=complex mean-value theorem}}
* {{PlanetMath|urlname=MeanValueTheorem|title=mean-value theorem}}
* {{ProofWiki|urlname=Mean_Value_Theorem|title=Mean Value Theorem}}
* {{SpringerEOM|urlname=Finite-increments_formula|title=Finite-increments formula|author= Kudryavtsev, L.D.}}

{{sci-stub}}
{{DEFAULTSORT:へいきんちのていり}}

[[Category:実解析の定理]]
[[Category:微分積分学の定理]]
[[Category:数学に関する記事]]