🎛️ ابحث عن كل الأعداد الأولية التوأم ≤ N
حرّك N لاكتشاف عدد الأزواج الأولية (p, p+2). كل الأعداد التوأم ≥ (5,7) لها الشكل (6k−1, 6k+1).
الأعداد التوأم الموجودة
35
آخر زوج ≤ N
(881, 883)
تقدير هاردي
≈ 30.5
N = 1 000 : تم العثور على 35 زوجا من الأعداد التوأم. تقدير هاردي-ليتلوود يتوقع 30.5 (دقيق نسبيا).
👯 أبسط تعريف في العالم
عددان أوليان p و p+2 يشكلان زوجا توأما إذا كان كلاهما أوليا. بعض الأمثلة:
- (3, 5)
- (5, 7)
- (11, 13)
- (17, 19)
- (29, 31)
- (41, 43)
- (59, 61)
- (71, 73)
- ...
- (2 996 863 034 895 ± 1) — أكبر زوج معروف منذ 2016، بـ 388 342 رقما
تخمين الأعداد الأولية التوأم
يوجد عدد لا نهائي من الأزواج (p, p+2) حيث p و p+2 عددان أوليان.
📜 سؤال عمره 2300 سنة
إقليدس (حوالي 300 قبل الميلاد) برهن على وجود عدد لا نهائي من الأعداد الأولية (« الأعداد الأولية عددها لا نهائي »). برهانه بالخلف هو أحد أكثر البراهين أناقة في الرياضيات.
لكن إقليدس لم يجب أبدا: هل يوجد عدد لا نهائي من الأزواج (p, p+2)؟ السؤال لا يزال بلا جواب منذ ذلك الحين. إنه أحد أقدم التخمينات المفتوحة في الرياضيات.
🚀 2013: تشانغ يضرب بقوة
لعقود، بدت المسألة مستعصية تماما. لم تكن أي طريقة معروفة تحقق أي تقدم. ثم، في ماي 2013، يحدث المذهل.
ييتانغ تشانغ، عالم رياضيات صيني-أمريكي عمره 58 سنة، أستاذ في جامعة صغيرة في نيو هامبشير (غير معروفة)، ينشر بحثا في Annals of Mathematics. عنوانه: « Bounded gaps between primes » (فجوات محدودة بين الأعداد الأولية).
نتيجته: يوجد عدد لا نهائي من أزواج الأعداد الأولية يفصل بينها على الأكثر 70 000 000. أي أنه يوجد ثابت C ≤ 70 000 000 بحيث يوجد عدد لا نهائي من الأزواج الأولية (p, q) مع q − p ≤ C.
📉 سباق الحد: 70 مليون → 6
بمجرد تجاوز حاجز الـ 70 مليون، تسابق علماء الرياضيات في العالم كله لتقليص الحد. المشروع التعاوني عبر الإنترنت Polymath، الذي أطلقه تيرنس تاو، قلّص الحد في بضعة أسابيع:
- ماي 2013 — تشانغ: C ≤ 70 000 000
- يونيو 2013 — Polymath: C ≤ 12 006
- يوليوز 2013: C ≤ 4 680
- نونبر 2013 — ماينارد وتاو بشكل مستقل: C ≤ 600 (بطريقة مختلفة).
- ماي 2014 — Polymath: C ≤ 246.
الحد الحالي: C ≤ 246. الهدف النهائي هو C = 2 — الذي يبرهن مباشرة تخمين الأعداد التوأم. لكن للانتقال من 246 إلى 2، نحتاج إلى فكرة جديدة جذريا غير معروفة بعد.
💎 ثابت برون (1919): برهان غريب
إذا افترضنا صحة التخمين، فإن مجموع مقلوبات الأعداد التوأم هو:
B = (1/3 + 1/5) + (1/5 + 1/7) + (1/11 + 1/13) + ... ≈ 1.902 160 583 104 ...
برهن برون سنة 1919 أن هذا المجموع يتقارب (ثابت منته). إنه برهان غير مباشر على أن الأعداد التوأم « نادرة » — أندر بكثير من الأعداد الأولية العادية (التي يتباعد مجموع ∑ 1/p الخاص بها).
النتيجة: حتى لو كان هناك عدد لا نهائي من الأعداد التوأم، فإنها تمثل جزءا مهملا من كل الأعداد الأولية. كثافة الأعداد التوأم تتناقص أسرع بكثير من كثافة الأعداد الأولية.
🎯 تخمين هاردي-ليتلوود (1923)
في 1923، خمّن هاردي و ليتلوود صيغة أدق:
π₂(N) ~ 2·C₂·N / (ln N)²
حيث π₂(N) = عدد أزواج الأعداد التوأم ≤ N، و C₂ ≈ 0.6601 هو ثابت الأعداد التوأم.
هذا التخمين غير مبرهن، لكنه متحقق منه عدديا بدقة ملحوظة. بعض القيم:
- π₂(10⁵) = 1 224، تقدير ≈ 1 249 (خطأ 2%)
- π₂(10⁹) = 3 424 506، تقدير ≈ 3 425 308 (خطأ 0.02%)
- π₂(10¹⁴) = 1 870 585 220 ...، تقدير ممتاز
🌍 الرهانات العملية
لماذا نهتم بالأعداد الأولية التوأم عمليا؟
- التعمية: إذا تم البرهان على التخمين وكان لدينا صيغة دقيقة لـ π₂(N)، سنعرف كم من أزواج الأعداد الأولية المتقاربة متاحة لبعض الأنظمة التعموية.
- توليد أعداد أولية عشوائية: اختبار ما إذا كان عدد أولي كبير يقبل « توأما » هو حالة جزئية من مسائل أوسع حول كثافة الأعداد الأولية.
- النظرية التحليلية للأعداد: ترتبط الأعداد التوأم بتخمين باتمان-هورن، الذي يعمم الفرضية على كل أزواج كثيرات الحدود (p, p+2k).
🏆 الجوائز والتقدير
حصل تشانغ على منحة ماك آرثر سنة 2014 (« منحة العبقري ») و جائزة كول سنة 2014. أصبح أستاذا في جامعة كاليفورنيا سانتا باربارا. اختراقه أصبح الآن أحد أكثر القصص إلهاما في الرياضيات الحديثة: عالم رياضيات مغمور، بعد عقود من العمل المنفرد، يحقق أكبر تقدم في المجال منذ 100 سنة.
جيمس ماينارد، الذي قلّص الحد بشكل مستقل إلى 600 (ثم لاحقا إلى 246 ضمن فريق)، حصل على ميدالية فيلدز سنة 2022 لمساهماته في النظرية التحليلية للأعداد.
📐 العلاقة ببرنامجك
تستدعي الأعداد التوأم مفاهيم أولية في متناول البكالوريا علوم رياضية:
- الأعداد الأولية (برنامج الحسابيات الثانية باكالوريا علوم رياضية).
- القابلية للقسمة على 2، 3، 6: كل زوج توأم (p, p+2) مع p ≥ 5 يجب أن يحقق p ≡ −1 (mod 6) و p+2 ≡ +1 (mod 6).
- الموافقات بترديد (الثانية باكالوريا علوم رياضية، باب الحسابيات): الأعداد التوأم ≥ 5 لها الشكل (6k − 1, 6k + 1).
- اللوغاريتم: كثافة الأعداد التوأم هي 1/(ln N)²، مقارنة بـ 1/ln(N) بالنسبة للأعداد الأولية العادية.
🌟 خاصية مدهشة
باستثناء (3, 5)، كل أزواج الأعداد التوأم (p, p+2) مع p ≥ 5 تحقق:
العدد المحصور بين p و p+2 يقبل القسمة على 6
مثال: بين 11 و 13 يوجد 12 = 6×2. بين 17 و 19 يوجد 18 = 6×3. بين 29 و 31 يوجد 30 = 6×5. البرهان سهل: إذا كان p ≥ 5، فإن p فردي (وإلا كان p زوجيا > 2، وبالتالي غير أولي)، و p, p+1, p+2 ثلاثة أعداد صحيحة متتالية، فأحدها يقبل القسمة على 3. وبما أن p و p+2 أوليان > 3، فإن p+1 هو الذي يقبل القسمة على 3. و p+1 زوجي (محصور بين عددين فرديين). إذن p+1 يقبل القسمة على 2 و 3، وبالتالي على 6.