السلام عليكم
ايجاد المساحه تحت منحنى من حساب مجموع والذي اتخذ له حرف s بعد مده طبعا
كان الشائع ان المساحه هي الفارق بين منحنى المشتقه العكسيه عند اطراف الفتره المراد حساب التكامل عليها
طبعا ريمان ومن قبله كوشي(على فكره المشتقه العكسيه هي التكامل غير المحدد )اكتشفا ان هذه النظريه صالحه فقط لمجموعه من الدوال مثل الدوال المستمر او التي لها مشتقه عكسيه في فترة التكامل بينما هناك دوال كثيره يمكن ايجاد تكاملها ولا تتمتع بهاتين الخاصيتين وهي الدوال التي اسماها ريمان الدوال القابله للتكامل فمثلا الداله
![](../cgi-bin/olom.cgi?\Large f(x)=y=\{{\frac{|x|}{x} \ \ , x\no=\atop 0 \ \ , \ x=0}\. )
قابله للتكامل على اي فتره تحوي النقطه x=0 بمفهوم ريمان الذي سنعرضه بعد قليل
طبعا لتكن f داله منطلقها [a,b] وليكن
![](../cgi-bin/olom.cgi?\Large P_n )
تجزئه للفتره معينه بالمجموعه
![](../cgi-bin/olom.cgi?\Large [x_0,x_1,.....,x_n] )
بنظيم ||p|| ولتكن
![](../cgi-bin/olom.cgi?\Large [t_1,t_2,.....,t_n] )
زياده لهذه المجموعه نرمز لمجموع ريمان (نفس الكلام بالاعلى مصاغ بطريقه اكثر ترتيب)
![](../cgi-bin/olom.cgi?\Large S(f \ , \ P_n \ , \ T_n)= \sum\limits_{i=0}^nf(t_i)\Del x_i )
ونؤكد بشده انه لايمكن اعتبار
![](../cgi-bin/olom.cgi?\Large S(f \ , \ P_n \ , \ T_n) )
حدا عاما من متتاليه ان اختيار قيمه معينه n لايعني بشكل وحيد قيمة
![](../cgi-bin/olom.cgi?\Large S(f \ , \ P_n \ , \ T_n) )
وذلك لانه من اجل قيمه معينه للعدد n يوجد عدد غير منته من التجزيئات الممكنه الى n فتره جزئيه كما يوجد عدد غير منته من الزيادات لكل واحده من هذه التجزيئات لذا لايمكننا ان نتكلم عن نهاية
![](../cgi-bin/olom.cgi?\Large S(f \ , \ P_n \ , \ T_n) )
عندما يزداد n الى مالانهايه بنفس معنى تعريف نهاية متتاليهط
تعريف التكامل المحددلنفرض ان f داله يحوي منطلقها الفتره المغلقه [a,b] حيث a
من اجل كل
![](../cgi-bin/olom.cgi?\Large\eps>0 )
يوجد عدد
![](../cgi-bin/olom.cgi?\Large\del>0 )
بحيث يكون
![](../cgi-bin/olom.cgi?\Large |S(f \ , \ P_n \ , \ T_n)-I|<\eps )
وذلك من اجل جميع التجزيئات وجميع الزيادات بنظيم
![](../cgi-bin/olom.cgi?\Large||P||>\del )
فاننا نسمي هذا العدد الوحيد(يمكن البرهان لكن بخلفيه اعلى على ذلك)تكامل ريمان المحدد للداله f على الفتره [a,b] وعندما يوجد مثل هذا العدد نقول ان الداله قابله للتكامل ونرمز لهذا العدد بالرمز
![](../cgi-bin/olom.cgi?\Large\Bigint\limits_{a}^bf(x)dx )
اي ان
![](../cgi-bin/olom.cgi?\Large I=\Bigint\limits_{a}^bf(x)dx )
ونسمي العدد a الحد الادنى للتكامل و b الحد الاعلى للتكامل والتكامل الذي اتينا على ذكره يسمى تكامل ريمان لتمييزه عن انماط اخرى من التكاملات مثل تكامل ريمان-ستيجلز او تكامل لبيق ومن الان وصاعدا عندما نقول تكامل فاننا نعني تكامل ريمان
طبعا دعونا جانبا قليلا نفكر بسلوك النظيم
نحن نعرف ان النظيم عندما يؤول الى الصفر هذا يعني ضمنيا ان عدد التجزيئات يكبر بدون حدود بالتالي يمكن تعريف صيغه مكافئه لتكامل ريمان لكن نريد الابقاء على هذه الصيغه حتى نقوى على البرهنه على خواص التكامل
طبعا نعرف
![](../cgi-bin/olom.cgi?\Large\Bigint\limits_{a}^af(x)dx=0 )
ونعرف كذلك
![](../cgi-bin/olom.cgi?\Large\Bigint\limits_{a}^bf(x)dx=-\Bigint\limits_{b}^af(x)dx )
خواص التكامل المحدد
ان للتكاملا خواص مهمه تجعل منه اداة فعاله في تطوير الرياضيات وتطبيقاتها
مبرهنه 1
اذا كانت f و g دالتين قابلتين للتكامل على [a,b] فان
![](../cgi-bin/olom.cgi?\Large\Bigint\limits_{a}^b[f(x)+g(x)]dx=\Bigint\limits_{a}^bf(x)dx+\Bigint\limits_{a}^bg(x)dx )
البرهان : من المعلوم ان f , g دالتين قابلتين للتكامل فاذا كان
![](../cgi-bin/olom.cgi?\Large\eps )
عددا اختياريا موجبا فانه يوجد عدد
![](../cgi-bin/olom.cgi?\Large\del_1>0 )
بحيث يكون
![](../cgi-bin/olom.cgi?\Large |S(f \ , \ P_n \ , \ T_n)-\Bigint\limits_{a}^bf(x)dx|<\eps/2 )
بنفس الشروط مهما كانت التجزئه والزياده بشرط ان يكون
كما يوجد
![](../cgi-bin/olom.cgi?\Large\del_2>0 )
بحيث يكون
![](../cgi-bin/olom.cgi?\Large |S(f \ , \ P_n \ , \ T_n)-\Bigint\limits_{a}^bg(x)dx|<\eps/2 )
مهما كانت التجزئه بشرط ان يكون
اذن
![](../cgi-bin/olom.cgi?\Large \Large S(f+g \ , \ P_n \ , \ T_n)=\sum\limits_{i=0}^n[f(t_i)+g(t_i)]\Del x_i \\ =\sum\limits_{i=0}^nf(t_i)\Del x_i+\sum\limits_{i=0}^ng(t_i)\Del x_i \\ =S(f \ , \ P_n \ , \ T_n)+S(g \ , \ P_n \ , \ T_n) )
ولذلك اذا كان
![](../cgi-bin/olom.cgi?\Large\Del )
اصغر العددين
![](../cgi-bin/olom.cgi?\Large\Del_1,\Del_2 )
فان
![](../cgi-bin/olom.cgi?\Large|s(f+g,P_n,T_n)-(\Bigint\limits_{a}^bf(x)dx+\Bigint\limits_{a}^bg(x)dx)| \\ =|s(f,P_n,T_n)-\Bigint\limits_{a}^bf(x)dx+s(g,P_n,T_n)-\Bigint\limits_{a}^bg(x)dx| \\ \le =|s(f,P_n,T_n)-\Bigint\limits_{a}^bf(x)dx|+|s(g,P_n,T_n)-\Bigint\limits_{a}^bg(x)dx| \\ \le\eps/2+\eps/2=\eps )
مهما كانت التجزيئات والزيادات شرط ان يكون النظيم اقل من
![](../cgi-bin/olom.cgi?\Large\Del )
, وينتج من ذلك ومن تعريف التكامل ان
![](../cgi-bin/olom.cgi?\Large\Bigint_a^bf(x)dx+\Bigint_a^bg(x)dx=\Bigint_a^b[f(x)+g(x)]dx )
الخاصيه الجمعيه للتكامل
اذا كانت الداله f متصله على فتره تحوي الاعداد a,b,c عندئذ يكون
![](../cgi-bin/olom.cgi?\Large\Bigint_a^cf(x)dx=\Bigint_a^bf(x)dx+\Bigint_b^cf(x)dx )
ان برهان هذه الخاصيه يتطلب النظر في سلوك المجموعs الامر الذي هو اعلى من مستوانا الحالي لكن سوف ابرهن لكم الطرف الايمن الى الايسر
البرهان
بما ان f متصله فالتكاملات الثلاثه موجوده نبرهن الان الحاله a
ليكن
![](../cgi-bin/olom.cgi?\Large\eps )
اي عدد موجب بما ان
![](../cgi-bin/olom.cgi?\Large\Bigint_a^cf(x)dx )
موجود فحواصل جمع ريمان للداله f على [a,c] تتجمع حول التكامل وهذا يعني وجود عدد
![](../cgi-bin/olom.cgi?\Large\del_1 )
بحيث ان كل حاصل ريمان
![](../cgi-bin/olom.cgi?\Large r_{ac} )
للداله f على الفتره المذكوره مبني على تجزيء معياره اقل من
![](../cgi-bin/olom.cgi?\Large\del_1 )
يقع في الجوار
![](../cgi-bin/olom.cgi?\Large(\Bigint_a^cf(x)dx-\eps/3\ , \ \Bigint_a^cf(x)dx+\eps/3 )
اي ان
![](../cgi-bin/olom.cgi?\Large\Bigint_a^cf(x)dx-\eps/3R_{ac}<\Bigint_a^cf(x)dx+\eps/3)
الذي يدل
![](../cgi-bin/olom.cgi?\Large|R_{ac}-\Bigint_a^cf(x)dx|<\eps/3 )
بالمثل يمكن اثبات انه يوجد عددين
![](../cgi-bin/olom.cgi?\Large\del_2,\del_3 )
بحيث تتحقق المتباينتين التاليتين على التوالي
![](../cgi-bin/olom.cgi?\Large|R_{ab}-\Bigint_a^bf(x)dx|<\eps/3 \\ |R_{bc}-\Bigint_b^cf(x)dx|<\eps/3 )
لتكن
![](../cgi-bin/olom.cgi?\Large\del )
اقل الاعداد السابقه اختر تجزيئين معيار كل منهما اقل من
![](../cgi-bin/olom.cgi?\Large\del )
ليكن
![](../cgi-bin/olom.cgi?\Large R_{ab},R_{bc} )
حاصلا جمع ريمان للدالهf على الفترتين [a,b],[b,c] للتجزيئين المشار اليهما
حاصل الجمع لهما هو حاصل جمع ريمان للداله
![](../cgi-bin/olom.cgi?\Large R_{ac} )
للداله f ويكون
![](../cgi-bin/olom.cgi?\Large R_{ac}=R_{ab}+R_{bc} )
ولكل حواصل جمع ريمان هذه مع المتباينات بالاعلى تظل صحيحه للعلاقه الاخير بالتالي
![](../cgi-bin/olom.cgi?\Large\Bigint_a^bf(x)dx|+\Bigint_b^cf(x)dx|-\Bigint_a^cf(x)dx \\ =[R_{ac}-\Bigint_a^cf(x)dx]-[R_{ab}-\Bigint_a^bf(x)dx]-[R_{bc}-\Bigint_b^cf(x)dx] )
القيمه المطلقه لحاصل جمع او فرق اعداد اقل من او يساوي حاصل جمع القيم المطلقه وبناء على ذلك وبالاستفاده مما سبق يكون
![](../cgi-bin/olom.cgi?\Large|\Bigint_a^bf(x)dx|+\Bigint_b^cf(x)dx|-\Bigint_a^cf(x)dx| \\ \le|R_{ac}-\Bigint_a^cf(x)dx|+|R_{ab}-\Bigint_a^bf(x)dx|+|R_{bc}-\Bigint_b^cf(x)dx| \\ <\eps/3+\eps/3+\eps/3=\eps )
العدد الاول الممثل من الشطر الاول من المتباينه ليس سالبا والمتباينه اقل من كل عدد موجب
![](../cgi-bin/olom.cgi?\Large\eps )
فهو يجب ان يكون صفرا ومن ثم يكون
![](../cgi-bin/olom.cgi?\Large\Bigint_a^bf(x)dx+\Bigint_b^cf(x)dx-\Bigint_a^cf(x)dx=0 )
وصلى الله بارك
مبرهنه
اذا كانت f قابله للتكامل على الفتره [a,b] وكان f اكبر او تساوي الصفر على كل الفتره فان
![](../cgi-bin/olom.cgi?\Large 0\le\Bigint_a^bf(x)dx )
وطبعا لو كان لدينا على نفس الفتره دالتين f و g قابلتين للتكامل وكان f>g او تساويه يكون
![](../cgi-bin/olom.cgi?\Large\Bigint_a^bg(x)dx\le\Bigint_a^bf(x)dx )
طبعا المحاضره القادمه سوف نتكلم عن مواضيع اخرى
مع التحيه