تكامل

تكامل

معلومات عامة

صنف فرعي من	تحويل خطي عملية أحادية
يدرسه	حساب التكامل
التدوين الرياضي	رمز التكامل
سلسلة محارف لاتكس (LaTeX)	\int

تعديل - تعديل مصدري - تعديل ويكي بيانات

مثال لحساب تكامل دالة (المساحة الرمادية).

رمز التكامل، وأصله حرف الإس الألماني المطول.

ما هو التكامل (بالرسوم المتحركة).

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

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

${\displaystyle S=\{(x,y)\in \mathbb {R} _{+}^{2}:a\leq x\leq b\land 0\leq y\leq f(x)\},}$

ويرمز لهذه العملية حسب اصطلاح لورينتز:

${\displaystyle \int _{a}^{b}f(x)\,dx\,}$.

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

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

يوجد عدة أنواع للتكامل منها: التكامل بالتجزئة، تكامل بالتعويض، التكامل بالكسور الجزئية، التكامل بالأقراص.

تاريخ

التكامل ما قبل عصر علم التفاضل والتكامل

توجد دلالات تاريخية على استخدام التكامل في عهد قدماء المصريين (حوالي 1800 قبل الميلاد) فقد دلت بردية موسكو الرياضية على علمهم بصيغة لحساب حجم الهرم المقطوع. وتعد طريقة الاستنزاف من أوائل الطرق المستعملة في إيجاد التكاملات حيث تعود إلى 370 قبل الميلاد وكانت تحسب بها الحجوم والمساحات وذلك بتقسيمها إلى أشكال صغيرة غير منتهية معلومة المساحة أو الحجم. كما طُوِّرَت هذه الطريقة من قبل أرخميدس وتم استعمالها في حساب مساحات القطع المكافئ والتقريب لمساحة الدائرة. وفي الصين طورت طرق مماثلة في القرن الثالث الميلادي بواسطة ليو هوي، والذي استخدمها لإيجاد مساحة الدائرة كما تم استعمال هذه الطرق فيما بعد في القرن الخامس من قبل الرياضيين الصينيين - الأب والابن تسوتشونغ وزوجنغ [الإنجليزية] لإيجاد حجم الكرة.[1] في نفس القرن، استخدم الرياضي الهندي أريابهاتا طريقة مشابهة لحساب حجم المكعب.[2]

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

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

نيوتن وليبنز

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

صياغة التكاملات

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

العلامة

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

الجدير بالذكر أن الرياضيات العربية التي تكتب من اليمين لليسار تستعمل الرمز المعكوس للتكامل, ، ليتماشى مع اتجاه الكتابة.(W3C 2006).

مقدمة

تظهر التكاملات في العديد من الحالات التطبيقية. إذا اعتبرنا بركة السباحة مثلا، إذا كانت مستطيلة الشكل، من طولها، عرضها, وعمقها فمن الممكن إيجاد حجم الماء التي يمكن احتواؤها (لملئها), مساحتها السطحية (التي تغطيها من جميع الجهات), وطول حوافها (بحبل مثلا). لكن إذا كانت بيضاوية الشكل ومدورة من القعر، فإن كل هذه الكميات تستدعي التكامل. قد تكون التقريبات التطبيقية كافية في مثل هذه الأمثلة البسيطة ولكن الدقة الهندسية تتطلب قيما مضبوطة ودقيقة لهذه العناصر.

تقريب التكامل لـ √x من 0 إلى 1, بـ■ 5 عينات على اليمين (فوق) و■ 12 عينة على اليسار (أسفل)

للبدء، اعتبر المنحنى${\displaystyle y=f(x)\,}$ بين x = 0 وx = 1, و${\displaystyle f(x)={\sqrt {(}}x)\,}$. يكون السؤال:

ماهي المساحة تحت الدالة f, في الفترة 0 إلى 1?

ولندعي أن هذه المساحة (حتى الآن غير معلومة) هي تكامل f. يكون الرمز لهذا التكامل هو:

${\displaystyle \int _{0}^{1}{\sqrt {x}}\,dx\,\!.}$

كتقريب أولي فلننظر في مربع الوحدة المعطى بالأضلاع x = 0 إلى x = 1 و${\displaystyle y=f(x)\,}$ nbsp;= 0 and y = f(1) = 1. مساحته هي 1 تماما. ينبغي أن تكون القيمة الحقيقية للتكامل أقل مما هي عليه. بتقليل عرض المستطيلات التقريبية يعطي نتيجة أفضل، وبالتالي عبر الفترة في خمس خطوات، باستعمال نقاط التقريب 0, ^1⁄₅, ^2⁄₅, وهكذا حتى 1. بوضع مربعا مناسبا لكل خطوة مستخدمين الارتفاع المناسب لكل قطعة منحنية، وعليه ^1⁄₅√, ^2⁄₅√, وهكذا حتى   1√= 1. وبجمع مساحات هذه المستطيلات، نحصل على تقريبا أفضل للتكاملات المقصودة,

${\displaystyle \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.\,\!}$

لاحظ أننا نأخذ مجموع لقيم دوال عديدة محدودة لـ f, مضروبة في الفرق بين فترتين تقريبيتين متعاقبتين. يمكننا ملاحظة أن التقريب ما زال كبيرا. وكلما استخدمنا خطوات أكثر حصلنا على تقريبات أفضل، ولكننا لن نحصل على قيم دقيقة أبدا: بإبدال الـ5 فترات بـ12 فترة نحصل على التقريب 0.6203, وهي تقريب أفضل. مفتاح الفكرة يكمن في الانتقال من العديد من نقاط التقريب المحدودة مضروبة بقيم دالتها إلى استعمال عدد لانهائي أو خطى متناهية في الصغر. بالنسبة للحساب الحقيقي للتكامل، تكون النظرية الأساسية للتكامل هي الرابط الأساسي بين عمليات الاشتقاق والتكامل. وبتطبيقها على منحنى الجذر التربيعي,f(x) = x^1/2, تقترح علينا أن نبحث عن المشتق العكسي F(x) = ^2⁄₃x^3/2, ونأخذ ببساطة F(1) − F(0), حيث 0 و1 هي حدود الفترة [0,1].هذه حالة لقاعدة عامة، لإجل f(x) = x^q, مع q ≠ −1, تكون الدالة المتعلقة والتي تدعى المشتق العكسي هي ${\displaystyle F(x)=x^{q+1}/(q+1)\,}$ وبالتالي فإن القيمة الدقيقة للمساحة تحت المنحنى رسميا كما يلي

${\displaystyle \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}}}.}$

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

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

تكامل ريمان

المقالة الرئيسة: تكامل ريمان

صورة توضيحية لتكامل تقريبي عند استخدام مجموع ريمان, تم تقسيم المساحة الموجودة تحت المنحنى إلى مضلعات غير منتظمة (الضلع الذي يوجد تحته الخط الأحمر هو الأعرض). القيمة الدقيقة للمساحة هي 3.76; والقيمة الفرضية هي 3.648.

يمكن تعريف تكامل ريمان على أنها أخذ مجموع ريمان للدالة الموجودة ضمن مجال جزئها المحدد Tagged partition. فإذا كان الفترة [a,b] هي فترة مغلقة في خطها الحقيقي؛ فإن جزئها المحدد ضمن الفترة [a,b] هي سلسلة متناهية، حيث تكون:

${\displaystyle a=x_{0}\leq t_{1}\leq x_{1}\leq t_{2}\leq x_{2}\leq \cdots \leq x_{n-1}\leq t_{n}\leq x_{n}=b.\,\!}$

صورة توضيحية لمجموع ريمان عندما يتم تقسيم فترات مساحة الأضلاع إلى نصفين في كل مرة، لاحظ بأن القيمة التقريبية تزداد صحةُ كلما أزداد عدد الأضلاع.

وهذا سيجزئ الفترة [a,b] إلى n جزء ذو الفترة الجديدة [x_i−1, x_i]، حيث أن i يعتمد على عدد الأجزاء، كل واحد من هذه الأجزاء «تم تحديدها» بنقطة مفرِّقة t_i التي تنتمي للفترة [x_i−1, x_i]. إذاً، تُعرّف مجموع ريمان للدالة f الموجودة ضمن الجزء المحدد من الفترة [a,b] على النحو التالي:

${\displaystyle \sum _{i=1}^{n}f(t_{i})\Delta _{i};}$

و بالتالي، كل حد من المجموع هي عبارة عن مساحة لمضلع لديه ارتفاع تساوي قيمة الدالة عند النقطة المفرقة للجزء المعطى، ولديه عرض تساوي طول الفترة الجزئية. فلتكنΔ_i = x_i−x_i−1 هي عرض الفترة الجزئية i; لكي يكون تشبيك هذا النوع من الأجزاء المحددة هي نفسها عرض أكبر فترة جزئية تم تشكيلها بواسطة التجزئية، التي لها القيمة القصوى _i=1…n Δ_i. إذاً، تكامل ريمان للدالة f في الفترة [a,b] هي مساوية للقيمة S: فإذا كان جميع قيم ε > 0، ستكون جميع قيم δ > 0. وإذا كان هناك جزء محدد في الفترة [a,b] أقل من قيمة δ, ستكون:

${\displaystyle \left|S-\sum _{i=1}^{n}f(t_{i})\Delta _{i}\right|<\epsilon .}$

تكامل لوبيغ للدوال غير سالبة القيمة

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

خواص التكامل

من خواص التكامل (المحدد) :

• إذا كانت n ${\displaystyle \ni }$ مجموعة الأعداد الحقيقية وكانت ${\displaystyle f}$ قابلة للتكامل على ${\displaystyle [a,b]}$ فإن :

${\displaystyle \int _{a}^{b}{\color {red}n}f(x)dx={\color {red}n}\int _{a}^{b}f(x)dx}$

• إذا كانت الدالة ${\displaystyle f}$ قابلة للتكامل على الفترة ${\displaystyle [a,b]}$ فإن :

${\displaystyle \int _{a}^{b}f(x)dx\,={\color {red}-}\,\int _{b}^{a}f(x)dx}$

وإذا كانت ${\displaystyle b>a}$ فإن:

${\displaystyle |\int _{a}^{b}f(x)\,dx\,|\geq \,\int _{a}^{b}|f(x)|\,dx}$

• إذا كانت الدالة ${\displaystyle f}$ قابلة للتكامل على الفترة ${\displaystyle [a,b]}$ وكانت النقطة ${\displaystyle c\in [a,b]}$ فإن :

${\displaystyle \int _{a}^{b}f(x)dx\,=\int _{a}^{c}f(x)dx\,+\,\int _{c}^{b}f(x)dx}$

• إذا كانت الدالة د قابلة للتكامل على ${\displaystyle [a,b]}$ و${\displaystyle f(x)\geq 0}$ على هذه الفترة فإن :

${\displaystyle \int _{a}^{b}f(x)dx\,\geq \,0}$

• إذا كانت الدالتان ${\displaystyle f_{1},f_{2}}$ قابلتين للتكامل على ${\displaystyle [a,b]}$ فإن الدالة ${\displaystyle f_{1}\pm f_{2}}$ تكون قابلة للتكامل على ${\displaystyle [a,b]}$ ويكون :

${\displaystyle \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}$

النظرية الأساسية للتفاضل والتكامل

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

النظرية الأساسية للتفاضل والتكامل تربط بين عملتي التفاضل والتكامل على أنهما عمليات عكسية لبعضهما، حيث انه إذا كان لدينا إقتران متصل ق(س)، قمنا بتكامله أولاً، ومن ثم إشتقاقه، فإن النتيجة النهائية هي الإقتران المتصل ق(س) نفسه.[5][6][7]

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

الجزء الأول «النظرية الأولى»

افترض أن الاقتران ${\displaystyle f(x)}$ اقتران متصل (دالة مستمرة) ذات قيم حقيقية (دالة حقيقية المستقر) معرّف على الفترة المغلقة ${\displaystyle [a,b]}$، وافترض أن الاقتران ${\displaystyle G(x)}$ معرّف، ${\displaystyle \forall ~x\in [a,b]}$ كما يلي

${\displaystyle G(x)=\int _{a}^{x}f(x)~dx}$

فإن:-

1. ${\displaystyle G(x)}$ متصل على الفترة المغلقة ${\displaystyle [a,b]}$
2. ${\displaystyle G(x)}$ قابل للإشتقاق (دالة قابلة للاشتقاق) على الفترة المفتوحة ${\displaystyle (a,b)}$
3. ${\displaystyle G'(x)=f(x)}$ ${\displaystyle \forall ~x\in (a,b)}$

الجزء الثاني «النظرية الثانية»

إذا كان الإقتران ${\displaystyle f(x)}$ إقتران متصل ذات قيم حقيقية معرّف على الفترة المغلقة ${\displaystyle [a,b]}$، فإن:

${\displaystyle \int _{a}^{b}f(x)~dx=G(b)-G(a)}$

بحيث أن، الاقتران ${\displaystyle G(x)}$ هو أي مشتق عكسي للاقتران ${\displaystyle f(x)}$

بمعنى: ${\displaystyle G'(x)=f(x)}$ ${\displaystyle \forall ~x\in [a,b]}$

المراجع

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

1. Shea، Marilyn (مايو 2007)، Biography of Zu Chongzhi، University of Maine، مؤرشف من الأصل في 2018-03-23، اطلع عليه بتاريخ 2009-01-09
   Katz، Victor J. (2004)، A History of Mathematics, Brief Version، أديسون-ويسلي  [لغات أخرى]‏، ص. 125–126، ISBN:978-0-321-16193-2
2. Victor J. Katz (1995), "Ideas of Calculus in Islam and India", Mathematics Magazine 68 (3): 163-174 [165]
3. Victor J. Katz (1995), "Ideas of Calculus in Islam and India", Mathematics Magazine 68 (3): 163–174 [165–9 & 173–4]
4. [1] [وصلة مكسورة] نسخة محفوظة 30 ديسمبر 2006 على موقع واي باك مشين.
5. Gregory، James (1668). Geometriae Pars Universalis. Museo Galileo: Patavii: typis heredum Pauli Frambotti. مؤرشف من الأصل في 2020-03-06.
6. Malet، Antoni (1993). "James Gregorie on tangents and the "Taylor" rule for series expansions". 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)
7. Child، James Mark؛ Barrow، Isaac (1916). The Geometrical Lectures of Isaac Barrow. Chicago: Open Court Publishing Company. مؤرشف من الأصل في 2016-08-05.

انظر أيضًا

• المكامل
• التكامل الوظيفي