مبرهنة القيمة المتوسطة

تصغير|400px| لكل مستقيم يقطع منحنى قابل للاشتقاق، يوجد مستقيم مماس لهذا المنحنى مواز للمستقيم القاطع.
في علم الرياضيات، **مبرهنة القيمة المتوسطة** أو **مبرهنة التزايدات المنتهية** هي الحالة الأعم لمبرهنة رول.
**النص :** لتكن  دالة عددية  بحيث *a <b*، إذا كانت  متصلة على المجال المغلق [*a*, *b*] وقابلة للاشتقاق على المجال المفتوح ]*a*, *b*[، فإنه يوجد على الأقل عدد حقيقي *c* ينتمي للمجال ]*a*, *b*[ بحيث :
  f^{\prime}(c)=\frac{f(b)-f(a)}{b-a}.

في الحقيقة، وتبعا لهذه الشروط، تكون قيمة الدالة x \mapsto f(x) - {f(b)-f(a) \over b-a} \times (x-a) في *a* و*b* واحدة. وبتطبيق مبرهنة رول، فإنها تملك نقطة معينة *c* في ]*a* ; *b*[ ونظرا لأن المشتقة في *c* تساوي الصفر فإننا نجد المعادلة السابقة.

هندسيا، تقترح علينا مبرهنة القيمة الوسطى أنه لكل مستقيم يقطع منحنى قابل للاشتقاق، يوجد مستقيم مماس لهذا المنحنى مواز للمستقيم القاطع.

## متباينة القيمة الوسطى

لتكن *f* : [*a*, *b*] -> R دالة ذات قيم حقيقية حيث *a <b*. إذا كان :
* *f* متصلة على النطاق المغلق [*a*, *b*]
* *f* قابلة للاشتقاق على النطاق المفتوح ]*a*, *b*[
* يوجد عدد حقيقي موجب *k*، حيث لكل عنصر *x* من ]*a*, *b*[، |f'(*x*)| \left|\right| \le k.

**الاستدلال** :

نطبق مبرهنة القيمة الوسطى ونضع |f'(*x*)| f و g مستمرتين على الفترة المغلقة [a,b] وقابلة للاشتقاق على الفترة المفتوحة (a,b)، فإن هناك بعض الأعداد c \in (a,b)، بحيث:
وصلة=https://en.wikipedia.org/wiki/File:Cauchy.svg|تصغير|260x260بك|المعنى الهندسي لمبرهنة كوشي

: (f(b)-f(a))g'(c)=(g(b)-g(a))f'(c)

طبعًا، إذا كان g(a) \neq g(b) و g'(c) \neq 0، تكافئ الصيغة السابقة:

: \frac{f'(c)}{g'(c)}=\frac{f(b)-f(a)}{g(b)-g(a)}.

هندسيًا، هذا يعني أن هناك بعض المماسات للرسم البياني للمنحنى

: \begin{cases}[a,b] \to \R^2\\t\mapsto (f(t),g(t))\end{cases}

الذي هو موازٍ للمستقيم المحدد بالنقطتين (f(a), g(a)) و (f(a), g(a)). ومع ذلك، لا تنص مبرهنة كوشي على وجود مثل هذا المماس في جميع الحالات حيث أن النقطتين (f(a), g(a)) و (f(b), g(b)) متمايزتان، لأنه قد يكون محققًا في بعض قيم c فقط مع f'(c) = g'(c) = 0، بمعنى آخر، القيمة التي يكون المنحنى المذكور مستقرًا بالنسبة لها؛ في مثل هذه النقاط، من غير المحتمل تحديد أي مماس للمنحنى على الإطلاق. مثال على هذا الموقف هو المنحنى المعرفة بـ:

t \mapsto \left(t^3,1-t^2\right)

التي تنتقل من النقطة (-1, 0) إلى النقطة (1, 0) في الفترة [-1,1]، ومع ذلك لن يكن له مماس أفقي؛ ومع ذلك، فإنه له نقطة مستقرة (قرنة في الحقيقة) عند t = 0.

يمكن استخدام مبرهنة القيمة المتوسطة لكوشي لإثبات قاعدة لوبيتال. مبرهنة القيمة المتوسطة هي حالة خاصة لمبرهنة كوشي لما g(t) = t.

**الاستدلال** :
: نطبق مبرهنة رول على الدالة
::h(t) = (f(b) - f(a))(g(t) - g(a)) - (g(b) - g(a))(f(t) - f(a))\,
:إن الدالة *h* متواصلة على [*a* ; *b*]، وقابلة للاشتقاق على ]*a* ; *b*[، وتساوي صفرا في *a* و*b* وبالتالي h(a)=h(b). إذن يوجد عدد حقيقي *c* من ]*a* ; *b*[ بحيث *h'(c) = 0*. وهو ما يؤدي إلى
:: (f(b) - f(a))g'(c) - (g(b) - g(a))f'(c) = 0\,
: ولو كانت *g*' كذلك مخالفة للصفر على ]*a* ; *b*[ فإننا نستطيع أن نؤكد أن g(b) \ne g(a) ويكفي أن نقسم بهما فنجد
::\frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f'(c)}{g'(c)}

## مبرهنة القيمة الوسطى والتكاملات

يمكن إعادة صياغة مبرهنة القيمة الوسطى في شكل تكامل. لكل دالتين ذوات متغيّر حقيقي، *u* و*v* متصلتين على النطاق [*a* ; *b*]، حيث *v* مخالفة

للصفر على [*a* ; *b*]، يوجد عدد حقيقي *c* من ]*a*، *b*[ حيث
\int_a^b u(t)v(t)dt = u(c) \int_a^b v(t)dt.
و هذه الكتابة منطقية نظرا لأن الدوال المتصلة متكاملة محليا حسب ريمان.
## مراجع

تصنيف:أوغستان لوي كوشي
تصنيف:مبرهنات في التحليل الحقيقي
تصنيف:مبرهنات في حساب التفاضل والتكامل
تصنيف:مقالات تحوي براهين