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