微分積分学の基本定理

微分積分学の基本定理（びぶんせきぶんがくのきほんていり、）とは、「関数に対する微分と積分は互いの逆操作である」 ということを主張する解析学の定理である。微分積分法の基本定理ともいう。
微分積分学の基本定理は一変数の関数に対するものだが、多変数関数への拡張は、ストークスの定理として知られる。
微分積分学の基本定理の発見以前は、微分法（接線法）と積分法（求積法）は別個の問題と捉えられていた。微分積分学の基本定理はアイザック・ニュートンによって1665年頃、ゴットフリート・ライプニッツによって1675年頃に、それぞれ独立に発見されている。当初ニュートンはこの結果を発表せず、（ニュートンより後に発見した）ライプニッツが先に公表したために先取権を巡って論争となった。
定理.
微分積分学の基本定理として知られる定理にはいくつか（等価でない）バリエーションがある。