A Goldbach- probléma ( Goldbach- sejtés , Euler- probléma , Goldbach-bináris probléma ) egy olyan állítás, amely szerint bármely páros szám , 4-től kezdve, két prímszám összegeként ábrázolható . Nyitott matematikai probléma - 2022-ig az állítás nem bizonyított. A Riemann-hipotézissel együtt a 8. számú Hilbert-problémalistában szerepel .
A hipotézis gyengébb változatát - a Goldbach-féle hármas problémát , amely szerint bármely 7-től kezdődő páratlan szám ábrázolható három prímszám összegeként - igazolta 2013 -ban Harald Gelfgott perui matematikus . A bináris Goldbach-probléma érvényességéből nyilvánvalóan következik a hármas: ha minden 4-től kezdődő páros szám két prímszám összege, akkor minden páros számhoz hozzáadva 3-at, megkaphatjuk az összes páratlant. 7-től kezdődő számok.
1742- ben Christian Goldbach matematikus levelet küldött Leonhard Eulernek , amelyben a következő sejtést tette: minden 5-nél nagyobb páratlan szám három prímszám összegeként ábrázolható.
Euler érdeklődni kezdett a probléma iránt, és erősebb hipotézist állított fel: minden kettőnél nagyobb páros szám két prímszám összegeként ábrázolható.
Az első állítást hármas Goldbach-problémának , a másodikat bináris Goldbach-feladatnak (vagy Euler-feladatnak ) nevezzük.
Waring 1770 - ben egy, a Goldbach-féle hármas problémához hasonló hipotézist fogalmazott meg, de gyengébb formában : minden páratlan szám prímszám vagy három prím összege.
1923- ban Hardy és Littlewood matematikusok kimutatták, hogy ha a Riemann-hipotézis bizonyos általánosítása igaz, akkor a Goldbach-probléma minden kellően nagy páratlan számra igaz.
1937 -ben Vinogradov a Riemann-hipotézis érvényességétől független bizonyítást mutatott be, azaz bebizonyította, hogy bármely kellően nagy páratlan szám ábrázolható három prím összegeként. Maga Vinogradov nem adott kifejezett becslést erre a „kellően nagy számra”, de tanítványa, Konsztantyin Borozdin bebizonyította, hogy az alsó korlát nem haladja meg a 3 3 15 ≈ 3,25×10 6 846 168 ≈ 10 6 846 168 értéket . Vagyis ez a szám közel 7 millió számjegyet tartalmaz, ami lehetetlenné teszi az összes kisebb szám közvetlen ellenőrzését .
Ezt követően Vinogradov eredményét sokszorosan javították, mígnem 1989 -ben Wang és Chen csökkentette [2] az 1043000,5 értékre≈1043000≈ 3,33339 ×11,503eealsó korlátot
1997 -ben Desuiers , Effinger , te Riehl és Zinoviev kimutatta [3] , hogy az általánosított Riemann-hipotézis magában foglalja a Goldbach-féle hármas probléma érvényességét. 10 20 - nál nagyobb számokra igazolták az állítás érvényességét, míg a kisebb számokra vonatkozó állítás érvényessége könnyen megállapítható számítógépen.
2013 - ban végül Harald Gelfgott [4] [5] [6] [7] bizonyította be a hármas Goldbach-sejtést .
A bináris Goldbach-probléma még mindig messze van a megoldástól.
Vinogradov 1937 - ben és Theodor Estermann 1938 -ban kimutatta, hogy szinte minden páros szám ábrázolható két prímszám összegeként. Ezt az eredményt 1975 - ben némileg javította Hugh Montgomery és Bob Vaughan . Megmutatták, hogy vannak olyan pozitív c és C állandók, amelyeknél az N -nél nem nagyobb páros számok száma , amelyeket nem lehet két prímszám összegeként ábrázolni, nem haladja meg a -t .
1930- ban Shnirelman bebizonyította, hogy bármely egész szám legfeljebb 800 000 prím összegeként ábrázolható [8] . Ezt az eredményt sokszor javították, így 1995-ben Olivier Ramaret bebizonyította, hogy bármely páros szám legfeljebb 6 prímszám összege.
A (2013-ban bebizonyított) hármas Goldbach-sejtés érvényességéből az következik, hogy bármely páros szám legfeljebb 4 prímszám összege.
1966- ban Chen Jingrun bebizonyította , hogy bármely kellően nagy páros szám vagy két prímszám összegeként, vagy egy prímszám és egy félprím összegeként (két prímszám szorzataként) ábrázolható. Például 100 = 23 + 7 11.
2012 áprilisa óta a Goldbach-féle bináris sejtést [9] minden olyan páros számra tesztelték , amelyek nem haladják meg a 4×10 18 -at .
Ha Goldbach bináris hipotézise téves, akkor van egy algoritmus , amely előbb-utóbb észleli a megsértését.
A bináris Goldbach-sejtés újrafogalmazható valamely speciális alak 4. fokú diofantusi egyenletének feloldhatatlanságára vonatkozó állításként [10] [11] .
1992-ben megjelent Apostolos Doxiadis „ ötletregénye” „ Petros bácsi és a Goldbach-probléma ” , és rendkívüli népszerűségnek örvendett . Promóciós célból Faber és Faber egymillió dollárt ígért minden olvasónak, aki a forgalomba hozatalt követő két éven belül meg tudja oldani a problémát. A regényt több tucat nyelvre lefordították, 2002-ben jelent meg orosz fordítása [12] .
A Goldbach-probléma fontos cselekménypont a 2007-es Trap Farm című filmben és Lewis 2006-os pilotjában .
![]() | |
---|---|
Bibliográfiai katalógusokban |
Hipotézisek prímszámokról _ | |
---|---|
Hipotézisek |