微分積分学の基本定理

微分積分学の基本定理（びぶんせきぶんがくのきほんていり、）とは、「関数に対する微分と積分は互いの逆操作である」 ということを主張する解析学の定理である。微分積分法の基本定理ともいう。

微分積分学の基本定理は一変数の関数に対するものだが、多変数関数への拡張は、ストークスの定理として知られる。

微分積分学の基本定理の発見以前は、微分法（接線法）と積分法（求積法）は別個の問題と捉えられていた。微分積分学の基本定理はアイザック・ニュートンによって1665年頃、ゴットフリート・ライプニッツによって1675年頃に、それぞれ独立に発見されている。当初ニュートンはこの結果を発表せず、（ニュートンより後に発見した）ライプニッツが先に公表したために先取権を巡って論争となった。

定理 
微分積分学の基本定理として知られる定理にはいくつか（等価でない）バリエーションがある。

連続関数の不定積分が微分可能であること 

この定理は微分積分学の第一基本定理と呼ばれる。第一定理により、（連続）関数を積分して微分すると元に戻ることが言える。

証明
与えられた関数に対して、関数を以下のように定める。

閉区間における任意の2数, について以下の式が成立する。

後者の等式は、積分の基本的な性質と面積の加法性による。

積分の平均値の定理によれば、 

を満たすが存在する。

よって

極限をとると、を踏まえて、 

すなわち

導関数の定義、の連続性、 はさみうちの原理による。

導関数の定積分が区間の両端での関数値の差に等しいこと 

この定理は微分積分学の第二基本定理と呼ばれる。第二定理は、関数を微分して積分すると高々定数の差を除いて元の関数が現われることを主張する。

積分可能性に関して、通常はリーマン積分の意味で積分可能であることを要求するが、ルベーグ積分に対する基本定理も存在する（ を参照）。

 が連続である場合に成り立つ次の系は、微分積分学の基本公式として知られる：

基本公式は原始関数の差として定積分を計算できることを主張する。第二定理と違い基本公式では被積分関数に連続性を課すが、第二定理は（積分可能であれば）不連続な関数に対しても成り立つ。

一般化

第一基本定理の一般化 

微分積分学の第一基本定理において、関数  は、区間  の全体で連続である必要はなく、次のように弱められる：

またさらに、 は単に局所可積分であるとした場合でも、関数  はほとんど至るところ微分可能かつほとんど至るところ  である。 

実数直線上では、この事実はルベーグの微分定理と同値となる。これらの結果は、より大きなクラスの積分可能な関数を定めるヘンストック＝クルツヴァイル積分においても成立する。

より高い次元では、ルベーグの微分定理は、「ほとんどすべての  について、関数  の  を中心とする半径  の球上における平均値が、 が  に近づくとき、に近づく」という形で微積分の基本定理を一般化する。

第二基本定理の一般化 
第二基本定理は、原始関数  を持つ任意のルベーグ積分可能な関数  について成り立つ。すなわち、

この結果は連続関数  がほとんど至るところで導関数  を持つ場合には成立するとは限らず、反例としてカントール関数が知られている。しかし、 が絶対連続であり、ほとんど至るところで微分可能で、その導関数  が積分可能ならば、

が成り立つ。逆に、 を任意の積分可能な関数とすると、 は至るところで  となる絶対連続な関数となる。

この定理の条件は、積分をヘンストック＝クルツヴァイル積分と考えることにより、更に弱められる。特に、連続関数  が可算無限個の点で微分可能であるなら、導関数  はヘンストック＝クルツヴァイル積分可能であり、

が成り立つ。ルベーグ積分の場合との違いは、 の積分可能性が要求されていないことである。

テイラーの定理 
剰余項を積分形で表すバージョンのテイラーの定理は微分積分学の基本定理の一般化と見ることができる。

複素線積分 

複素数体  上の開集合  で定義される複素関数  が  上で原始関数  をもつとする。このとき曲線  に沿った線積分は

ストークスの定理 

微分積分学の基本定理は、高次元の線積分および面積分や、また多様体上にも一般化できる。によって与えられるそのような一般化として、がある。
微分積分学の基本定理の高次元での一般化として馴染み深いものに、発散定理とがある。

この方向性での一般化として最も強力なものにストークスの定理がある（実際ストークスの定理はときどき「多変数微分積分学の基本定理」と呼ばれる）。 

この定理はしばしば、 が微分形式  の定義されたより大きな多様体（例えば ）に埋め込まれた向き付きの部分多様体である場合に利用される。

脚注

参考文献

関連項目 
 代数学の基本定理
 ポアンカレの補題 - 
 微分積分学
 解析学
 原始関数の一覧
 三角関数の原始関数の一覧
 逆三角関数の原始関数の一覧
 対数関数の原始関数の一覧
 積の微分法則
 商の微分法則
 対数微分
 微分の記法

微分積分学の定理
実解析の定理
基本定理
数学に関する記事