مسلمة جولدباخ

 مسلمة جولدباخ:

في السابع من يوليو، عام 1742، كتب عالم الرياضيات ذو الأصل الألماني غولدباخ رسالة إلى أويلر جاء فيها:

كل عدد زوجي أكبر من 6 يساوي حاصل مجموع عددين أوليين فرديين.

كل عدد فردي أكبر من 9 يساوي حاصل مجموع ثلاثة أعداد أولية فردية.

وبشكل واضح الحدسية الثانية يمكن اشتقاقها من الأولى وذلك لأنه يمكن كتابة كل عدد فردي بالشكل التالي:     2 n + 1 = 3 + ( 2 n − 2 )   {\displaystyle 2n+1=3+(2n-2)}  {\displaystyle 2n+1=3+(2n-2)}،  وقد عبر أويلر عن إيمانه بصحة هذه الحدسية ولكنه لم يستطع أن يقدم برهانا،  وقد تم فحص هاتين الحدسيتين على مر السنين بالطرق العددية مثال: شين موك  كونج فحص الحدسية حتى العدد     33 ⋅  10  6     {\displaystyle 33\cdot 10^{6}}  {\displaystyle 33\cdot 10^{6}} وقد وصل كل من لايت وفوريس وهاموند وروي إلى      10  8     {\displaystyle 10^{8}}  {\displaystyle 10^{8}} وفي عام 1998 وصل الحد إلى      10  14     {\displaystyle 10^{14}}  {\displaystyle 10^{14}}.

وفي الخطاب المشهور في اجتماع كونغرس الرياضيات الذي أقيم في باريس  عام 1900، أعلن هيلبرت 23 مسألة غير محلولة والتي يجب أن يعمل عليها  الرياضياتيون في القرن ال-20 وقد تم ذكر هذه المسألة من ضمن المسائل، وفي  عام 1912 أعلن لاندو عن أربعة مسائل في نظرية الأعداد الأولية من ضمنها  حدسية غولدباخ والتي لا يوجد لها حل وذلك ضمن خطابه في اجتماع كونغرس  الرياضيات الخامس والذي عقد في كامبريج. في عام 1921 أعلن هاردي في خطابه أمام المجتمع الرياضياتي في كوبنهاغن أن المسألة ليست فقط من أصعب المسائل في نظرية الأعداد ولكن في كل الرياضيات.

وفي عشرينيات القرن العشرين حدث تقدم ملحوظ على المسألة حيث أن  قبلها لم تكن هناك وسائل البتة لحل المسألة وقد تركز البحث على فحص الأعداد  أوفي بعض الأحيان كتابة حدسيات جديدة مشتقة من الحدسية. وقد كانت الوسيلة  الجديدة تسمى "طريقة الدائرة" وقد استخدمها الرياضياتيان هاردي وليتل-وود في عام 1923 أن كل عدد فردي كبير هو مجموع ثلاثة أعداد أولية فردية  وتقريبا كل عدد زوجي هو مجموع عددين أوليين فرديين وتم ذلك بافتراض أن  حدسية ريمان الموسعة صحيحة. وقد كان الرياضياتي النرويجي برون بواسطة وسيلة الغربال عام 1919 قد توصل إلى أن كل عدد زوجي كبير هو مجموع عددين بحيث أن كل منها  يمكن تفكيكه ل-9 عوامل أولية على الأكثر، وفي 1930 نجح العالم الروسي لييف شنايرلمان بالتوصل إلى نظرية مهمة في نظرية الأعداد المتطرقة إلى المجاميع وهي: يوجد عدد c صحيح حيث كل عدد صحيح أكبر من 2 هو مجموع c أعداد أولية على الأكثر.

وفي عام 1937 نجح العالم الروسي فينوغرادوف في ازالة العلاقة مع نظرية ريمان الموسعة وذلك بواسطة "طريقة الدائرة"  وأيضا بواسطة طريقته المبتكرة لتقريب المجموع الأسي على الاعداد الاولية  (وهو     S =  ∑  p ≤ P    e  2 π i f ( p )     {\displaystyle S=\sum _{p\leq P}e^{2\pi if(p)}}  {\displaystyle S=\sum _{p\leq P}e^{2\pi if(p)}}) ونجح ببرهنة ما تم سابقا بواسطة ليتيل-وود وهاردي ولكن دون الحاجة لنظريات ريمان.

وبعد تطورات عديدة على "وسيلة الغربال" التي طورها برون نجح العالم الصيني تشين جن رن في عام 1966 نجح بالتوصل إلى أن كل عدد زوجي هو مجموع عدد أولي وعدد آخر لديه عاملان أوليان على الأكثر.

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

مسائل معممة

يمكن تعميم حدسية غولدباخ بشكل يسمح بدراسة مسألة أكثر شمولية بحيث هذه المسألة يمكن ان يتفرع منها مسائل اخرى هي أيضا مهمة:

مسألة 1: فلتكن     A   {\displaystyle A}  A مجموعة جزئية ل-      N    {\displaystyle \mathbb {N} }  {\displaystyle \mathbb {N} } وليكن     s   {\displaystyle s}  {\displaystyle s} عدد صحيح، ما هي المجموعة:     {  a  1   + ⋯ +  a  s   :  a  i   ∈ A } ∩  N    {\displaystyle \{a_{1}+\cdots +a_{s}:a_{i}\in A\}\cap \mathbb {N} }  {\displaystyle \{a_{1}+\cdots +a_{s}:a_{i}\in A\}\cap \mathbb {N} }.

مسألة 2: فلتكن      A  1   , ⋯  A  s     {\displaystyle A_{1},\cdots A_{s}}  {\displaystyle A_{1},\cdots A_{s}} مجموعة جزئية ل-      N    {\displaystyle \mathbb {N} }  {\displaystyle \mathbb {N} }، ما هي المجموعة:     {  a  1   + ⋯ +  a  s   :  a  i   ∈  A  i   } ∩  N    {\displaystyle \{a_{1}+\cdots +a_{s}:a_{i}\in A_{i}\}\cap \mathbb {N} }  {\displaystyle \{a_{1}+\cdots +a_{s}:a_{i}\in A_{i}\}\cap \mathbb {N} }.

يمكن اشتقاق مسائل مهمة من هذه المسائل وهي كالتالي:

حدسية غولدباخ: إذا اخترنا     A = P   {\displaystyle A=P}  {\displaystyle A=P} اي أننا اخترنا مجموعة الاعداد الاولية الموجبة واخترنا     s = 2   {\displaystyle s=2}  {\displaystyle s=2} حينها المسألة 1 تكون كالتالي:     {  p  1   +  p  2   :  p  i       prime   } ∩  N    {\displaystyle \{p_{1}+p_{2}:p_{i}\ {\mbox{prime}}\}\cap \mathbb {N} }  {\displaystyle \{p_{1}+p_{2}:p_{i}\ {\mbox{prime}}\}\cap \mathbb {N} } والتي حسب حدسية غولدباخ تضم كل الاعداد الزوجية أكبر من 2.

نظرية فينوجرادوف: إذا اخترنا     A = P   {\displaystyle A=P}  {\displaystyle A=P} اي أننا اخترنا مجموعة الاعداد الاولية الموجبة واخترنا     s = 3   {\displaystyle s=3}  {\displaystyle s=3} حينها المسألة 1 تكون كالتالي:     {  p  1   +  p  2   +  p  3   :  p  i       prime   } ∩  N    {\displaystyle \{p_{1}+p_{2}+p_{3}:p_{i}\ {\mbox{prime}}\}\cap \mathbb {N} }  {\displaystyle \{p_{1}+p_{2}+p_{3}:p_{i}\ {\mbox{prime}}\}\cap \mathbb {N} } وهي تضم حسب نظرية فينوجرادوف كل الاعداد الفردية الكبيرة كفاية.

طور العلمان هاردي وليتل-وود طريقة الدائرة للتعامل مع هذا النوع من المسائل وقد لاقت هذه الطريقة  نجاحا باهرا حيث تم برهنة نظرية فينوجرادوف إذ انها تعتبر تقدم هائل نحو  برهنة الحدسية وذلك للتقارب بينهما.