إثبات مفصل لفرضية غولدباخ القوية استنادًا إلى تقسيمات صياغة جديدة لمجموعة من الأعداد الزوجية

تفيد فرضية غولدباخ القوية، التي تعد مشكلة أساسية في نظرية الأعداد، بأن كل عدد صحيح زوجي أكبر من 2 يمكن أن يُعبر عنه كمجموع عددين أوليين. على الرغم من الجهود الكبيرة المبذولة على مدى قرون، تظل هذه الفرضية غير مثبتة، مما يتحدى جوهر الرياضيات. تتكون الخوارزميات المعروفة لمحاولة إثبات أو التحقق من الفرضية على مجال معين a,b من العثور على مجموعتين من الأعداد الأولية Pi و Pj بحيث تغطي Pi + Pj جميع الأعداد الزوجية في المجال a,b. ومع ذلك، لم توفر التعريفات التقليدية للعدد الزوجي كـ 2n حيث n ∈ ℕ (حيث ℕ هي مجموعة الأعداد الطبيعية) للرياضيين طريقة مباشرة للحصول على جميع تقسيمات غولدباخ لأي عدد زوجي من هذا الشكل. يقدم هذا البحث نهجًا جديدًا للمشكلة، مستفيدًا من جميع تقسيمات الأعداد الفردية لعدد زوجي بصياغة جديدة على الشكل Eij = ni + nj + (nj - ni)n أو جميع n ∈ ℕ. من خلال إثبات وجود على الأقل زوج من الأعداد الأولية في هذه التقسيمات الفردية، فإن حقيقة أن مجموع أي عددين أوليين هو عدد زوجي وأن هناك عدد لا نهائي من الأعداد الأولية، يقدم هذا البحث إثباتًا مثيرًا للفرضية. لا تحل هذه النتيجة لغزًا رياضيًا طويل الأمد فحسب، بل تلقي أيضًا الضوء على بنية الأعداد الأولية.