عبد العزيز: تغيير (تم أولا صياغة التكامل) الى (أولاً صِيغَ التكامل بدقة)

2023-12-29T17:57:02Z

تغيير (تم أولا صياغة التكامل) الى (أولاً صِيغَ التكامل بدقة)

صفحة جديدة

{{بطاقة عامة}}
{{تفاضل وتكامل}}
[[ملف:Integral as region under curve.png|تصغير|مثال لحساب تكامل دالة (المساحة الرمادية).]]
[[ملف:Emblem-integral.svg|تصغير|رمز التكامل، وأصله حرف الإس الألماني المطول.]]
[[ملف:Что такое интеграл Анимация.gif|تصغير|ما هو التكامل (بالرسوم المتحركة).]]

في [[رياضيات|الرياضيات]]، '''مكاملة''' [[دالة]] هي نوع من التعميم لكميات قابلة للتجزئة مثل المساحة أو الحجم أو الكتلة أو أي مجموع لعناصر متناهية في الصغر. وأيضاً يمكن أن يُنظر إلى عملية التكامل على أنها عملية عكسية لعملية [[تفاضل|التفاضل]]. بالرغم من تعدد التعاريف المستخدمة للتكامل وتعدد طرق استخدامه فإن نتيجة هذه الطرق جميعها متشابهة وجميع التعاريف تؤدي في النهاية إلى المعنى ذاته.

يمكن اعتبار تكامل دالة حقيقية مستمرة ذات قيم موجبة لمتغير حقيقي بين قيمة حدية دنيا وقيمة حدية عليا هي المساحة المحصورة بين المستقيمين الرأسيين:
''x=a'', ''x=b'' والمحور ''x'' وال[[منحنى|منحني]] المحدد بالدالة، يمكن صياغة ذلك بشكل رياضي:

:<math> S= \{(x,y) \in \mathbb{R}_+^2:a \leq x \leq b \land 0 \leq y \leq f(x)\}, </math>
ويرمز لهذه العملية حسب اصطلاح لورينتز:

<math>\int_a^b f(x)\,dx\,</math>.

النقطة الأساسية في التكامل تأتي من المبرهنة الأساسية في التكامل والتي تنص على أن مشتق تابع المساحة تحت منحني الدالة هو الدالة نفسها. بالتالي إذا عرفنا دالة تربط القيمة x بقيمة المساحة المحدودة بين منحني الدالة
<math> f(x)\,</math> ومحور السينات '''(x)''' ومن الجهة الأخرى محدودة بمحور الصادات '''(y)''' والمستقيم X=x، تدعى هذه الدالة بدالة المساحة ومشتقها هو الدالة <math> f(x)\,</math> نفسها، لذلك ندعو تابع المساحة عكس الاشتقاق أو التابع الأصلي للدالة <math> f(x)\,</math>. يقوم حساب التكامل على إيجاد التابع الأصلي للدالة التي نريد القيام بمكاملتها.

وقد عرض [[غوتفريد لايبنتس|غوتفريد لايبنتز]]، في [[13 نوفمبر]] [[1675]]، أول عملية تكامل لحساب المساحة تحت [[منحنى]] ال[[دالة]] ص = د(س).

يوجد عدة أنواع للتكامل منها:
[[تكامل بالتجزئة|التكامل بالتجزئة]]، [[تكامل بالتعويض]]، [[تحليل كسري جزئي#تطبيق الكسور الجزئية في التكامل|التكامل بالكسور الجزئية]]، [[تكامل بالأقراص|التكامل بالأقراص]].

== تاريخ ==
=== التكامل ما قبل عصر علم التفاضل والتكامل ===
توجد دلالات تاريخية على استخدام التكامل في عهد [[فرعون (توضيح)|قدماء المصريين]] (حوالي 1800 قبل الميلاد) فقد دلت [[بردية موسكو الرياضية]] على علمهم بصيغة لحساب [[حجم]] [[هرم|الهرم]] المقطوع. وتعد طريقة الاستنزاف من أوائل الطرق المستعملة في إيجاد التكاملات حيث تعود إلى 370 قبل الميلاد وكانت تحسب بها الحجوم والمساحات وذلك بتقسيمها إلى أشكال صغيرة غير منتهية معلومة المساحة أو الحجم. كما تم تطوير هذه الطريقة من قبل [[أرخميدس]] وتم استعمالها في حساب مساحات [[قطع مكافئ|القطع المكافئ]] والتقريب لمساحة الدائرة. وفي [[الصين]] طورت طرق مماثلة في القرن الثالث الميلادي بواسطة [[ليو هوي]]، والذي استخدمها لإيجاد مساحة [[دائرة|الدائرة]] كما تم استعمال هذه الطرق فيما بعد في القرن الخامس من قبل الرياضيين الصينيين - الأب والابن [[زو تشونغزي|تسوتشونغ]] و{{وإو|تر=Zu Gengzhi|عر=زو جنغ سي|نص=زوجنغ}} لإيجاد حجم [[كرة|الكرة]].<ref>{{استشهاد| الأخير1=Shea | الأول1=Marilyn | عنوان=Biography of Zu Chongzhi | تاريخ=مايو 2007 | مسار= https://hua.umf.maine.edu/China/astronomy/tianpage/0014ZuChongzhi9296bw.html | ناشر=University of Maine | تاريخ الوصول=9 January 2009|مسار أرشيف= https://web.archive.org/web/20180323145341/http://hua.umf.maine.edu:80/China/astronomy/tianpage/0014ZuChongzhi9296bw.html|تاريخ أرشيف=2018-03-23}} {{استشهاد | الأخير1=Katz | الأول1=Victor J. | عنوان=A History of Mathematics, Brief Version | ناشر={{Ill-WD2|أديسون-ويسلي|id=Q353060}} | isbn=978-0-321-16193-2 | سنة=2004 | صفحات=125–126}}</ref> في نفس القرن، استخدم الرياضي الهندي [[أريابهاتا]] طريقة مشابهة لحساب حجم المكعب.<ref>Victor J. Katz (1995), "Ideas of Calculus in Islam and India", ''Mathematics Magazine'' '''68''' (3): 163-174 [165]</ref>

أتت الخطوة التالية والهامة في التفاضل التكاملي في القرن الحادي عشر عندما أخترع الفيزيائي [[ابن الهيثم|الحسن بن الهيثم]] ما يعرف اليوم باسم '''مسألة الحسن''' (نسبة لاسمه المشهور عند الأوروبيين) والتي تقود إلى [[دالة رباعية|معادلة الدرجة الرابعة]]. في كتابه [[المناظر]]. بينما كان يحل هذه المسألة، قام بعملية تكامل لإيجاد حجم [[سطح مكافئ|السطح المكافئ]]. وقد استطاع بالاستقراء الرياضي تعميم هذه النتيجة لدوال [[متعددة الحدود|كثيرة الحدود]] حتى الدرجة الرابعة وقد كان بالتالي قادرا على إيجاد صيغة عامة لتكاملات كثيرة الحدود ولكنه لم يعر للأمر أهمية لذلك في وقته.<ref name=Katz>Victor J. Katz (1995), "Ideas of Calculus in Islam and India", ''Mathematics Magazine'' '''68''' (3): 163–174 [165–9 & 173–4]</ref>
بعض الأفكار في التفاضل التكاملي يمكن مشاهدتها أيضا في سيدهانتا شيروماني، وهي عبارة عن نص يعود للقرن الثاني عشر [[علم الفلك|للفلكي]] الهندي [[بهاسكارا الثاني]].

لم يبدأ ظهور التقدم الملحوظ في علم التكامل التفاضلي إلا مع القرن السادس عشر وفي هذا الوقت كان عمل كافاليري [[مبدأ كافاليري|بطريقته '''الكل لا التجزيء''']] وعمل [[بيير دي فيرما|فيرمات]]، ولقد بدأ بوضع الأساسيات لعلم [[تفاضل|التفاضل]] والتكامل الحديث. وكان لإسحق نيوتن وتورشيلي دورا هاما أيضا في توسيع هذا العلم أوائل القرن السابع عشر اللذان قدما التلميحات الأولى في وجود صلة بين التكامل و[[اشتقاق (توضيح)|الاشتقاق]] في الوقت الذي كان الرياضيون اليابانيون قد أسهمو في أعمال مشابهة وبشكل خاص على يد [[سيكي كاوا]].<ref>[https://www2.gol.com/users/coynerhm/0598rothman.html] {{وصلة مكسورة|تاريخ=يوليو 2016}} {{Webarchive|url=https://web.archive.org/web/20061230062231/http://www2.gol.com/users/coynerhm/0598rothman.html |date=30 ديسمبر 2006}}</ref> كان منها طرق إيجاد مساحات الأشكال بالتكامل، بتوسيع طريقة الاستنزاف.

=== نيوتن وليبنز ===
مثل اكتشاف [[المبرهنة الأساسية للتفاضل والتكامل|النظرية الأساسية للتفاضل والتكامل]] الفريد من قبل [[إسحاق نيوتن]] و[[غوتفريد لايبنتس|ليبنيز]] تقدما عظيما في علم التفاضل والتكامل.
فهي توضح العلاقة بين التكامل والتفاضل. هذه العلاقة -بدمجها مع قرينتها السهلة - الاشتقاق يمكن استغلالها لحساب التكاملات. وبشكل خاص فإن النظرية الأساسية للتفاضل والتكامل تساعد في حل مسائل أكثر تعقيدا. وبإعطاء اسم التفاضل المتناهي في الصغر فقد سمحت بتحليل دقيق لدوال متصلة. لقد أصبح هذا العمل [[تفاضل وتكامل|التفاضل والتكامل]] الحديث، والذي استمد رمزه من عمل ليبنيز.

=== صياغة التكاملات ===
مع أن نيوتن وليبنز أوجدا طريقة نظامية للتكامل إلا أن عملهما كان يفتقر إلى درجة الدقة. فقد هاجم جورج بركلي عبارة متناهي في الصغر ووصفها '''ب[[كميات الأشباح المغادرة]]'''. اكتسب التفاضل والتكامل مع تطور علم [[نهاية (رياضيات)|النهايات]] وتوطدت أركانه بفضل [[أوغستين لوي كوشي]] في منتصف القرن التاسع عشر. أولاً صِيغَ التكامل بدقة باستعمال النهايات من قبل [[برنارد ريمان|بيرنارد ريمان]] كما ظهرت صورة أخرى من قبل [[هنري لوبيغ]] في تأسيس نظرية [[قياس (رياضيات)|القياس]].

=== العلامة ===
استعمل نيوتن عمودا صغيرا فوق المتغير للإشارة إلى عملية التكامل، أو أن يضع المتغير داخل مربع. كان القضيب العمودي يلتبس مع <math>\dot{x}</math> و<math>x'\,\!</math>, والتي كان قد استعملها نيوتن للإشارة للتفاضل. كما أنه من الصعب على الطابعة التعامل مع المربع، وبالتالي لم يتم تبني هذه العلامات.
الرمز الحديث للتكامل الغير محدود تم تقديمه على يد ليبنيز عام 1675 ({{استشهاد بهارفارد دون أقواس|Burton|1988|loc=p. 359}}; {{استشهاد بهارفارد دون أقواس|Leibniz|1899|loc=p. 154}}), كما أنه قام بموائمة رمز التكامل,:<math> \int\,</math>, بعد إطالته للحرف ''s'' كتمثيل لاختصار عملية الجمع sum. الشكل الحديث لعلامة التكامل المحدود استعمل لأول مرة من قبل جوزيف فوريير بإضافة حدود التكامل أسفل وأعلى الرمز السابق ({{استشهاد بهارفارد دون أقواس|Cajori|1929|loc=pp. 249–250}}; {{استشهاد بهارفارد دون أقواس|Fourier|1822|loc=§231}}).

الجدير بالذكر أن الرياضيات العربية التي تكتب من اليمين لليسار تستعمل الرمز المعكوس للتكامل, [[ملف:ArabicIntegralSign.svg|25px]]، ليتماشى مع اتجاه الكتابة.{{Harvard citation|W3C|2006}}.

== مقدمة ==
تظهر التكاملات في العديد من الحالات التطبيقية. إذا اعتبرنا بركة السباحة مثلا، إذا كانت مستطيلة الشكل، من طولها، عرضها, وعمقها فمن الممكن إيجاد حجم الماء التي يمكن احتواؤها (لملئها), مساحتها السطحية (التي تغطيها من جميع الجهات), وطول حوافها (بحبل مثلا). لكن إذا كانت بيضاوية الشكل ومدورة من القعر، فإن كل هذه الكميات تستدعي التكامل. قد تكون التقريبات التطبيقية كافية في مثل هذه الأمثلة البسيطة ولكن الدقة الهندسية تتطلب قيما مضبوطة ودقيقة لهذه العناصر.
[[ملف:Integral approximations.svg|تصغير|تقريب التكامل لـ {{تعبير رياضي|√x}} من 0 إلى 1, بـ■ 5 عينات على اليمين (فوق) و■ 12 عينة على اليسار (أسفل)]]

للبدء، اعتبر المنحنى<math> y=f(x)\,</math> بين ''x'' = 0 و''x'' = 1, و<math> f(x)=\sqrt(x)\,</math>. يكون السؤال:
:ماهي المساحة تحت الدالة ''f'', في الفترة 0 إلى 1?
ولندعي أن هذه المساحة (حتى الآن غير معلومة) هي '''تكامل''' ''f''. يكون الرمز لهذا التكامل هو:
:<math> \int_0^1 \sqrt x \, dx \,\!.</math>

كتقريب أولي فلننظر في مربع الوحدة المعطى بالأضلاع ''x'' = 0 إلى ''x'' = 1 و<math> y=f(x)\,</math> nbsp;= 0 and ''y'' = ''f''(1) = 1. مساحته هي 1 تماما. ينبغي أن تكون القيمة الحقيقية للتكامل أقل مما هي عليه.
بتقليل عرض المستطيلات التقريبية يعطي نتيجة أفضل، وبالتالي عبر الفترة في خمس خطوات، باستعمال نقاط التقريب 0, 1⁄5, 2⁄5, وهكذا حتى 1. بوضع مربعا مناسبا لكل خطوة مستخدمين الارتفاع المناسب لكل قطعة منحنية، وعليه 1⁄5√, 2⁄5√, وهكذا حتى   1√= 1. وبجمع مساحات هذه المستطيلات، نحصل على تقريبا أفضل للتكاملات المقصودة,
:<math>\textstyle \sqrt {\frac {1} {5}} \left (\frac {1} {5} - 0 \right) + \sqrt {\frac {2} {5}} \left (\frac {2} {5} - \frac {1} {5} \right) + \cdots + \sqrt {\frac {5} {5}} \left (\frac {5} {5} - \frac {4} {5} \right) \approx 0.7497.\,\!</math>

لاحظ أننا نأخذ مجموع لقيم دوال عديدة محدودة لـ ''f'', مضروبة في الفرق بين فترتين تقريبيتين متعاقبتين. يمكننا ملاحظة أن التقريب ما زال كبيرا. وكلما استخدمنا خطوات أكثر حصلنا على تقريبات أفضل، ولكننا لن نحصل على قيم دقيقة أبدا: بإبدال الـ5 فترات بـ12 فترة نحصل على التقريب 0.6203, وهي تقريب أفضل. مفتاح الفكرة يكمن في الانتقال من ''العديد'' من نقاط التقريب المحدودة مضروبة بقيم دالتها إلى استعمال عدد لانهائي أو خطى ''متناهية في الصغر''.
بالنسبة للحساب الحقيقي للتكامل، تكون النظرية الأساسية للتكامل هي الرابط الأساسي بين عمليات الاشتقاق والتكامل. وبتطبيقها على منحنى الجذر التربيعي,''f''(''x'') = ''x''1/2, تقترح علينا أن نبحث عن [[مشتق عكسي|المشتق العكسي]] ''F''(''x'') = 2⁄3''x''3/2, ونأخذ ببساطة ''F''(1) − ''F''(0), حيث 0 و1 هي حدود [[مدة|الفترة]] [0,1].هذه حالة لقاعدة عامة، لإجل ''f''(''x'') = ''x''''q'', مع ''q'' ≠ −1, تكون الدالة المتعلقة والتي تدعى المشتق العكسي هي <math> F(x)=x^{q+1}/(q+1)\,</math> وبالتالي فإن القيمة ''الدقيقة'' للمساحة تحت المنحنى رسميا كما يلي
:<math> \int_0^1 \sqrt x \,dx = \int_0^1 x^{\frac{1}{2}} \,dx = \int_0^1 d \left({\textstyle \frac 2 3} x^{\frac{3}{2}}\right) = {\textstyle \frac 2 3}.</math>

== تعريفات منهجية ==

هناك عدة طرق لتعريف التكامل بشكل منهجي، لكن هذه الطرق مختلفة عن بعضها البعض في الطرق التي تسلكها. بعض هذه الاختلافات نتجت عن محاولات الرياضيين لحل حالات خاصة من المسائل التي تكون فيها المسألة غير قابلة للتكامل، وبعضها الآخر نتجت لأسباب تعليمية -كتسهيل حل المسائل-. إن أكثر تعريفين شيوعاً للتكامل هي تكامل ريمان وتكامل لوبيغ.

=== تكامل ريمان ===
{{مفصلة|تكامل ريمان}}
[[ملف:Integral Riemann sum.png|تصغير|يسار|صورة توضيحية لتكامل تقريبي عند استخدام مجموع ريمان, تم تقسيم المساحة الموجودة تحت المنحنى إلى مضلعات غير منتظمة (الضلع الذي يوجد تحته الخط الأحمر هو الأعرض). القيمة الدقيقة للمساحة هي 3.76; والقيمة الفرضية هي 3.648.]]
يمكن تعريف تكامل ريمان على أنها أخذ [[مجموع ريمان]] للدالة الموجودة ضمن مجال ''جزئها المحدد Tagged partition''. فإذا كان الفترة [''a'',''b''] هي [[مجال فاصل (رياضيات)|فترة مغلقة]] في [[مستقيم الأعداد الحقيقية|خطها الحقيقي]]؛ فإن ''جزئها المحدد'' ضمن الفترة [''a'',''b''] هي سلسلة متناهية، حيث تكون:

:<math> a = x_0 \le t_1 \le x_1 \le t_2 \le x_2 \le \cdots \le x_{n-1} \le t_n \le x_n = b. \,\!</math>

[[ملف:Riemann sum convergence.png|تصغير|250px|يسار|صورة توضيحية لمجموع ريمان عندما يتم تقسيم فترات مساحة الأضلاع إلى نصفين في كل مرة، لاحظ بأن القيمة التقريبية تزداد صحةُ كلما أزداد عدد الأضلاع.]]
وهذا سيجزئ الفترة [''a'',''b''] إلى ''n'' جزء ذو الفترة الجديدة [''x''''i''−1, ''x''''i'']، حيث أن ''i'' يعتمد على عدد الأجزاء، كل واحد من هذه الأجزاء «تم تحديدها» بنقطة مفرِّقة ''t''''i'' التي تنتمي للفترة [''x''''i''−1, ''x''''i'']. إذاً، تُعرّف ''مجموع ريمان'' للدالة ''f'' الموجودة ضمن الجزء المحدد من الفترة [''a'',''b''] على النحو التالي:

:<math>\sum_{i=1}^{n} f(t_i) \Delta_i ; </math>

و بالتالي، كل حد من المجموع هي عبارة عن مساحة لمضلع لديه ارتفاع تساوي قيمة الدالة عند النقطة المفرقة للجزء المعطى، ولديه عرض تساوي طول الفترة الجزئية. فلتكنΔ''i'' = ''x''''i''−''x''''i''−1 هي عرض الفترة الجزئية ''i''; لكي يكون ''تشبيك'' هذا النوع من الأجزاء المحددة هي نفسها عرض أكبر فترة جزئية تم تشكيلها بواسطة التجزئية، التي لها القيمة القصوى ''i''=1…''n'' Δ''i''. إذاً، ''تكامل ريمان'' للدالة ''f'' في الفترة [''a'',''b''] هي مساوية للقيمة ''S'':
فإذا كان جميع قيم ε > 0، ستكون جميع قيم δ > 0. وإذا كان هناك جزء محدد في الفترة [''a'',''b''] أقل من قيمة δ, ستكون:
::<math>\left| S - \sum_{i=1}^{n} f(t_i)\Delta_i \right| < \epsilon.</math>

== تكامل لوبيغ للدوال غير سالبة القيمة ==
لتكن <math>f\in {{M}^{+}}(X,\sum{)}</math> نعرف تكامل f بالنسبة للمقياس <math>\mu </math> على أنه العدد الحقيقي الممتد
<math>\int{fd\mu }=\sup \int{\phi d\mu }</math>
حيث sup يسري على كل الدوال البسيطة <math>\phi </math> التي تحقق <math>(\forall x\in X):0\le \phi (x)\le f(x)</math> إذا كانت E مجموعة قابلة للقياس نعرف تكامل f على E بالنسبة للمقياس <math>\mu </math> على أنه العدد الحقيقي الممتد
<math>\int\limits_{E}{fd\mu }={{\int{f\chi }}_{E}}d\mu </math>
إذا تكامل f على E هو مجرد تكامل الدالة <math>f{{\chi }_{E}}</math>.لاحظ أن هذه الدالة غير سالبة وقابلة للقياس طالما كانت f كذلك.

== خواص التكامل ==
'''من خواص التكامل (المحدد) :'''
* إذا كانت ''n'' <math>\ni</math> ''مجموعة الأعداد الحقيقية'' وكانت <math>f</math> قابلة للتكامل على <math>[a,b]</math> فإن :
:: <math>\int_a^b {\color{red}n} f(x) dx = {\color{red}n} \int_a^b f(x) dx</math>
* إذا كانت الدالة <math>f</math> قابلة للتكامل على الفترة <math>[a,b]</math> فإن :
:: <math>\int_a^b f(x) dx \,= {\color{red}-} \,\int_b^a f(x) dx</math>
: وإذا كانت <math>b > a</math> فإن:
:: <math>|\int_a^b f(x) \, dx \, | \ge \, \int_a^b | f(x) | \, dx</math>
* إذا كانت الدالة <math>f</math> قابلة للتكامل على الفترة <math>[a,b]</math> وكانت النقطة <math>c \in [a,b]</math> فإن :
:: <math>\int_a^b f(x) dx \,= \int_a^c f(x) dx \, + \, \int_c^b f(x) dx</math>
* إذا كانت الدالة د قابلة للتكامل على <math>[a,b]</math> و<math>f(x) \ge 0</math> على هذه الفترة فإن :
:: <math>\int_a^b f(x) dx \,\ge \, 0</math>
* إذا كانت الدالتان <math>f_1 , f_2</math> قابلتين للتكامل على <math>[a,b]</math> فإن الدالة <math>f_1 \pm f_2</math> تكون قابلة للتكامل على <math>[a,b]</math> ويكون :
:: <math>\int_a^b (f_1\pm f_2)(x)\, dx = \int_a^b f_1(x) \, dx \, \pm \int_a^b f_2(x)\, dx</math>

== النظرية الأساسية للتفاضل والتكامل ==
{{مفصلة|المبرهنة الأساسية للتفاضل والتكامل}}

'''النظرية الأساسية للتفاضل والتكامل''' تربط بين عملتي [[تفاضل|التفاضل]] والتكامل على أنهما عمليات عكسية لبعضهما، حيث انه إذا كان لدينا إقتران متصل ق(س)، قمنا بتكامله أولاً، ومن ثم إشتقاقه، فإن النتيجة النهائية هي الإقتران المتصل ق(س) نفسه.<ref>{{استشهاد بكتاب| الأخير=Gregory | الأول=James | عنوان=Geometriae Pars Universalis | مسار=https://archive.org/details/gregory_universalis | ناشر= Patavii: typis heredum Pauli Frambotti | سنة=1668 | مكان=[[Museo Galileo]] | مسار أرشيف = https://web.archive.org/web/20200306144131/https://archive.org/details/gregory_universalis | تاريخ أرشيف = 6 مارس 2020 }}</ref><ref>{{استشهاد بدورية محكمة| الأخير=Malet|الأول=Antoni|عنوان=James Gregorie on tangents and the "Taylor" rule for series expansions| ناشر=[[شبرينغر|سبرنجر]]|سنة=1993|صحيفة=[[Archive for History of Exact Sciences]]|doi=10.1007/BF00375656|اقتباس=Gregorie's thought, on the other hand, belongs to a conceptual framework strongly geometrical in character. (page 137)}}</ref><ref>{{استشهاد بكتاب| الأخير1=Child | الأول1= James Mark | الأخير2=Barrow | الأول2=Isaac| عنوان= The Geometrical Lectures of Isaac Barrow | سنة=1916 | مسار=https://archive.org/details/geometricallectu00barruoft| ناشر= Chicago: [[Open Court Publishing Company]]| مسار أرشيف = https://web.archive.org/web/20160805000007/https://archive.org/details/geometricallectu00barruoft | تاريخ أرشيف = 5 أغسطس 2016 }}</ref>

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

=== الجزء الأول «النظرية الأولى» ===
افترض أن الاقتران <math>f(x)</math> اقتران متصل ([[دالة مستمرة]]) ذات قيم حقيقية ([[دالة حقيقية المستقر]]) معرّف على الفترة المغلقة <math>[a,b]</math>، وافترض أن الاقتران <math>G(x)</math> معرّف، <math>\forall ~ x \in [a,b]

</math> كما يلي

<math>G(x) = \int_{a}^{x} f(x)~ dx</math>

فإن:-

# <math>G(x)</math> '''متصل''' على الفترة المغلقة '''<math>[a,b]</math>'''
# <math>G(x)</math> '''قابل للإشتقاق''' ([[دالة قابلة للاشتقاق]]) على الفترة المفتوحة <math>(a, b)</math>
# <math>G'(x) = f(x)</math> <math>\forall ~ x \in (a, b)</math>

=== الجزء الثاني «النظرية الثانية» ===
إذا كان الإقتران <math>f(x)</math> إقتران متصل ذات قيم حقيقية معرّف على الفترة المغلقة <math>[a,b]</math>، فإن:

<math>\int_{a}^{b} f(x)~dx = G(b)-G(a)</math>

بحيث أن، الاقتران <math>G(x)</math> هو أي [[مشتق عكسي]] للاقتران <math>f(x)</math>

بمعنى: <math>G'(x) = f(x)</math> <math>\forall ~ x \in [a,b]

</math>

== المراجع ==
* كتاب الرياضيات الصف الثالث ثانوي، الفصل الدراسي الثاني طبعة 1431-1432 هـ المملكة العربية السعودية
{{مراجع}}

== انظر أيضًا ==
* ال[[مكامل]]
* [[تكامل دالي|التكامل الوظيفي]]

{{ضبط استنادي}}
{{شريط بوابات|رياضيات|تحليل رياضي}}

{{روابط شقيقة}}

[[تصنيف:تكاملات]]
[[تصنيف:دوال]]

تكامل - تاريخ المراجعة

عبد العزيز: تغيير (تم أولا صياغة التكامل) الى (أولاً صِيغَ التكامل بدقة)