Lagrida

حدسية غولدباخ

رغم التقدم الملحوظ في الرياضيات, وظهور وسائل وفروع جديدة في الرياضيات, إلا أنه ما زالت توجد العديد من المسائل المفتوحة اليوم التي عجز علماء الرياضيات عن حلها ومن بينها حدسية غولدباخ.



حدسية غولدباخ

حدسية غولدباخ هي واحدة من المسائل المفتوحة في نظرية الأعداد والتي ظلت مستعصية على الحل منذ قرون وحتى الآن!

نص الحدسية : يمكن التفريق بين حدسيتين للفرضية

حدسية غولدباخ القوية :

كل عدد زوجي أكبر من $\displaystyle{\displaylines{4}}$ يمكن كتابته على شكل مجموع عددين أوليين.


حدسية غولدباخ الضعيفة :

كل عدد فردي أكبر من $\displaystyle{\displaylines{7}}$ يمكن كتابته على شكل مجموع ثلاثة أعداد أولية.


مثال لكتابة أعداد زوجية على شكل مجموع عددين أوليين
مثال لكتابة أعداد زوجية على شكل مجموع عددين أوليين.

سبب تسمية الحدسية الثانية بالـ"ضعيفة" ناتج عن أنها نتيجة مباشرة للحدسية الأولى إذا ما تم إثباتها.

لدينا : إذا كان كل عدد زوجي يساوي مجموع عددين أوليين, وبأخذ عدد فردي : فإنه يساوي $\displaystyle{\displaylines{3}}$ زائد عدد زوجي والذي بدوره يساوي مجموع عددين أوليين. و بالتالي عدد فردي يساوي مجموع ثلاثة أعداد أولية.

لكن لاحظ أن الحدسية الضعيفة لغولدباخ لا تستلزم بالضرورة القوية.

إن كتابة عدد صحيح سواء داخل حدسية غولدباخ القوية أو الضعيفة ليست بالضرورة وحيدة, لهذا غالبا ما نجد هذه الحدسية بجانب حدسية أخرى تقول أنه وإذا اعتبرنا $\displaystyle{\displaylines{R(n)}}$ عدد الطرق الممكنة لكتابة العدد الزوجي $\displaystyle{\displaylines{n}}$ على شكل مجموع عددين أوليين, فإن :

$\displaystyle{\displaylines{R(n) \sim 2 C_2 \left(\prod_{\substack{ p | n \\ p \geq 3 }} \frac{p-1}{p-2}\right) \frac{n}{\ln(n)^2}}}$


بحيث $\displaystyle{\displaylines{C_2}}$ ثابتة الأعداد الأولية التوأم : $\displaystyle{\displaylines{C_2 = \prod_{\text{p premier} \, p \geq 3} \left(1- \frac{1}{(p-1)^2} \right) = 0.660161....}}$

تاريخ الحدسية

Christian Goldbach
Christian Goldbach

أصل الحدسية يعود للعام 1742 عندما أرسل كريستيان غولدباخ رسالة إلى العالم الألماني المشهور ليونهارد أويلر يقترح فيها العبارة التالية :

كل عدد أكبر من $\displaystyle{\displaylines{2}}$ يمكن كتابته على شكل مجموع ثلاثة أعداد أولية.


في تلك الحقبة كان كريستيان غولدباخ يعتبر $\displaystyle{\displaylines{1}}$ عدد أولي.

وفي رده على الرسالة أوضح ليونهارد أويلر أن الأمر يعود للعبارة التالية :

كل عدد زوجي يمكن كتابته على شكل مجموع عددين أوليين.


دون أن يستطيع أويلر أو أي أحد من بعده من إثباتها..

التحقق الرقمي

التحقق الرقمي هو وسيلة لاختبار خطأ الفرضية, إذ يكفي إيجاد مثال مضاد واحد لتفنيد الفرضية.

في سنة $\displaystyle{\displaylines{2013}}$ قاد التحقق الرقمي لحدسية غولدباخ إلى النتيجتين التاليتين :
  • تم التحقق من صحة حدسية غولدباخ القوية حتى العدد $\displaystyle{\displaylines{4 \cdot 10^{18}}}$.


  • تم التحقق من صحة حدسية غولدباخ الضعيفة حتى العدد $\displaystyle{\displaylines{8.875 \cdot 10^{30}}}$.

نتائج حول الحدسية

بعد صياغة الحدسية عام 1742, كانت الوسائل الرياضية المتاحة آنذاك غير قادرة على التعامل مع مسألة مثل هذه رغم سهولة المصطلحات المستخدمة فيها..

وكان لابد من الإنتظار حتى بداية القرن العشرين مع تطور التحليل العقدي وظهور طريقة الغرابيل (sieve method) على يد العالم النرويجي Viggo Brun, لتتوالى النتائج بعد ذلك بتطور هذه الوسائل ...

فيما يلي سوف نضع الخط الزمني لأهم النتائج المحصلة والقريبة من الحدسية :

1920 - Viggo Brun :

كل عدد زوجي كبير كفاية هو مجموع عددين لهما على الأكثر $\displaystyle{\displaylines{9}}$ عوامل أولية.


ملاحظة : كبير كفاية تعني أن الخاصية صحيحة من أجل الأعداد الأكبر من ثابتة $\displaystyle{\displaylines{C}}$ (غالبا تكون قيمة $\displaystyle{\displaylines{C}}$ خيالية جدا ).

1923 - Hardy و Littlewood :

بافتراض صحة بعض من تعميمات فرضية ريمان استطاع العالمان الرياضيان Hardy و Littlewood من إثبات :

كل عدد فردي كبير كفاية هو مجموع ثلاثة أعداد أولية.


لاحظ أن هذا البرهان لا يمكن الأخذ به لأن فرضية ريمان لم يتم إثباتها بعد, بالإضافة إلى أنه صالح فقط بالنسبة لأعداد تتجاوز ثابتة $\displaystyle{\displaylines{C}}$, بحيث $\displaystyle{\displaylines{C}}$ كبير جدا..

1924 - Hans Rademacher :

استطاع Hans تحسين نتيجة Brun

كل عدد زوجي كبير كفاية هو مجموع عددين لهما على الأكثر $\displaystyle{\displaylines{7}}$ عوامل أولية.


1933 - Lev Schnirelmann :

يوجد عدد $\displaystyle{\displaylines{k}}$ بحيث كل عدد صحيح طبيعي أكبر من $\displaystyle{\displaylines{2}}$ هو مجموع $\displaystyle{\displaylines{k}}$ عدد أولي على الأكثر.


1937 - Ivan Vinogradov :

كل عدد فردي كبير كفاية هو مجموع ثلاثة أعداد أولية.


لاحظ أن هذه الخاصية صحيحة من أجل جميع الأعداد الأكبر من ثابثة $\displaystyle{\displaylines{C}}$.

نتيجة Vinogradov كانت مذهلة, فلأول مرة يستطيع أحد إثبات حدسية غولدباخ الضعيفة من أجل أعداد كبيرة..

منذ Vinogradov استطاع علماء الرياضيات تحسين الثابتة $\displaystyle{\displaylines{C}}$.

وأصغر ثابتة تمت البرهنة عليها $\displaystyle{\displaylines{C = e^{3100} > 10^{1346}}}$ وهو رقم خيالي جدا جدا, حيث يمكنك ملاحظة أن عدد البروتونات الموجودة في مجرة درب التبانة مضروبة في عدد البيكو-ثانية المعدودة منذ الإنفجار العظيم إلى الآن أصغر من $\displaystyle{\displaylines{10^{110}}}$ !

من أجل إثبات حدسية غولدباخ الضعيفة يجب التحقق من صحتها في المجال $\displaystyle{\displaylines{[7, C=10^{1346}]}}$ وهو أمر مستحيل بالحواسيب الحالية حيث وصل التحقق من حدسية غولدباخ الضعيفة سنة $\displaystyle{\displaylines{2013}}$ إلى $\displaystyle{\displaylines{8.875 \times 10^{30}}}$ !

مبرهنة Vinogradov تدل على أن حدسية غولدباخ الضعيفة إذا كانت خاطئة فمن أجل أعداد محدودة فقط.

1947 - Alfréd Rényi :

توجد ثابتة $\displaystyle{\displaylines{k}}$ بحيث أي عدد زوجي يكتب على شكل مجموع عدد أولي وعدد يقبل على الأكثر $\displaystyle{\displaylines{k}}$ عامل أولي.


1951 - Yuri Linnik :

توجد تابثة $\displaystyle{\displaylines{k}}$ بحيث كل عدد زوجي كبير كفاية هو مجموع عددين أوليين و $\displaystyle{\displaylines{k}}$ عدد كل منهم $\displaystyle{\displaylines{2}}$ اس عدد.


1959 - Andrzej Schnizel :

إذا كانت حدسية غولدباخ صحيحة, فإن كل عدد صحيح أكبر من $\displaystyle{\displaylines{17}}$ هو مجموع ثلاثة أعداد أولية مختلفة.


1966 - Chen Jingrun :

كل عدد زوجي كبير كفاية هو مجموع عدد أولي و عدد له عاملان أوليان على الأكثر.


1969 - Klimov :

إعطاء أول مثال لثابتة Schnirelman (1933) $\displaystyle{\displaylines{k =115}}$ .


تم تحسين ثابتة Schnirelman وهي الآن تساوي $\displaystyle{\displaylines{k = 19}}$.

1975 - Montgomery و Vaughan :

تقريبا, كل الأعداد الزوجية تكتب على شكل مجموع عددين أوليين.


1995 - Olivier Ramaré :

كل عدد زوجي هو مجموع $\displaystyle{\displaylines{6}}$ أعداد أولية على الأكثر.


1995 - Kaniecki :

بافتراض صحة فرضية ريمان, كل عدد زوجي هو مجموع $\displaystyle{\displaylines{4}}$ أعداد أولية على الأكثر.


1997 - Deshouillers و Effinger و Riele و Zinoviev :

فرضية ريمان المعممة تثبت حدسية غولدباخ الضعيفة إذا صحت.


2002 - Heath-Brown و Schlage-Puchta :

ثابتة Linnik (1951) $\displaystyle{\displaylines{k=13}}$


2003 - Pintz و Ruzsa :

ثابتة Linnik (1951) $\displaystyle{\displaylines{k=8}}$


2012 - Terence Tao :

كل عدد فردي هو مجموع $\displaystyle{\displaylines{5}}$ أعداد أولية على الأكثر.


2013 - Harald Helfgott:

أخيرا تم إثبات حدسية غولدباخ الضعيفة.

كل عدد فردي كبير كفاية هو مجموع $\displaystyle{\displaylines{3}}$ أولية.


الخاصية أعلاه صحيحة من أجل جميع الأعداد الأكبر من $\displaystyle{\displaylines{10^{30}}}$, في حين تم التحقق من الأعداد الأصغر من ذلك بواسطة الحواسيب, وبهذا تم إثبات حدسية غولدباخ الضعيفة.

وبهذا يكون العالم البيروفي Harald Helfgott قد أنهى مشوارا طويلا في محاولة إثبات الحدسية الضعيفة .. في حين أن الطريق ما يزال طويلا أمام الحدسية القوية..


خلاصة

رغم سهولة فهم نص الحدسية, إلا أن محاولة البرهنة عليها بالدليل الرياضي ليست أبدا بتلك السهولة...ما يطرح الكثير من الأسئلة حول ماهية بعض الفرضيات التي تستعصي على الحل, رغم مشاركة العديد من العلماء المرموقين في محاولة حلها.

إن النتائج المحصل عليها أعلاه تستعمل أساليب معقدة للوصول إليها وتعتمد أساسا على التحليل العقدي وبعض الدوال الحسابية (fonctions arithmétiques), وغالبا ما يكون البرهان طويلا ومعقدا وأحيانا يعتمد على فرضيات أخرى لم يتم إثباتها بعد مثل فرضية ريمان.

طريقة حل حدسية غولدباخ الضعيفة, التي تمت فيها المزاوجة بين البرهان الرياضي والتحقق الرقمي تثبت أهمية الحواسيب في المسائل الرياضية وضرورة زيادة سرعتها وأدائها للوصول لأرقام أكثر ضخامة..

بعد حل فرضية غولدباخ الضعيفة, لا زال الطريق طويلا للبرهان على فرضية غولدباخ القوية, حيث أحسن نتيجة محصلة تعود إلى Chen (1966) الذي أثبت أن كل عدد زوجي كبير كفاية هو مجموع عدد أولي وعدد له عاملان أوليان على الأكثر..

التعليقات :
Hassan Hassanamin Bennour
03/08/2020 07:14
مقال جميل ،الله المعين
Abdelhay Ben Moussa
11/09/2020 09:03
رائع
ibrahim daoud ibrahim fakhouri
30/05/2023 20:04
؟هل يمكن ارسال برهان حدسيةعلى هذا الموقع
Lagrida - المدير -
18/06/2023 04:13
برهان حدسية ؟ أشك في ذلك (وجود برهان)
Thamer
23/06/2023 15:01
https://fb.watch/llMfxXAqoS/?mibextid=Nif5oz
ibrahim daoud ibrahim fakhouri
29/06/2023 01:04
النتيجة هي ان العدد الزوجي N هو مجموع عددين اوليين وهو نص حدسية غولدباخ القوية.
ibrahim daoud ibrahim fakhouri
29/06/2023 01:05
لنفرض ان p و q عدين اوليين وان n, n1, n2 اعدد زوجية, من البديهي انه عند ضرب عدد اولي (وهو عدد فردي) في 2 تكون النتيجة عدد زوجي, اي ان:
2xp=n1……………. (1)
2xq=n2……………. (2)
بجمع المعادلتين (1) و (2) نحصل على:
n1+n2=2p+2q……… (3)
مجموع العددين الزوجيين n1 و n2 هو عدد زوجي جديد n :
n=n1+n2
وبالتالي تصبح المعادلة (3) على الشكل التالي:
n=2p+2q……….… (4)
لنقسم المعادلة (4) على 2 :
n/2=p+q……….… (5)
مع ملاحظة ان تقسيم العدد الزوجي n هنا لن يعطي عددا فرديا (لانه ناتج عن ضرب عدد فردي في 2 ) لانه مجموع عددين زوجيين وبالتالي سيكون ناتج القسمة زوجي.
بفرض ان N=n/2 حيث N عدد زوجي جديد تصبح المعادلة (5) :
N=p+q
النتيجة هي ان العدد الزوجي N هو مجموع عددين اوليين وهو نص حدسية غولدباخ القوية.
Lagrida - المدير -
30/06/2023 13:39
السلام عليكم ..
ما قمت بالبرهان عليه هو أن مجموع عددين أوليين $\displaystyle{\displaylines{p, q}}$ أكبر من $\displaystyle{\displaylines{3}}$ هو عدد زوجي ..
أما المطلوب من حدسية غولدباخ هو إثبات أنه إذا أخذنا أي عدد زوجي كيفما كان فإنه يوجد عددين أوليين بحيث مجموعهما يساوي ذلك العدد الزوجي ..
صعوبة هذه الحدسية في نفس صعوبة حدسية لانهائية الأعداد الأولية التوأم ..
هذه المسألة بالغة التعقيد وكما قال العالم الرياضي بول إيردوس فإن الرياضيات الحالية غير قادرة على حل مسائل من هذا النوع
ibrahim daoud ibrahim fakhouri
29/06/2023 01:06
هل هذا اثبات للحدسية وذا لم يكن اثباتا ارجو التكرم بالتوضيح مشكورا
ibrahim daoud ibrahim fakhouri
30/06/2023 23:23
بالغ الشكر والامتنان على ردك القيم جدا
Benzineb houssyn
20/12/2023 15:03
الحدسية صحيحة الى غاية 10^10^675
حيث في هذة النقطة كل رياضيات التي نعلمها تنهار
حدسية ريمان و غوابرادج و توأم الاولي كلها هنا تنهار
إضافة تعليق