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

حدسية غولدباخ (Goldbach's conjecture)‏ هي حدسية حدسها عالم الرياضيات الألماني كريستيان غولدباخ عام 1742. هي واحدة من أقدم المعضلات غير المحلولة في نظرية الأعداد وفي الرياضيات ككل. وتنص على ما يلي:

" كل عدد صحيح طبيعي زوجي أكبر من 2 يمكن كتابته على شكل مجموع عددين أوليين."

عدد الطرق المختلفة التي يكتب بها عدد زوجي ما أكبر قطعا من 2 على شكل مجموع عددين أوليين يسمى عدد غولدباخ.

عدد الطرق التي يكتب بها عدد زوجي ما على شكل مجموع عددين أوليين^[1]

تاريخ

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

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

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

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

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

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

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

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

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

مسائل معممة

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

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

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

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

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

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

طريقة الدائرة

هاردي وليتل وود (1921) في الاصل استخدما الطريقة لحل مسألة كتابة الاعداد الصحيحة بشكل مجموع اعداد صحيحة مرفوعة بالقوة k. لنفرض أن ${\displaystyle R_{k,d}(n)}$ عدد الطرق لكتابة n بواسطة d اعداد صحيحة مرفوعة بالقوة k. وهذه الطريقة هي لتقريب قيمة ${\displaystyle R_{k,d}(n)}$ عندما ${\displaystyle n\to \infty }$ و- k كبير جدا بالنسبة ل-d.

الفكرة العامة لهذه الطريقة هي كالتالي: ل- ${\displaystyle z\in \mathbb {C} }$ عرف الدالة المنتجة التالية:

${\displaystyle \Phi _{A}(z)=\sum _{a\in A}z^{a}}$

ولاحظ أن معامل ${\displaystyle z^{n}}$ في الدالة ${\displaystyle \Phi _{A}(z)^{d}}$ هو عدد طرق طرق كتابة ${\displaystyle n}$ بشكل حاصل جمع ${\displaystyle d}$ اعداد من المجموعة ${\displaystyle A}$. ولكن من جهة اخرى هذا المعامل هو:

${\displaystyle {\frac {1}{n!}}\ {\frac {\partial ^{n}\Phi _{A}^{d}}{\partial z^{n}}}(0)}$

وبواسطة صيغة كوشي التكاملية:

${\displaystyle R_{A,d}(n)={\frac {1}{2\pi i}}\ \oint _{\gamma }\Phi _{A}(z)^{d}z^{-(n+1)}\ dz}$

حيث أن ${\displaystyle \gamma }$ منحنى طوله نهائي. والفكرة هي ايجاد طريقة بديلة لحساب التكامل وذلك لتقريب قيمة ${\displaystyle R_{A,d}}$.وعندما يكون المنحنى دائري التكامل يمكن اختصاره لتكامل مجاميع أسية وهي الطريقة التي استخدمها فينوجرادوف عام 1929.

أمثلة

• 4=2+2
• 6=3+3
• 8=3+5
• 10=5+5=3+7
• 12=5+7
• 14=7+7=3+11
• 16=5+11=3+13
• 18=7+11=5+13
• 20=3+17=7+13
• 22=3+19=5+17
• 24=5+19=7+17
• 26=7+19=13+13

نتائج متحقق منها

لقد تم فحص حدسية غولدباخ لايجاد مثال مضاد ولكن عبثا إذ أن ديسبوفيس(1855) فحص الحدسية لكل عدد اصغر من 10,000، وفي عام 1940 فحص بيبينغ الحدسية حتى العدد 100,000 بواسطة الحاسوب وعام 1964 بواسطة العالمين ستين وستين وصل الفحص حتى العدد ${\displaystyle 10^{8}}$ وفي الأعوام التي تلت نجح جرانفيل ولون ورايلي بالوصول إلى ${\displaystyle 2\times 10^{10}}$ وذلك كان عام 1989. وفي عام 1998 توصل ديشوليرس رايلي وساوتر بالوصول إلى ${\displaystyle 10^{14}}$ اما ريتشستاين وصل بفحصه حتى: ${\displaystyle 4\times 10^{14}}$.

حدسيات مماثلة

• حدسية غولدباخ الضعيفة: كل عدد فردي أكبر من 9 يساوي حاصل مجموع ثلاثة اعداد اولية فردية. وكما تم ذكر هذا سابقا فانه يمكن اشتقاق هذه الحدسية من الاولى، وقد تم برهنة هذه الحدسية عام 2013

في الثقافة الشعبية

• حتى يكتسب الكتاب Uncle Petros وحدسية غولدباخ الشهرة والذي كتبه أبوستولوس دوكسيادس، عرض الناشر البريطاني طوني فابر جائزة بقيمة 1000000 دولار لمن يبرهن الحدسية قبل ابريل 2002، الجائزة لم يحصل عليها أحد.
• وفي الدراما التلفزيونية "Lewis" حصل عالم رياضيات على جائزة فيلدز لعمله على حدسية غولدباخ.
• وفي القصة القصيرة لاسحاق اسيموف "Sixty Million Trillion Combinations" يذكر فيها أن عالم رياضيات شك أن اعماله على حدسية غولدباخ قد سرقت.
• وفي الفلم الإسباني " (La habitación de Fermat (2007" اعلن رياضياتي شاب انه وجد برهان الحدسية.
• وفي الكارتون " مغامرات جيمي نيوترون " قال جيمي في احدى الحلقات انه كان في وسط ايجاد برهان لحدسية غولدباخ.
• وفي الفيلم "(The Calculus of Love (2011" كان هناك استاذ مهووس بايجاد برهان للحدسية.
• وفي الفيلم الكوري "Perfect Number" استاذ رياضيات كان مهووسا بايجاد برهان للحدسية.

مقالات ذات صلة

• كريستيان غولدباخ
• ايفان ماتفييفيتش فينوغرادوف
• غودفري هارولد هاردي
• صيغة كوشي التكاملية
• جون إيدنسور ليتلوود
• فيغو برون

مراجع

مصادر

موسوعات ذات صلة :

• موسوعة رياضيات
• موسوعة نظرية الأعداد