Gilbraith sejtése egy számelméleti hipotézis , miszerint ha veszünk egy prímszámsorozatot, és iteratív módon alkalmazzuk rá a differenciaoperátort , akkor az egyes lépésekben kapott sorozatok mindig 1-gyel fognak kezdődni. A sejtés azután vált hírnevet 1958-ban publikálta Norman Gilbraith [1] . François Prot azonban már 1878-ban közzétette ugyanennek a sejtésnek a feltételezett bizonyítékát, amely, mint kiderült, téves volt [1] .
Tekintsünk prímszámok sorozatát
Számítsuk ki az egyes szomszédos tagpárok közötti különbségek abszolút értékét , és írjuk ki a kapott sorozatot:
Folytatva ezt a műveletet minden egyes kapott új sorozatra, a következőket kapjuk:
Látjuk, hogy minden sorozat első eleme .
Könnyebb megfogalmazni a Gilbraith-sejtést, ha bevezetünk néhány jelölést az előző rész sorozataira. jelölje a prímszámok rendezett sorozatát , és határozza meg a sorozat tagjait :
,ahol n természetes. Azt is figyelembe vesszük, hogy minden természetes esetén a sorozatot a képlettel határozzuk meg
.(itt - ez nem diploma, hanem felső index)
A Gilbraith-sejtés kimondja, hogy a sorozat minden tagja egyenlő -vel .
2011-ig nem volt megfelelő publikált bizonyíték a sejtésre. Ahogy a bevezetőben említettük, Prot állításra, de később kiderült, hogy téves Andrew Odlyzhko 1993-ban ellenőrizte, hogy ez mindenkinek 1 [2] , de a sejtés továbbra is nyitott probléma. Ahelyett, hogy a táblázat összes sorát kiszámolta volna, Odlyzhko 635 sort számolt ki, és azt találta, hogy a 635. sor 1-től kezdődik, és tovább egészen a -edik elemig csak a 0 és a 2 számokból áll. Ebből következik, hogy az összes következő sor egytől kezdődik.
Az alábbi táblázatban a nullák zölddel, az egyesek pirossal, a kettesek kékkel, a többi szám pedig szürkével vannak kiemelve. A hipotézis lényege, hogy a szürke terület soha nem éri el az egyesek piros oszlopát.
2 | 3 | 5 | 7 | tizenegy | 13 | 17 | 19 | 23 | 29 | 31 | 37 | 41 | 43 | 47 | 53 | 59 | 61 | 67 | 71 | 73 | 79 | 83 | 89 | 97 | 101 | 103 | 107 | 109 | 113 | 127 | 131 | 137 | 139 | 149 |
egy | 2 | 2 | négy | 2 | négy | 2 | négy | 6 | 2 | 6 | négy | 2 | négy | 6 | 6 | 2 | 6 | négy | 2 | 6 | négy | 6 | nyolc | négy | 2 | négy | 2 | négy | tizennégy | négy | 6 | 2 | tíz | |
egy | 0 | 2 | 2 | 2 | 2 | 2 | 2 | négy | négy | 2 | 2 | 2 | 2 | 0 | négy | négy | 2 | 2 | négy | 2 | 2 | 2 | négy | 2 | 2 | 2 | 2 | tíz | tíz | 2 | négy | nyolc | ||
egy | 2 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 2 | 0 | 0 | 0 | 2 | négy | 0 | 2 | 0 | 2 | 2 | 0 | 0 | 2 | 2 | 0 | 0 | 0 | nyolc | 0 | nyolc | 2 | négy | |||
egy | 2 | 0 | 0 | 0 | 0 | 2 | 2 | 2 | 2 | 0 | 0 | 2 | 2 | négy | 2 | 2 | 2 | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 0 | nyolc | nyolc | nyolc | 6 | 2 | ||||
egy | 2 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | 0 | 2 | 0 | 2 | 2 | 0 | 0 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 0 | nyolc | 0 | 0 | 2 | négy | |||||
egy | 2 | 0 | 0 | 2 | 2 | 0 | 0 | 2 | 2 | 2 | 2 | 2 | 0 | 2 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | nyolc | nyolc | 0 | 2 | 2 | ||||||
egy | 2 | 0 | 2 | 0 | 2 | 0 | 2 | 0 | 0 | 0 | 0 | 2 | 2 | 2 | 2 | 2 | 0 | 0 | 0 | 0 | 0 | 2 | 6 | 0 | nyolc | 2 | 0 | |||||||
egy | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 2 | négy | 6 | nyolc | 6 | 2 | ||||||||
egy | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 2 | 2 | 0 | 0 | 0 | 2 | 2 | 0 | 0 | 0 | 2 | 2 | 2 | 2 | 2 | négy | |||||||||
egy | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 0 | 2 | 0 | 2 | 0 | 0 | 2 | 0 | 2 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 2 | ||||||||||
egy | 0 | 0 | 0 | 0 | 2 | 0 | 2 | 2 | 2 | 2 | 2 | 0 | 2 | 2 | 2 | 2 | 0 | 2 | 2 | 0 | 0 | 0 | 2 | |||||||||||
egy | 0 | 0 | 0 | 2 | 2 | 2 | 0 | 0 | 0 | 0 | 2 | 2 | 0 | 0 | 0 | 2 | 2 | 0 | 2 | 0 | 0 | 2 | ||||||||||||
egy | 0 | 0 | 2 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | 0 | 2 | 0 | 0 | 2 | 0 | 2 | 2 | 2 | 0 | 2 | |||||||||||||
egy | 0 | 2 | 2 | 0 | 2 | 2 | 0 | 0 | 2 | 2 | 2 | 2 | 0 | 2 | 2 | 2 | 0 | 0 | 2 | 2 | ||||||||||||||
egy | 2 | 0 | 2 | 2 | 0 | 2 | 0 | 2 | 0 | 0 | 0 | 2 | 2 | 0 | 0 | 2 | 0 | 2 | 0 | |||||||||||||||
egy | 2 | 2 | 0 | 2 | 2 | 2 | 2 | 2 | 0 | 0 | 2 | 0 | 2 | 0 | 2 | 2 | 2 | 2 | ||||||||||||||||
egy | 0 | 2 | 2 | 0 | 0 | 0 | 0 | 2 | 0 | 2 | 2 | 2 | 2 | 2 | 0 | 0 | 0 | |||||||||||||||||
egy | 2 | 0 | 2 | 0 | 0 | 0 | 2 | 2 | 2 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | ||||||||||||||||||
egy | 2 | 2 | 2 | 0 | 0 | 2 | 0 | 0 | 2 | 0 | 0 | 0 | 2 | 2 | 0 | |||||||||||||||||||
egy | 0 | 0 | 2 | 0 | 2 | 2 | 0 | 2 | 2 | 0 | 0 | 2 | 0 | 2 | ||||||||||||||||||||
egy | 0 | 2 | 2 | 2 | 0 | 2 | 2 | 0 | 2 | 0 | 2 | 2 | 2 | |||||||||||||||||||||
egy | 2 | 0 | 0 | 2 | 2 | 0 | 2 | 2 | 2 | 2 | 0 | 0 | ||||||||||||||||||||||
egy | 2 | 0 | 2 | 0 | 2 | 2 | 0 | 0 | 0 | 2 | 0 | |||||||||||||||||||||||
egy | 2 | 2 | 2 | 2 | 0 | 2 | 0 | 0 | 2 | 2 | ||||||||||||||||||||||||
egy | 0 | 0 | 0 | 2 | 2 | 2 | 0 | 2 | 0 | |||||||||||||||||||||||||
egy | 0 | 0 | 2 | 0 | 0 | 2 | 2 | 2 | ||||||||||||||||||||||||||
egy | 0 | 2 | 2 | 0 | 2 | 0 | 0 | |||||||||||||||||||||||||||
egy | 2 | 0 | 2 | 2 | 2 | 0 | ||||||||||||||||||||||||||||
egy | 2 | 2 | 0 | 0 | 2 | |||||||||||||||||||||||||||||
egy | 0 | 2 | 0 | 2 | ||||||||||||||||||||||||||||||
egy | 2 | 2 | 2 | |||||||||||||||||||||||||||||||
egy | 0 | 0 | ||||||||||||||||||||||||||||||||
egy | 0 | |||||||||||||||||||||||||||||||||
egy |
Hipotézisek prímszámokról _ | |
---|---|
Hipotézisek |