تستند مبرهنة القيم المتوسطة إلى الخصائص الطوبولوجية للاستمرارية على مجالات حقيقية؛ حيث تنص هندسياً على أن المنحنى البياني $(\mathcal{C}_f)$ لدالة مستمرة يقطع حتماً أي مستقيم أفقي معادلته $y = k$ (حيث $k$ قيمة محصورة بين صورتي طرفي المجال)، مما يعني تحليلياً أن الدالة تستوفي وتستوعب كافة القيم الواقعة بين الصورتين الحدّيتين دون أي قفزات جبرية.
لتكن $f$ دالة عددية معرفة ومستمرة على مجال مغلق $[a; b]$. من أجل كل عدد حقيقي $k$ محصور بين $f(a)$ و $f(b)$، يوجد على الأقل عدد حقيقي $c$ محصور بين $a$ و $b$ بحيث تحقق الصورة الجبرية الشرط التالي:
$$f(c) = k$$
| الشرط التحليلي | الدور والمسوغ المنهجي في دراسة المسائل |
|---|---|
| 1. الاستمرارية على المجال $[a; b]$ | يضمن تماسك المنحنى بيانيّاً وعدم وجود أي انفصال تحليلي يسمح بالقفز فوق القيمة المستهدفة $k$. |
| 2. حصر القيمة الثابتة $k$ | يضمن أن المستقيم الأفقي $y=k$ يقع في الحيز الجغرافي الممتد بين الصورتين $f(a)$ و $f(b)$، مما يضمن تقاطعه مع المنحنى داخل الفترة. |
تُعد دراسة تقاطع المنحنى البياني $(\mathcal{C}_f)$ مع محور الفواصل التطبيق الأكثر تكراراً للمبرهنة. في هذه الحالة، تستهدف المبرهنة القيمة $k=0$، ويصاغ شرط الحصر المنهجي بإثبات أن الصورتين الحدّيتين تختلفان في الإشارة، وهو ما يعبر عنه جبرياً بالجداء السالب:
$$f(a) \times f(b) < 0$$
الاستنتاج المباشر: المعادلة $f(x) = 0$ تقبل حلاً على الأقل $c$ في المجال المفتوح $]a; b[$.
المطلوب: أثبت أن المعادلة ذات العبارة التحليلية $x^3 + x - 1 = 0$ تقبل حلاً على الأقل في المجال المغلق $[0; 1]$.
| المراحل المنهجية | الإجراء الحسابي والجبري | التعليل والاتساق التحليلي |
|---|---|---|
| 1. صياغة وتبرير الاستمرارية | نعتبر الدالة $f(x) = x^3 + x - 1$ | الدالة $f$ مستمرة على المجال $[0; 1]$ لأنها دالة كثير حدود. |
| 2. حساب المقادير الطرفية | $f(0) = (0)^3 + (0) - 1 = -1$ $f(1) = (1)^3 + (1) - 1 = 1$ |
القيمتان حقيقيتان ومنتهيتان وتختلفان في الإشارة. |
| 3. موازنة شرط الحصر | بما أن: $f(0) \times f(1) = (-1) \times (1) = -1 < 0$ | العدد $0$ محصور تماماً بين الصورتين $f(0)$ و $f(1)$. |
| 4. الاستنتاج النهائي القطعي | الشرط محقق تماماً. | حسب مبرهنة القيم المتوسطة، فإن المعادلة $f(x) = 0$ تقبل حلاً على الأقل $c$ ينتمي إلى المجال المفتوح $]0; 1[$. |
تُصنف مبرهنة القيم المتوسطة ضمن مبرهنات الوجود الوجودية (Existence Theorems)؛ فهي تؤكد وجود الجذور والحلول وتقطع المنحنيات بشكل يقيني، لكنها لا تقدم صيغة جبرية أو خوارزمية لحساب القيمة المضبوطة للحل الحقيقي $c$.