Copeland–Erdős constant: Difference between revisions

Content deleted Content added
Undid revision 421334411 by 138.251.192.54 (talk) yes, it does. Normality includes all n-digit sequences in base b
AndreWeil (talk | contribs)
No edit summary
Line 3: Line 3:
:0.235711131719232931374143… {{OEIS|id=A33308}}.
:0.235711131719232931374143… {{OEIS|id=A33308}}.


The constant is irrational; this can be proved with [[Dirichlet's theorem on arithmetic progressions]] or [[Bertrand's postulate]] (Hardy and Wright, p. 113). It also follows directly from its normality (see below).
The constant is irrational; this can be proved with [[Dirichlet's theorem on arithmetic progressions]] or [[Bertrand's postulate]] (Hardy and Wright, p. 113) or Ramare's theorem that every even integer is a sum of at most six primes. It also follows directly from its normality (see below).


By a similar argument, any constant created by concatenating "0." with all primes in an [[arithmetic progression]] ''dn''&nbsp;+&nbsp;''a'', where ''a'' is [[coprime]] to ''d'' and to 10, will be irrational. E.g. primes of the form 4''n''&nbsp;+&nbsp;1 or 8''n''&nbsp;+&nbsp;1. By Dirichlet's theorem, the arithmetic progression ''dn''&middot;10<sup>''m''</sup>&nbsp;+&nbsp;''a'' contains primes for all ''m'', and those primes are also in ''cd''&nbsp;+&nbsp;''a'', so the concatenated primes contain arbitrarily long sequences of the digit zero.
By a similar argument, any constant created by concatenating "0." with all primes in an [[arithmetic progression]] ''dn''&nbsp;+&nbsp;''a'', where ''a'' is [[coprime]] to ''d'' and to 10, will be irrational. E.g. primes of the form 4''n''&nbsp;+&nbsp;1 or 8''n''&nbsp;+&nbsp;1. By Dirichlet's theorem, the arithmetic progression ''dn''&middot;10<sup>''m''</sup>&nbsp;+&nbsp;''a'' contains primes for all ''m'', and those primes are also in ''cd''&nbsp;+&nbsp;''a'', so the concatenated primes contain arbitrarily long sequences of the digit zero.

Revision as of 12:57, 13 October 2011

The Copeland–Erdős constant is the concatenation of "0." with the base 10 representations of the prime numbers in order. Its value is approximately

0.235711131719232931374143… (sequence A33308 in the OEIS).

The constant is irrational; this can be proved with Dirichlet's theorem on arithmetic progressions or Bertrand's postulate (Hardy and Wright, p. 113) or Ramare's theorem that every even integer is a sum of at most six primes. It also follows directly from its normality (see below).

By a similar argument, any constant created by concatenating "0." with all primes in an arithmetic progression dn + a, where a is coprime to d and to 10, will be irrational. E.g. primes of the form 4n + 1 or 8n + 1. By Dirichlet's theorem, the arithmetic progression dn·10m + a contains primes for all m, and those primes are also in cd + a, so the concatenated primes contain arbitrarily long sequences of the digit zero.

In base 10, the constant is a normal number, a fact proven by Arthur Herbert Copeland and Paul Erdős in 1946 (hence the name of the constant).

The constant is given by

where pn is the nth prime number.

Its continued fraction is [0; 4, 4, 8, 16, 18, 5, 1, …] (OEISA30168).

In any given base b the number

which can be written in base b as 0.0110101000101000101…b where the nth digit is 1 if n is prime, is irrational. (Hardy and Wright, p. 112).

See also

References