Copeland–Erdős constant: Difference between revisions

Content deleted Content added
m hyphens to dashes, per WP:DASH
Motomuku (talk | contribs)
No edit summary
Line 3: Line 3:
:0.235711131719232931374143… {{OEIS|id=A33308}}.
:0.235711131719232931374143… {{OEIS|id=A33308}}.


The constant is irrational. By [[Dirichlet's theorem on arithmetic progressions]], for any ''m'', there exist primes of the form
The constant can be proved to be irrational assuming either [[Dirichlet's theorem on arithmetic progressions]] or [[Chebyshev's theorem]]. (Hardy and Wright, p. 113).
:<math>k 10^{m+1} + 1 .</math>
Hence, there exist primes with digit strings containing at least ''m'' zeros followed by the digit 1. Thus, the digit string of the Copeland–Erdős constant contains arbitrarily long sequences of zeros followed by the digit 1, and hence the digit string of the constant cannot terminate or recur. So, the constant is irrational (Hardy and Wright, p. 113).


By a similar argument, any constant created by concatenating "0." with all primes in an [[arithmetic progression]] <math>d \cdot n + a</math>, where ''a'' is [[coprime]] to ''d'' and to 10, will be irrational. E.g. primes of the form <math>4n+1</math> or <math>8n-1</math>. By Dirichlet's theorem, the arithmetic progression <math>d \cdot n \cdot 10^m + a</math> contains primes for all ''m'', and those primes are also in <math>d \cdot n + a</math>, 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]] <math>d \cdot n + a</math>, where ''a'' is [[coprime]] to ''d'' and to 10, will be irrational. E.g. primes of the form <math>4n+1</math> or <math>8n-1</math>. By Dirichlet's theorem, the arithmetic progression <math>d \cdot n \cdot 10^m + a</math> contains primes for all ''m'', and those primes are also in <math>d \cdot n + a</math>, so the concatenated primes contain arbitrarily long sequences of the digit zero.

Revision as of 15:52, 26 May 2009

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 can be proved to be irrational assuming either Dirichlet's theorem on arithmetic progressions or Chebyshev's theorem. (Hardy and Wright, p. 113).

By a similar argument, any constant created by concatenating "0." with all primes in an arithmetic progression , where a is coprime to d and to 10, will be irrational. E.g. primes of the form or . By Dirichlet's theorem, the arithmetic progression contains primes for all m, and those primes are also in , 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 p(n) gives the n-th prime number.

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

References

See also