🌡️ تجربة تعيشها كل يوم
هذا الصباح، في الدار البيضاء، كانت درجة الحرارة 15°C. وبعد الظهر، أصبحت 25°C. السؤال : هل وُجدت لحظة محددة في اليوم كانت فيها درجة الحرارة 20°C بالضبط ؟
حدسك يقول نعم. وأنت على حق : درجة الحرارة تتغير بشكل متصل (دون قفزة مفاجئة). إذن فهي اجتازت حتمًا جميع القيم بين 15 و25، ومنها 20.
لقد طبّقت للتو مبرهنة القيم الوسيطية (TVI)، إحدى أقوى مبرهنات التحليل — وأكثرها مخالفة للحدس عندما تدرك ما تقوله حقًا.
📜 النص الرسمي
لتكن f دالة متصلة على مجال [a, b]. بالنسبة لكل عدد حقيقي k محصور بين f(a) وf(b)، يوجد على الأقل عدد حقيقي واحد c ∈ [a, b] بحيث f(c) = k.
حالة خاصة (الأكثر استخدامًا في التمارين) : إذا كان f(a) وf(b) لهما إشارتان متعاكستان، فإن المعادلة f(x) = 0 لها حل واحد على الأقل بين a وb.
🎛️ تحكّم في المنحنى
إليك دالة متصلة f(x) = x³ − x − k. حرّك المؤشر k ولاحظ : ينزاح المنحنى عموديًا. وما دام f(a) وf(b) لهما إشارتان متعاكستان، فإن جذرًا يوجد حتمًا بينهما.
🎛️ أزِح الدالة
ابحث عن قيم k التي من أجلها تقبل المعادلة f(x) = 0 حلًا على [−2, 2].
💡 لماذا هي ثورية
مبرهنة القيم الوسيطية هي إحدى أوائل مبرهنات الوجود غير البنائي في تاريخ الرياضيات. قبل بولزانو، كان علماء الرياضيات يعتقدون أنه يجب بناء حل بشكل صريح لإثبات وجوده.
برهن بولزانو أنه يمكن التأكيد بأن « هذا الحل موجود » دون حسابه أبدًا، ودون رؤيته، ودون حتى معرفة مكانه بالضبط. إنها ثورة فلسفية ورياضية.
📚 تطبيق نموذجي في البكالوريا علوم رياضية
نص كلاسيكي : لتكن f(x) = x³ + x − 1. بيّن أن المعادلة f(x) = 0 تقبل حلًا واحدًا على الأقل في [0, 1].
الحل في 3 أسطر :
- f متصلة على ℝ (حدودية)، إذن على [0, 1].
- f(0) = −1 < 0 وf(1) = 1 > 0.
- حسب مبرهنة القيم الوسيطية، ∃ c ∈ ]0, 1[ بحيث f(c) = 0. ∎
لم تحسب أبدًا الجذر. وليست لديك حتى فكرة تقريبية عنه. لكنك أثبتّ وجوده.
🎯 صيغة « الجذر الوحيد »
لمزيد من التعمق، لمبرهنة القيم الوسيطية صيغة معزّزة كثيرة الاستعمال في البكالوريا :
إذا كانت f متصلة ورتيبة قطعًا على [a, b] وf(a)، f(b) لهما إشارتان متعاكستان، فإنه يوجد حل وحيد c في [a, b] بحيث f(c) = 0.
الرتابة (التزايد أو التناقص القطعي) تضمن أننا لا نقطع المحور Ox إلا مرة واحدة فقط. عمليًا، نثبت الرتابة عن طريق إشارة المشتقة — ومن هنا يأتي الرابط مع درس الاشتقاق.
🧭 طريقة التنصيف : من مبرهنة القيم الوسيطية إلى قيمة حقيقية
تقول مبرهنة القيم الوسيطية « إنه موجود ». لكن يمكننا تقريبه بدقة عالية كما نريد، باستعمال تقنية بسيطة تسمى التنصيف :
- لدينا مجال [a, b] حيث تغيّر f إشارتها.
- نحسب المنتصف m = a + b2.
- ننظر إلى إشارة f(m) : الجذر يوجد في [a, m] أو [m, b].
- نعيد العملية على المجال الجديد، الأصغر بمرتين.
بعد 10 تكرارات، نكون قد قسمنا الدقة على 1024. هكذا بالضبط تجد آلتك الحاسبة الجذور داخليًا.
🎓 الرابط مع برنامجك في البكالوريا علوم رياضية
- الاتصال : مبرهنة القيم الوسيطية هي الخاصية الأساسية للدوال المتصلة
- دراسة الدوال : تبرير وجود جذر دون حسابه (متكرر جدًا في البكالوريا)
- المتتاليات التراجعية : إثبات وجود نقطة صامدة (lim un = ℓ مع f(ℓ) = ℓ)
- المعادلات المتسامية : x + sin x = 1 أو e^x = x + 2 — لا صيغة، لكن مبرهنة القيم الوسيطية تحسم مسألة الوجود
🧠 درس أعمق
تعلّمك مبرهنة القيم الوسيطية أمرًا أساسيًا : إثبات وجود كائن وبناؤه مسألتان مختلفتان.
إنها إحدى ركائز المنطق الرياضي الحديث. لاحقًا (في الأقسام التحضيرية، في الماستر)، سترى مبرهنات أكثر جذرية تضمن وجود حلول لمعادلات لن يستطيع أي إنسان حلّها بشكل صريح أبدًا.
مبرهنة القيم الوسيطية هي لقاؤك الأول مع هذا العالم. ليس سيئًا، لمبرهنة يتسع نصها لجملة واحدة.
Vérifie ta compréhension
3 questions courtes pour valider tes acquis. Tu peux réessayer.