السلام عليكم ورحمة الله وبركاته
نظرية القيمة المتوسطه للتكامل
نص النظريه((اذا كانت f داله متصله على الفتره [a,b] فلابد من وجود عدد c ينتمي للمفتوحه (a,b)
بحيث يكون
البرهان
اذا كانت الداله ثابته فالموضوع واضح
الان نبرهن الحاله الاخرى
بما ان الداله متصله فانها تدرك قيمتها العظمى m والصغرى n على الفتره المذكوره يعني ذلك وجود عددين x1,x2 ينتميان للفتره ويحققان
f(x1)=m ,f(2)=n
وحيث ان الداله غير ثابته لابد من وجود نقطه تحقق المساوه
![](../cgi-bin/olom.cgi?\Large \\n<f(x)<m)
وبالتالي من نظريه اخرى
![](../cgi-bin/olom.cgi?\Large \Bigint_{a}^b~ndx<\Large \Bigint_{a}^b~f(x)dx<\Large \Bigint_{a}^b~mdx)
ولان اطراف المتباينه ثوابت فانها تحقق المساواة
![](../cgi-bin/olom.cgi?\Large \\n(b-a)<\Large \Bigint_{a}^b~f(x)dx<\Large m(b-a))
ويكون
![](../cgi-bin/olom.cgi?\Large \\n< \frac {1}{b-a} \Large \Bigint_{a}^b~f(x)dx<\Large m )
الان نضع
![](../cgi-bin/olom.cgi?\Large\m=\frac {1}{b-a} \Large \Bigint_{a}^b~f(x)dx)
ومن السابق يكون
![](../cgi-bin/olom.cgi?\Large f(x1)<\Large \m<\Large f(x2))
ومن نظرية البينيه يوجد عدد c محصور بين x1 وبين 2 بحيث ان
![](../cgi-bin/olom.cgi?\Large \m=\Large f©)
وكذلك
![](../cgi-bin/olom.cgi?\Large\ f\(c\)=\Large \frac {1}{b-a}\Bigint_{a}^b~f(x)dx)
اذن
وهو المطلوب