طريقة الاستنفاد وأصل التكامل

المعنى

في مناهج الرياضيات الثانوية في كوريا يُقصد بهذه الطريقة (구분구적법) تقسيم الفترة [a, b] إلى n جزءًا متساويًا، وجمع مساحات القطع (أو أحجامها)، ثم أخذ النهاية عندما n → ∞. فللدالة y = x² على الفترة [0, 1] يكون Σ(k/n)²·(1/n) = (n+1)(2n+1)/(6n²) → 1/3.

لمحة تاريخية

• طريقة الاستنفاد: طوّرها يودوكسوس (القرن الرابع قبل الميلاد) واستخدمها أرخميدس، فحصر الدائرة بين مضلّعات داخلية وخارجية، وأثبت أن القطعة المكافئية تساوي 4/3 من المثلث المرسوم داخلها.
• مبدأ كافالييري (1635): إذا تساوت مساحات المقاطع العرضية لمجسّمين عند كل ارتفاع تساوى حجماهما، وهو ما يسهّل مثلًا حساب حجم الكرة.
• نيوتن ولايبنتس: ربطت المبرهنة الأساسية في التفاضل والتكامل أواخر القرن السابع عشر بين المساحة والدوال الأصلية.
• ريمان (1854): عرّف التكامل تعريفًا صارمًا بوصفه نهاية لمجاميع على تجزئات اختيارية.

الصلة بالتكامل المحدد

lim_n→∞ Σ f(x_k)Δx = ∫_a^b f(x)dx. ومع قيمة منتهية لـ n يبقى خطأ في التقريب، لذا يُحلَّل في التجارب العملية جنبًا إلى جنب مع خطأ القياس وعدم اليقين.

المراجع

1. Heath, T. L. (Ed.). (1897). The Works of Archimedes. Cambridge University Press.
2. Boyer, C. B. (1959). The History of the Calculus and Its Conceptual Development. Dover.
3. Andersen, K. (1985). Cavalieri's method of indivisibles. Archive for History of Exact Sciences, 31(4), 291-367.
4. Stewart, J. (2015). Calculus: Early Transcendentals (8th ed.). Cengage.