«حجر رشيد» الرياضيات
برنامج لانغلاندز، الذي أطلقه الكندي روبرت لانغلاندز سنة 1967، يقترح الربط بين ثلاثة مجالات كبرى في الرياضيات كانت تبدو مستقلة: نظرية الأعداد، والتحليل التوافقي، والهندسة. أطلقت عليه مجلة Quanta اسم «حجر رشيد» الرياضيات الحديثة.
حدسية لانغلاندز الهندسية هي واحدة من الفروع الثلاثة الكبرى لهذا البرنامج. في يوليوز 2024، قام فريق دولي مكون من 11 عالم رياضيات — بقيادة دينيس غايتسغوري (معهد ماكس بلانك) وسام راسكين (جامعة ييل) — بنشر آخر مقال من أصل خمسة مقالات تُكمل البرهان على موقع arXiv. المجموع: أكثر من 800 صفحة من الرياضيات البحتة، ثمرة أكثر من 30 سنة من البحث المتراكم.
لماذا 800 صفحة؟
تلاميذ باكالوريا العلوم الرياضية عادة ما يحررون برهانا في بضعة أسطر. كيف ننتقل إلى 800 صفحة؟ الجواب في كلمة واحدة: التفكيك.
فريق غايتسغوري-راسكين قسّم الحدسية إلى خمسة أهداف فرعية، كل واحد منها مُقسّم بدوره إلى لِمّات وسيطة، التي تعتمد هي نفسها على قضايا مساعدة. هذه بالضبط نفس الاستراتيجية المطلوبة من تلميذ باكالوريا العلوم الرياضية في سؤال معقد — لكن بمقياس آخر.
المقالات الخمسة
- المقال الأول (ماي 2024): بناء «دالة لانغلاندز الهندسية».
- المقالات الثاني–الرابع: خصائص هذه الدالة (الوجود، الوحدانية، التوافقات).
- المقال الخامس (شتنبر 2024): مبرهنة «التعددية 1» التي تختم البرهان.
كل مقال قُدّم إلى arXiv ثم للمراجعة من طرف الأقران (peer-review). المصادقة النهائية من طرف المجتمع العلمي ستستغرق عدة سنوات أخرى — لكن القراءات الأولى متحمسة.
الدرس لتلميذ باكالوريا العلوم الرياضية
لن تبرهن حدسية لانغلاندز. لكن مبدأ تفكيك البرهان عالمي:
- حدد القضية الشاملة المراد برهانها.
- فكّكها إلى أهداف فرعية وسيطة. في الباكالوريا، غالبا ما يكون «أثبت X1»، ثم «استنتج X2»، ثم «اختم بـ X».
- برهن كل هدف فرعي على حدة. بتحريره الكامل الخاص به.
- أعد التركيب في النهاية، بالاستشهاد بالنتائج الفرعية المُثبتة سابقا.
الدرس الآخر: العمل الجماعي
11 عالم رياضيات. لم يكن بإمكان أي واحد منهم النجاح بمفرده. أسطورة العبقري المنعزل ماتت منذ زمن طويل في الرياضيات البحثية. المستقبل هو الفريق.
في المغرب، أفضل النتائج غالبا ما تأتي من مجموعات الدراسة: 3-4 تلاميذ يجتمعون، يتبادلون أفكارهم، يصححون بعضهم البعض. استلهم من ذلك.
ولماذا يستحق الأمر العناء؟
برنامج لانغلاندز يدعم العديد من النتائج الحديثة في التشفير، في الفيزياء النظرية (نظرية الأوتار)، وحتى في الحوسبة الكمومية. «تكهن نظري بحت» من الستينيات أعطى تطبيقات تكنولوجية بعد 60 سنة. هذا جمال الرياضيات: ما يبدو عديم الفائدة اليوم سيكون أساسيا غدا.
انظر أيضا: كيفية تحرير برهان، نماذج الترجع.