فرضية ريمان: المسألة بمليون دولار التي تقاوم منذ 1859

المسألة في سطر واحد

فرضية ريمان، التي طرحها عام 1859 عالم الرياضيات الألماني Bernhard Riemann، تنص على:

جميع الأصفار غير البديهية للدالة $\zeta$ لـ Riemann جزؤها الحقيقي يساوي $\frac{1}{2}$.

بالصيغ الرياضية. دالة زيتا لـ Riemann معرفة على الأعداد المركبة بـ:

$$\zeta (s)=\sum _{n=1}^{+\infty }\frac{1}{n^s}\text{pour }\mathrm{Re}(s)>1$$

ثم تُمدد بواسطة الامتداد التحليلي إلى كامل المستوى المركب (باستثناء $s=1$). هذه الدالة تمتلك أصفاراً بديهية ($s=-2,-4,-6,\dots$) وأصفاراً غير بديهية في «الشريط الحرج» $0<\mathrm{Re}(s)<1$. فرضية ريمان تُكتب إذن:

$$\forall s\in \mathbb{C},(\zeta (s)=0\text{ et }0<\mathrm{Re}(s)<1)⟹\mathrm{Re}(s)=\frac{1}{2}$$

بعبارة أخرى: جميع الأصفار غير البديهية متراصة على المستقيم العمودي $\mathrm{Re}(s)=1/2$، المسمى المستقيم الحرج.

صياغة غامضة بالنسبة لتلميذ الباكالوريا، لكن نتيجتها واضحة: تعطي التوزيع الدقيق للأعداد الأولية بين الأعداد الصحيحة. كل شيء، من التشفير RSA إلى خوارزميات Google، يعتمد في النهاية على هذا التوزيع.

من هو Bernhard Riemann؟

عالم رياضيات ألماني توفي في سن 39 بالسل، أحدث Riemann ثورة في بضع مقالات: الهندسة (نظرية ستلهم Einstein للنسبية العامة)، التحليل المركب، ونظرية الأعداد. مقاله عام 1859، حول عدد الأعداد الأولية الأصغر من قيمة معطاة، يتكون من 8 صفحات. يحتوي على حدسية وصفها بتواضع بأنها «محتملة جداً» — ولم يبرهنها أحد منذ ذلك الحين.

لماذا هي مهمة

إذا كانت الفرضية صحيحة، يمكننا التنبؤ بدقة فائقة بعدد الأعداد الأولية $\pi (x)$ الأصغر من عدد صحيح $x$: لدينا $\pi (x)\approx \frac{x}{\ln x}$ مع خطأ من رتبة $\sqrt{x}\ln x$. هذه هي مبرهنة الأعداد الأولية، المبرهنة عام 1896 — لكن فرضية ريمان ستعطي خطأ أفضل بكثير.

إذا كانت خاطئة — إذا وُجد صفر واحد فقط خارج «المستقيم الحرج» — فإن توزيع الأعداد الأولية غير منتظم بشكل عميق، وجزء كامل من الحسابيات الحديثة ينهار.

التحققات العددية

منذ 1859، نحسب الأصفار. التسلسل الزمني:

• 1936: Titchmarsh & Comrie، 1 041 صفراً (آلات حاسبة ميكانيكية).
• 1956: Lehmer، 25 000 صفر (أول الحواسيب الإلكترونية).
• 1986: Van de Lune, te Riele & Winter، 1,5 مليار صفر.
• 2004: مشروع ZetaGrid (حساب موزع)، 100 مليار صفر.
• 2020: Platt & Trudgian يتحققان من الفرضية لكل $|t|\le 3\times 10^{12}$.

جميع الأصفار المتحقق منها موجودة على المستقيم الحرج $\text{Re}(s)=1/2$. لم يُعثر على أي استثناء حتى الآن.

لماذا هذا ليس برهاناً

هذا هو الدرس الكبير لتلميذ باكالوريا العلوم الرياضية: التحقق من مليارات الحالات لا يبرهن شيئاً في الرياضيات.

مثال تاريخي: اعتُقد طويلاً أن حدسية Pólya (حول إشارة مجموع مرتبط بتحليل الأعداد الصحيحة) صحيحة. تم التحقق منها حتى $10^6$. ثم عام 1980، قدم Tanaka مثالاً مضاداً عند $n=906150257$. واحد فقط. وانهارت الحدسية.

بالنسبة لـ ريمان، لدينا 100 مليار حالة. لكن ربما يوجد مثال مضاد عند $10^{30}$، أو $10^{100}$. لا أحد يعلم. فقط برهان صوري يمكنه الحسم.

معهد Clay ومليونه

عام 2000، أنشأ معهد Clay للرياضيات قائمة مسائل الألفية: 7 مسائل مفتوحة، كل واحدة مخصص لها 1 000 000 دولار أمريكي لمن يحلها. فرضية ريمان من بينها.

من هذه المسائل السبع، حُلت واحدة فقط: حدسية Poincaré، من طرف Grigori Perelman عام 2003. رفض المليون وميدالية Fields المقترحة عليه. الست الأخرى (ومنها ريمان) لا تزال في الانتظار.

الدرس بالنسبة لك (باكالوريا العلوم الرياضية)

فرضية ريمان ليست مسألة ستبرهنها نهاية هذا الأسبوع. لكن التاريخ يعلمنا:

• صياغة مسألة قد تكون بسيطة، لكن البرهان قد يستغرق قروناً.
• التحقق العددي لا يحل محل البرهان الصوري (الخطأ القاتل لتلميذ في الباكالوريا: «تحققت من n=1, 2, 3، إذن هي صحيحة»).
• الرياضيات علم حي: توجد مسائل مفتوحة في كل مستوى (من الإعدادي إلى البحث). يمكنك المساهمة فيها.

انظر أيضاً: طريقة الترجع، الحسابيات باكالوريا العلوم الرياضية، تحرير برهان رياضي.