Costante di Copeland-Erdős

Da testwiki.
Versione del 5 feb 2023 alle 23:55 di imported>Ossistyl
(diff) ← Versione meno recente | Versione attuale (diff) | Versione più recente → (diff)
Vai alla navigazione Vai alla ricerca

Template:Costante

La costante di Copeland-Erdős è il numero compreso tra 0 e 1 la cui parte decimale si ottiene in base 10 concatenando i numeri primi nel loro ordine. Prende il nome dai matematici Arthur Herbert Copeland e da Paul Erdős, che nel 1946 dimostrarono che è un numero normale in base 10. Il suo valore è quindi approssimativamente

0,235711131719232931374143…

Questo numero è irrazionale. Infatti, dal teorema di Dirichlet si sa che per ogni m esistono dei primi nella forma

k10m+1+1.

Quindi esistono primi che contengono almeno m zeri consecutivi, seguiti dalla cifra 1. Di conseguenza, la sequenza di cifre della costante comprende sequenza arbitrariamente lunghe di zeri seguiti dalla cifra 1. Di conseguenza, questo numero non può essere periodico, e di conseguenza non è razionale.

Allo stesso modo si può dimostrare che ogni costante la cui parte decimale è ottenuta concatenando tutti i primi in una progressione aritmetica dn+a (con a coprimo con d e con 10), è irrazionale. Infatti, per il teorema di Dirichlet, la progressione aritmetica dn10m+a contiene primi con qualsiasi numero di zeri, e nella costante esistono sequenze arbitrariamente lunghe di zeri.

Formalmente tale costante è data dalla formula:

n=1pn10(n+k=1nlog10p(k)),

dove pn è l'n-esimo numero primo.

Bibliografia

  • G. H. Hardy e E. M. Wright (1938) An Introduction to the Theory of Numbers, Oxford University Press, USA; quinta edizione (1980). ISBN 0-19-853171-0.

Voci correlate

Collegamenti esterni

Template:Portale