(d/dx) ∫_a^x f(t) dt = f(x)。 微分びぶんと積分せきぶんが互たがいに逆ぎゃくの操作そうさとなることを示しめす定理ていり。
微分びぶん積分せきぶん学がくの基本きほん定理ていりとは、微分びぶんと積分せきぶんが互たがいに逆ぎゃくの演算えんざんであることを示しめす数学すうがくの中心ちゅうしん的てきな定理ていりです。
第だい 2 定理ていりはニュートン・ライプニッツの公式こうしきとも呼よばれ、定てい積分せきぶんの計算けいさんの基礎きそです。
ポイント 17 世紀せいきにニュートンとライプニッツが独立どくりつに発見はっけん。これにより「面積めんせきを求もとめる積分せきぶん」が「逆ぎゃく微分びぶん」として計算けいさん可能かのうになり、解析かいせき学がくが確立かくりつした。微分びぶんと積分せきぶんが表裏一体ひょうりいったいであることを示しめす（微分積分の基本定理びぶんせきぶんのきほんていりも参照さんしょう）。
