المبرهنة الأساسية للتكامل
تقوم المبرهنة الأساسية في التكامل على اثبات حتى تابع المساحة الذي يربط بين قيمة x والمساحة المحصورة بين منحني التابع والمحورين الإحداثيين والمستقيم X=x هوتابع أصلي للتابع المكامل أي حتى اشتقاقه سيعطي تابع المنحنى نفسه.
ويعتمد برهان ذلك على تقسيم المساحة المحصورة تحت منحنى التابع إلى مستطيلات صغيرة يعتبر مجموعها تقريبا للمساحة المحصورة تحت المنحني المعتبر. تقوم المبرهنة بعد ذلك باستخدام مفهوم النهايات حيث تعتبر حتى مجموع مساحات المستطيلات يقترب إلى نهاية تساوي المساحة المحصورة تحت منحني التابع حدثا قلصنا قاعدة المستطيلات المساوية لتفاضل المتغير المستقل x.
الصيغ الأساسية
تقول المبرهنة :
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]
عندئذ
و
- .