Qoldbax problemi

Qoldbax problemi və ya Qoldbax hipotezi () — ədədlər nəzəriyyəsində və ümumilikdə bütün riyaziyyatda ən qədim və ən məşhur həll olunmamış problemlərdən biridir. Bu hipotezə görə, 2-dən böyük olan hər bir cüt natural ədəd iki sadə ədədin cəmi kimi ifadə oluna bilər.

Hipotezin -dən kiçik olan bütün natural ədədlər üçün doğru olduğu göstərilmişdir, lakin böyük səylərə baxmayaraq, hələ də ümumi halda sübut edilməmişdir.

 Tarixi 

 Mənşə 
7 iyun 1742-ci ildə Prussiyalı riyaziyyatçı Kristian Qoldbax Leonard Eylerə məktub (XLIII məktub) yazaraq aşağıdakı fərziyyəni irəli sürmüşdür:

Qoldbax burada artıq tərk edilmiş bir ənənəyə — 1-in sadə ədəd sayılmasına əsaslanırdı; beləliklə, vahidlərin cəmi də sadə ədədlərin cəmi hesab olunurdu. Daha sonra o, məktubun kənarında bir ikinci hipotez də irəli sürdü ki, bu da birincini ehtiva edir:

Eyler 30 iyun 1742-ci il tarixli məktubunda Qoldbaxa daha əvvəl aralarında olmuş bir söhbəti xatırlatdı (). Həmin söhbətdə Qoldbax qeyd etmişdi ki, yuxarıdakı iki hipotezdən birincisi aşağıdakı ifadədən çıxır:

Bu ifadə əslində onun məktubun kənarında yazdığı ikinci hipotezlə ekvivalentdir. Eyler 30 iyun 1742-ci il tarixli məktubunda belə yazırdı:

 Dekartın oxşar hipotezi 
Rene Dekart yazmışdır: “Hər bir cüt ədəd ən çoxu üç sadə ədədin cəmi kimi ifadə oluna bilər.”Pintz, János.  "On a conjecture of Descartes". ELKH Rényi Mathematical Institute of the Hungarian Academy of Sciences. Retrieved 20 June 2025. Bu təklif Qoldbax hipotezinə bənzər olsa da, ondan daha zəifdir. Pol Erdoş bu barədə demişdir: “Dekart əslində bunu Qoldbaxdan əvvəl kəşf etmişdi... lakin hipotezin Qoldbaxın adı ilə tanınması daha yaxşıdır, çünki riyazi baxımdan Dekart sonsuz dərəcədə varlı, Qoldbax isə çox kasıb idi.”

 Qismən nəticələr 
İki sadə ədədin cəmi ilə bağlı Qoldbax hipotezi, 5-dən böyük hər bir tək ədədin üç sadə ədədin cəmi olduğunu bildirən zəif Qoldbax hipotezindən xeyli daha çətindir. Vinoqradov metodundan istifadə edərək Nikolay Çudakov, Yohannes van der Korput və Teodor Estermann (1937–1938) göstərmişlər ki, demək olar ki, bütün cüt ədədlər iki sadə ədədin cəmi kimi ifadə oluna bilər (yəni -ə qədər olan cüt ədədlər arasında bu xassəyə malik olanların payı artdıqca 1-ə yaxınlaşır).

1930-cu ildə Lev Şnirelman sübut etmişdir ki, 1-dən böyük hər bir natural ədəd ən çoxu sayda sadə ədədin cəmi kimi yazıla bilər; burada effektiv hesablana bilən sabitdir; bax: Şnirelman sıxlığı.Schnirelmann, L. G. (1930).  "On the additive properties of numbers". İlk dəfə Proceedings of the Don Polytechnic Institute in Novocherkassk jurnalında (rus dilində), cild 14 (1930), s. 3–27, nəşr edilmiş və sonradan Uspekhi Matematicheskikh Nauk jurnalında (rus dilində), 1939, № 6, s. 9–25-də yenidən çap olunmuşdur.Schnirelmann, L. G. (1933). İlk dəfə "Über additive Eigenschaften von Zahlen" adı ilə  Mathematische Annalen jurnalında (alman dilində), cild 107 (1933), s. 649–690-da dərc edilmiş, daha sonra isə "On the additive properties of numbers" adı ilə Uspekhi Matematicheskikh Nauk jurnalında (rus dilində), 1940, № 7, s. 7–46-da yenidən çap olunmuşdur.

Şnirelman sabiti bu xassəyə malik olan ən kiçik ədədidir. Şnirelmanın özü  nəticəsini əldə etmişdir. Bu nəticə sonradan bir çox müəlliflər tərəfindən təkmilləşdirilmişdir. Məsələn, Olivye Ramare 1995-ci ildə göstərmişdir ki,  olan hər bir cüt ədəd ən çoxu 6 sadə ədədin cəmi kimi ifadə oluna bilər. Ən yaxşı məlum nəticə isə Harald Helfqottun zəif Qoldbax hipotezinin sübutundan irəli gəlir; bu sübut birbaşa olaraq  olan hər bir cüt ədədin ən çoxu 4 sadə ədədin cəmi olduğunu göstərir.

1924-cü ildə Hardi və Litlvud ümumiləşdirilmiş Riman hipotezi fərziyyəsi altında göstərmişlər ki, -ə qədər olan və Qoldbax hipotezini pozan cüt ədədlərin sayı  ifadəsindən xeyli kiçikdir (burada kiçik sabitdir).Misal üçün bax: Janos Pintz, A new explicit formula in the additive theory of primes with applications I. The explicit formula for the Goldbach and Generalized Twin Prime Problems.

1948-ci ildə ələk nəzəriyyəsi metodlarından istifadə edərək Alfred Renyi göstərmişdir ki, kifayət qədər böyük olan hər bir cüt ədəd bir sadə ədəd ilə ən çoxu vuruğu olan bir demək olar sadə ədədin cəmi kimi yazıla bilər. 1973-cü ildə Çen Tszinjun ələk nəzəriyyəsindən istifadə edərək sübut etmişdir ki, kifayət qədər böyük olan hər bir cüt ədəd ya iki sadə ədədin, ya da bir sadə ədəd ilə bir yarımsadə ədədin (iki sadə ədədin hasili) cəmi kimi ifadə oluna bilər.

1975-ci ildə Hyu Louell Montqomeri və Bob Voqan göstərmişlər ki, cüt ədədlərin “əksəriyyəti” iki sadə ədədin cəmi kimi ifadə oluna bilər. Daha dəqiq desək, elə müsbət və sabitləri mövcuddur ki, kifayət qədər böyük üçün -dən kiçik olan hər bir cüt ədəd iki sadə ədədin cəmi olur, yalnız  sayda istisna mövcuddur. Xüsusilə, iki sadə ədədin cəmi olmayan cüt ədədlər çoxluğunun sıxlığı sıfıra bərabərdir.

1951-ci ildə Yuri Linnik elə bir sabitinin mövcudluğunu sübut etmişdir ki, kifayət qədər böyük olan hər bir cüt ədəd iki sadə ədədin və ən çoxu sayda 2-nin qüvvətinin cəmi kimi yazıla bilər. 2020-ci ildə Yanoş Pits və İmre Ruja göstərmişlər ki,  kifayətdir. ümumiləşdirilmiş Riman hipotezi qəbul edildikdə isə, Rocer Hit-Braun və Yan-Kristof Şlaqe-Puxta 2002-ci ildə -nin də kifayət etdiyini göstərmişlər.

2013-cü ildə Harald Helfqott zəif hipotezin sübutunu Annals of Mathematics Studies kitab seriyasına təqdim etmişdir. Məqalə qəbul edilsə də, rəyçinin tövsiyə etdiyi ciddi dəyişiklikləri etməyə qərar vermişdir. Bir neçə düzəlişə baxmayaraq, Helfqottun sübutu hələ də rəsmi rəyli elmi nəşrdə çap olunmamışdır.

Zəif hipotez Qoldbax hipotezindən nəticə kimi çıxır: əgər  iki sadə ədədin cəmidirsə, onda üç sadə ədədin cəmidir. Lakin əks istiqamətli nəticə — yəni Qoldbax hipotezinin özü — Helfqottun sübutu doğru olsa belə, hələ də sübut olunmamış qalır.

 Hevristik əsaslandırma 

Sadə ədədlərin ehtimalli paylanmasına əsaslanan statistik mülahizələr, kifayət qədər böyük ədədlər üçün həm zəif, həm də güclü formada Goldbax hipotezinin doğru olmasına dair qeyri-rəsmi arqumentlər təqdim edir: ədəd nə qədər böyükdürsə, onu iki və ya üç başqa ədədin cəmi kimi ifadə etməyin mümkün yollarının sayı da bir o qədər çox olur və bu ifadələrdən ən azı birinin tamamilə sadə ədədlərdən ibarət olması ehtimalı artır.


Qoldbax hipotezinin güclü forması üçün ən kobud hevristik ehtimalli arqument aşağıdakı kimidir. Sadə ədədlər teoreminə görə, təsadüfi seçilmiş tam ədədinin sadə olması ehtimalı təxminən  qədərdir. Əgər böyük cüt ədəd və 3 ilə  arasında olan bir ədəd olarsa, onda və  ədədlərinin eyni vaxtda sadə olma ehtimalı təxminən

kimi qiymətləndirilə bilər. Bu hevristikanı davam etdirdikdə, böyük cüt ədədinin iki tək sadə ədədin cəmi kimi yazılma yollarının sayı təxminən aşağıdakı kimi olur:

Çünki , bu kəmiyyət artdıqca sonsuzluğa yaxınlaşır və beləliklə gözlənilir ki, hər bir böyük cüt ədəd yalnız bir deyil, əksinə, iki sadə ədədin cəmi kimi çoxlu sayda ifadəyə malik olsun.

Bu hevristik arqument tam dəqiq deyil, çünki və  ədədlərinin sadə olması hadisələrinin statistik olaraq müstəqil olduğunu fərz edir. Məsələn, əgər təkdirsə, onda  də tək olacaq; əgər cütdürsə, onda  də cüt olacaq. Bu isə mühüm bir asılılıqdır, çünki 2 istisna olmaqla yalnız tək ədədlər sadə ola bilər. Eyni şəkildə, əgər 3-ə bölünürsə və artıq 3-dən fərqli bir sadə ədəddirsə, onda  3-lə qarşılıqlı sadə olacaq və beləliklə adi bir ədəddən bir qədər daha yüksək ehtimalla sadə ola bilər.

Bu cür asılılıqları daha dəqiq şəkildə nəzərə alan Hardi və Litlvud 1923-cü ildə (Hardi–Litlvud sadə ədəd çoxluqları fərziyyəsi çərçivəsində) aşağıdakı iddianı irəli sürmüşlər: hər hansı sabit  üçün böyük tam ədədinin  şəklində sadə ədədin cəmi kimi ifadələrinin sayı (burada ) asimptotik olaraq aşağıdakı ifadəyə bərabər olmalıdır:

burada hasil bütün sadə ədədləri üzrə götürülür və  modulyar arifmetikada  tənliyinin  şərti altında olan həllərinin sayını göstərir.

Bu formul  üçün İvan Vinoqradovun işlərindən başlayaraq ciddi şəkildə sübut edilmişdir, lakin  halında hələ də yalnız fərziyyə olaraq qalır. Bu halda, tək olduqda ifadə 0-a bərabər olur, cüt olduqda isə aşağıdakı formaya düşür:

burada  — Hardi–Litlvud əkiz sadə ədədlər sabitidir:

Bu bəzən genişləndirilmiş Qoldbax hipotezi adlandırılır. Qoldbax hipotezi əkiz sadə ədədlər hipotezi ilə çox yaxın əlaqəlidir və ümumiyyətlə bu iki problemin riyazi baxımdan oxşar dərəcədə çətin olduğu qəbul edilir.

 Qeydlər 

 İstinadlar 

 Əlavə ədəbiyyat 


 Terence Tao proved that all odd numbers are at most the sum of five primes .
 Goldbach Conjecture  at MathWorld.

 Xarici keçidlər 

 Goldbach's original letter to Euler — PDF format (in German and Latin) 
Goldbach's conjecture , part of Chris Caldwell's Prime Pages.
Goldbach conjecture verification, Tomás Oliveira e Silva's distributed computer search.

Kateqoriya:1742-ci ildə yarananlar