🗺️ ملاحظة فرانسيس غوثري (1852)
في عام 1852، كان طالب من لندن يُدعى فرانسيس غوثري يلوّن خريطة مقاطعات إنجلترا. فلاحظ أمرًا غريبًا: مهما كان عدد المناطق وأشكالها، تكفي 4 ألوان لكي لا تحمل أي منطقتان متجاورتان نفس اللون.
تحدّث عن ذلك مع أخيه عالم الرياضيات، الذي تحدّث بدوره مع أستاذه (دي مورغان الشهير). وانتشرت الملاحظة في الوسط الرياضي. وأصبح السؤال: هل هذا صحيح دائمًا حقًا، وهل يمكن البرهنة عليه؟
🎛️ لوّن خريطة (تفاعلي)
انقر على كل منطقة لتلوينها (يتنقل بين 4 ألوان). الهدف: ألا تحمل أي منطقتان متجاورتان نفس اللون. مهما كانت الخريطة معقدة، يبقى ذلك ممكنًا دائمًا بـ 4 ألوان.
🎛️ خريطة للتلوين
انقر على المناطق للتنقل بين الألوان الأربعة. يجب ألا تحمل أي منطقتان متجاورتان نفس اللون.
التعارضات بالأحمر: 0
🧗 124 سنة من المحاولات
تبدو المبرهنة بديهية — ومع ذلك تبيّن أن البرهنة عليها بدقة أمر بالغ الصعوبة.
- 1879: ينشر ألفريد كيمب «برهانًا». قُبِل لمدة 11 سنة.
- 1890: يكتشف بيرسي هيوود خطأ قاتلًا في برهان كيمب. وجب إعادة كل شيء. نجح هيوود في إثبات نسخة مُضعّفة (5 ألوان تكفي — أسهل بكثير).
- 1900-1970: محاولات عديدة. فشلت جميعها.
- 1976: كينيث آبل وولفغانغ هاكن، في جامعة إلينوي، يعلنان البرهان. لكن طريقتهما ثورية ومثيرة للجدل.
💻 البرهان بواسطة الحاسوب (1976)
يتمثل نهج آبل وهاكن في:
- اختزال المسألة إلى 1936 تشكيلة من الخرائط («الحالات الحرجة»)
- البرهنة لكل واحدة منها على إمكانية تلوينها بـ 4 ألوان
- التحقق منجَز بواسطة حاسوب IBM 370، في 1200 ساعة من الحساب
في المجموع: برهان يستغرق عشرات الآلاف من الصفحات من مخرجات الحاسوب. لا يستطيع أي إنسان قراءته ولا التحقق منه كاملًا.
📜 الجدل الفلسفي
فتحت مسألة الألوان الأربعة سؤالًا جوهريًا في فلسفة الرياضيات: ما هو البرهان؟
- النهج الكلاسيكي: البرهان هو سلسلة منتهية من الحجج المفهومة والقابلة للتحقق من قبل إنسان
- النهج المعلوماتي: البرهان هو كائن صوري قابل للتحقق خوارزميًا، حتى وإن كان أطول من أن يستوعبه إنسان
اليوم (2026)، يتعايش النهجان. أصبحت البراهين بواسطة الحاسوب شائعة في الرياضيات المتقطعة (مبرهنة كيبلر 1998، تخمين الثلاثيات الفيتاغورسية البوليانية 2016، إلخ).
🧮 المبرهنة بلغة دقيقة
مبرهنة الألوان الأربعة (آبل-هاكن، 1976): كل مبيان مستوٍ قابل للتلوين بـ 4 ألوان. بعبارة أخرى، كل مبيان يمكن رسمه في المستوى دون تقاطع الحروف يمكن تلوينه بـ 4 ألوان بحيث يكون لرأسين متجاورين لونان مختلفان.
يتم الانتقال من «الخريطة الجغرافية» إلى «المبيان» باستبدال كل منطقة برأس، وربط رؤوس المناطق المتجاورة بحرف. هذه هي نظرية المبيانات.
⚡ لماذا 4 وليس 3 أو 5؟
لماذا ليس 3؟ توجد خرائط بسيطة تتطلب فعلًا 4 ألوان. مثال: 4 مناطق كلها متجاورة مثنى مثنى (4 بلدان تلتقي في نقطة مركزية). لا توجد أي طريقة لتلوينها بـ 3 ألوان.
لماذا ليس أكثر من 4؟ هذا بالضبط ما تبرهن عليه المبرهنة: 4 ألوان تكفي، ولا أكثر أبدًا. وهذا «لا أكثر أبدًا» صعب جدًا في البرهنة — وهو جوهر التحدي الذي دام 124 سنة.
🌍 تطبيقات حقيقية
- تلوين الخرائط طبعًا (الأطالس، الكتب المدرسية، لوحات الإشارة)
- توزيع الترددات الإذاعية (هوائيان متجاوران يجب أن يبثا على ترددين مختلفين)
- تخصيص السجلات في المترجمات (متغيران مستخدمان في الوقت نفسه يجب أن يكونا في سجلين مختلفين)
- الجدول الزمني: درسان يشتركان في الأستاذ نفسه لا يمكن أن يكونا في الساعة نفسها (مسألة تلوين مبيانات أكثر عمومية)
- الشبكات الاجتماعية: كشف المجتمعات عبر تلوينات جزئية
🎓 الرابط مع برنامج البكالوريا علوم رياضية
ليست مبرهنة الألوان الأربعة ضمن البرنامج، لكنها توضّح مفاهيم من فصل المبيانات (برنامج البكالوريا العلمية العام):
- المبيان: مجموعة من الرؤوس والحروف
- المبيان المستوي: قابل للرسم دون تقاطع
- تلوين المبيان: تخصيص ألوان للرؤوس
- العدد اللوني: الحد الأدنى من الألوان اللازمة (تقول المبرهنة إن هذا العدد بالنسبة للمبيانات المستوية ≤ 4)
ليست نظرية المبيانات ضمن البرنامج الرسمي للبكالوريا علوم رياضية المغربية، لكنه فصل ستلتقي به حتمًا بعد البكالوريا، في الأقسام التحضيرية أو في مسار الهندسة / المعلوميات.
🧠 تأمل أخير
تمثّل مبرهنة الألوان الأربعة نهاية عصر معيّن من الرياضيات: ذاك الذي كان فيه البرهان بالضرورة أنيقًا وموجزًا وقابلًا للقراءة. ابتداءً من عام 1976، أصبحت بعض الحقائق الرياضية مثبتة دون أن تكون مفهومة بالتفصيل من قبل إنسان واحد.
هذا أمر غير مريح، لكنه أيضًا وعد: التعاون بين البشر والحواسيب يتيح حل مشكلات استعصت منذ قرون. طلاب البكالوريا علوم رياضية اليوم هم أول جيل ينشأ في هذا العالم. وربما تشارك أنت أيضًا في البرهنة على حقيقة لا يستطيع أي إنسان وحده التحقق منها.