المبرهنة الأساسية للتفاضل والتكامل
النظرية الأساسية للتفاضل والتكامل تربط بين عملتي التفاضل والتكامل.

الجزء الأول من النظرية ينص على أن التكامل المحدد يمكن عكسه بالتفاضل.
الجزء الثاني من النظرية يمكن الشخص من حساب تكامل محدد لدالة باستخدام أحد اشتقاقاتها العكسية غير المحدودة كثرة. هذا الجزء من النظرية لهُ أهمية كبيرة عملياً لأنه يسهل حساب التكاملات المحددة بشكل كبير.

الصيغ الأساسية 
تقول المبرهنة :
I.

لتكن f دالة حقيقية مستمرة معرفة على مجال مغلق [a, b]. إذا كانت F دالة معرفة للمتغير x ضمن المجال [a, b] فإن

 عندئذ :

من أجل كل قيمة ل x في (a, b).

II.

لتكن f دالة حقيقية معرفة على المجال المغلق [a, b]. إذا كانت F دالة معرفة بحيث تحقق
 أيا كانت قيمة x ضمن المجال (a, b)عندئذ :
.

النتيجة 

لتكن f دالة حقيقية معرفة على المجال المغلق [a, b]. إذا كانت F دالة معرفة بحيث تحقق

 أيا كانت قيمة x ضمن المجال (a, b)

عندئذ

و

.

مثال 
لنحسب التكامل التالي:

 

هنا لدينا ، أي يمكن استعمال  كمشتق عكسي. بالتالي:

مراجع 

تحليل رياضي
مبرهنات أساسية
مبرهنات في التحليل الحقيقي
مبرهنات في حساب التفاضل والتكامل
مقالات تحوي براهين