Erdős-Borweinova konstanta

Iz testwiki
Pojdi na navigacijo Pojdi na iskanje

Erdős-Borweinova konstanta je vsota obratnih vrednosti Mersennovih števil. Imenuje se po Paulu Erdősu in Petru Borweinu.

Po definiciji velja Predloga:OEIS:

EB=n=112n11,60669515241529176378

Dokazati je moč, da so naslednje oblike ekvivalentne prejšnji:

EB=n=112n22n+12n1,
EB=m=1n=112mn,
EB=n=1d(n)2n,
EB=1ψ1/2(1)ln2.

Tu d(n) predstavlja aritmetično multiplikativno funkcijo, število pozitivnih deliteljev števila n, ψq(z) pa funkcijo q-poligama.

Erdős je leta 1948 dokazal, da je konstanta EB iracionalno število. Borwein pa je leta 1992 dokazal naprej, da je:

n=11qnr

iracionalno število pri r0.

Neskončni verižni ulomek konstante je [1; 1, 1, 1, 1, 5, 2, 1, 2, 29, 4, 1, 2, 2, 2, 2, 6, 1, 7, 1, 6, 2, 1, 1, 1, 20, 1, 3, 1, 1, 1, ...]

Sorodna konstanta je Predloga:OEIS:

K=Mn1Mn=13+17+131+1127+18191+1131071+1524287+121474836470,51645417894078856533,

kjer nastopajo Mersennova praštevila in, ki je verjetno tudi iracionalno število.

Razmerje med konstantama je enako:

EBK3,11101200828795936235....

Zunanje povezave

Predloga:-

Predloga:Iracionalno število