Don't take life too seriously: it's just a temporary situation

Selfridge (congetture di)

Congetture  Teoria dei numeri 

John Lewis Selfridge (Ketchikan, Alaska, USA, 17/2/1927 – DeKalb, Illinois, USA, 31/10/2010) propose alcune interessanti congetture sulla teoria dei numeri; riporto le più importanti.

 

Se n > k2, il minimo fattore primo di Coefficiente binomiale C(n, k) non supera il massimo tra n / k e 17, tranne nel caso di Coefficiente binomiale C(62, 6), che ha come minimo fattore primo 19.

La congettura afferma quindi che, a parte quell’unica eccezione, non esistono coefficienti binomiali eccezionali per n > k2.

E’ una forma più debole della congettura di Erdös, Lacampagne e Selfridge.

 

ω(22n + 1)non è una funzione non decrescente di n, vale a dire che il numero di fattori primi distinti dei numeri di Fermat Fn può talvolta diminuire al crescere di n.

L’eventuale esistenza di un numero di Fermat primo oltre a quelli noti confermerebbe la congettura, come pure la scomposizione completa di F14 (il candidato più probabile), se avesse meno di 6 fattori.

 

Se 2p – 1 ≡ 1 mod p e Fp + 1 ≡ 0 mod p, dove Fn è l’n-esimo numero di Fibonacci, p è primo.

Se fosse dimostrata, permetterebbe di stabilire se un intero è primo in modo efficientissimo, perché il numero di operazioni necessarie per verificare le due congruenze è proporzionale a logp.

 

Esistono infiniti primi pn tali che 2pn > pnk +pn + k, per tutti gli interi positivi k minori di n, ossia esistono infiniti primi maggiori della media aritmetica tra il k-esimo primo precedente e il k-esimo successivo, per tutti i possibili valori di k. La congettura implicherebbe l’esistenza di infiniti primi pn non deboli (I).

 

Esistono infiniti primi pn, tali che p(n)^2 > p(n – k) * p(n + k), per tutti gli interi positivi k minori di n, ossia esistono infiniti primi maggiori della media geometrica tra il k-esimo primo precedente e il k-esimo successivo, per tutti i possibili valori di k, detti “primi buoni”.

La congettura fu dimostrata vera da Carl Pomerance nel 1979 e implica l’esistenza di infiniti primi non geometricamente deboli .

Contattami

Potete contattarmi al seguente indirizzo bitman[at]bitman.name per suggerimenti o segnalazioni d'errori relativi a questo articolo.