🎛️ فكّك أي عدد زوجي إلى مجموع عددين أوليين
حرّك المؤشر. كل الأعداد الزوجية ≥ 4 لها (على الأقل) تفكيك غولدباخ واحد. عدد التفكيكات يزداد مع n.
التفكيكات
6
الأول
3 + 97
تم التحقق حتى
4 · 10¹⁸
n = 100 : 6 تفكيكات إلى مجموع عددين أوليين. الأول: 3 + 97. زِد n لمشاهدة «مذنّب غولدباخ».
✉️ 1742: رسالة إلى أويلر
في 7 يونيو 1742، كتب عالم الرياضيات كريستيان غولدباخ (1690-1764)، المقيم في روسيا، رسالة إلى صديقه ليونهارد أويلر. اقترح فيها ملاحظة: « يبدو لي أن كل عدد صحيح أكبر من 2 يمكن كتابته كمجموع ثلاثة أعداد أولية ».
ردّ أويلر في يونيو 1742 بإعادة صياغتها: « اقتراحك يكافئ القول إن كل عدد زوجي أكبر من أو يساوي 4 هو مجموع عددين أوليين ». وأضاف: « أعتبر هذا مبرهنة مؤكدة تمامًا، دون أن أتمكن من برهنتها ».
تخمين غولدباخ (الصيغة القوية)
∀ n pair ≥ 4, ∃ p, q premiers tels que n = p + q.
تحقّق من الأمثلة الأولى:
- 4 = 2 + 2 ✓
- 6 = 3 + 3 ✓
- 8 = 3 + 5 ✓
- 10 = 3 + 7 = 5 + 5 ✓ (تفكيكان)
- 12 = 5 + 7 ✓
- 14 = 3 + 11 = 7 + 7 ✓
- 16 = 3 + 13 = 5 + 11 ✓
- …
- 100 = 3 + 97 = 11 + 89 = 17 + 83 = 29 + 71 = 41 + 59 = 47 + 53 ✓ (6 تفكيكات)
🔍 الوضع الحالي: شبه صحيح، لكنه لم يُبرهن قط
ما تم برهنته (تقريبات)
- تخمين غولدباخ الضعيف: كل عدد فردي ≥ 7 هو مجموع 3 أعداد أولية. بُرهن من طرف هيلفغوت سنة 2013 بعد 271 سنة من الجهود.
- مبرهنة فينوغرادوف (1937): تقريبًا كل الأعداد الزوجية هي مجموع عددين أوليين — بالنسبة للأعداد « الكبيرة بما يكفي ».
- مبرهنة تشِن (1973): كل عدد زوجي كبير بما يكفي هو مجموع عدد أولي وعدد له على الأكثر عاملان أوليان (« شبه عددين أوليين »).
ما تم التحقق منه بالحاسوب
في 28 دجنبر 2013، تم التحقق من التخمين القوي بالنسبة لـ كل الأعداد الزوجية حتى 4 · 10¹⁸. وهذا يعني:
4 000 000 000 000 000 000
4 ملايير من ملايير. ومع ذلك، فهذا ليس برهانًا. قد يكون هناك دائمًا عدد زوجي أكبر يشكل مثالًا مضادًا. يبقى تخمين غولدباخ مفتوحًا.
🌌 « مذنّب غولدباخ »: تصوّر أسطوري
إذا رسمت، لكل عدد زوجي n، عدد التفكيكات g(n) إلى مجموع عددين أوليين، فستحصل على مبيان مذهل. سحابة النقط ترسم شكل مذنّب — ومن هنا جاء الاسم « مذنّب غولدباخ ».
- بالنسبة لـ n = 100 : g(n) = 6 تفكيكات.
- بالنسبة لـ n = 1 000 : g(n) ≈ 28.
- بالنسبة لـ n = 10 000 : g(n) ≈ 127.
- بالنسبة لـ n = 100 000 : g(n) ≈ 650.
خمّن هاردي وليتلوود سنة 1923 صيغة مقاربة:
g(n) ~ 2·C₂·n / (ln n)²
حيث C₂ ≈ 0.6601 هو ثابت الأعداد الأولية التوأم. إنه ارتباط مدهش بين غولدباخ والأعداد الأولية التوأم.
🚧 عوائق البرهنة
لماذا يقاوم تخمين غولدباخ منذ 283 سنة؟
- غولدباخ يتعلق بجمع الأعداد الأولية، في حين أن الأعداد الأولية مُعرّفة بواسطة الضرب (العدد الأولي ليس له سوى 1 ونفسه كقاسمين). إننا نفتقر إلى الأدوات الرياضية للربط بين العمليتين.
- الطرق التحليلية لـ طريقة الدائرة لهاردي-ليتلوود تعطي غولدباخ بالنسبة للأعداد الزوجية « الكبيرة »، لكن ليس لكلها.
- فرضية ريمان المعممة تستلزم غولدباخ، لكنها هي الأخرى تبقى مفتوحة.
🏆 جائزة غولدباخ
ليس غولدباخ ضمن قائمة مسائل الألفية السبع لمعهد كلاي، لذلك لا توجد جائزة بمليون دولار لحلّه.
لكن سنة 2000، عرض الناشر البريطاني فابر آند فابر مليون جنيه إسترليني مقابل برهان، كحملة ترويجية لرواية « العم بيتروس وتخمين غولدباخ » لأبوستولوس دوكسياديس. انتهى العرض سنة 2002. لم يطالب به أحد.
📐 الرابط مع برنامجك
يستدعي غولدباخ مفاهيم في متناول البكالوريا علوم رياضية:
- الأعداد الأولية (برنامج الثانية بكالوريا علوم رياضية، فصل الحسابيات): المفهوم الأساسي.
- غربال إراتوستينس: خوارزمية كلاسيكية لتعداد الأعداد الأولية.
- البراهين بالترجع: تقنية معيارية، حتى وإن كانت لا تكفي هنا.
- المجاميع والتفكيكات: الاستدلال على مجاميع عددين ينتميان إلى مجموعة معطاة.
🎯 المتغيّرات والامتدادات
- تخمين غولدباخ القوي: كل عدد زوجي ≥ 4 = مجموع عددين أوليين (الصيغة الكلاسيكية).
- تخمين غولدباخ الضعيف: كل عدد فردي ≥ 7 = مجموع 3 أعداد أولية (بُرهن سنة 2013).
- تخمين ليفي: كل عدد فردي ≥ 7 = عدد أولي + 2·عدد أولي.
- تخمين لوموان: كل عدد فردي ≥ 5 = عدد أولي + 2·عدد أولي (متغيّر).
📐 قوة غولدباخ بيداغوجيًا
غولدباخ هو على الأرجح أجمل مسألة لتدريس نظرية الأعداد. نصّه مفهوم لدى طفل في العاشرة من عمره. التحقق العددي منه يُشغّل كل المفاهيم الأساسية (الأولية، الغربال، التعقيد). وحالته « المفتوحة » تُظهر أن الرياضيات علم حيّ.