Costante di Erdős-Borwein

Da testwiki.
Vai alla navigazione Vai alla ricerca

Template:Costante La costante di Erdős-Borwein E è la somma dei reciproci dei numeri di Mersenne. Prende il nome da Paul Erdős e da Peter Borwein.

Per definizione è:

EB=n=112n11,606695152415291763...

Si dimostra che le forme seguenti sono equivalenti alla precedente:

E=n=112n22n+12n1
E=m=1n=112mn
E=1+n=112n(2n1)
E=n=1σ0(n)2n

dove σ0(n)=d(n) è la funzione divisore di parametro 0, che ha lo scopo di contare il numero di divisori del numero n. Per provare l'equivalenza di queste somme si sfrutta il fatto che hanno tutte la forma di una serie di Lambert.

Erdős nel 1948 ha dimostrato che la costante E è un numero irrazionale.

Collegamenti esterni

Template:Portale