Постоянная Коупленда — Эрдёша

Постоянная Коупленда — Эрдёша — вещественное число, строящееся как конкатенация «0,» («ноль целых…») со сцепленной последовательностью возрастающих простых чисел в десятичной записи:

0,235711131719232931374143…

Постоянная иррациональна; данный факт можно доказать с помощью теоремы Дирихле о простых числах в арифметической прогрессии или постулата БертранаШаблон:Sfn или теоремой Рамаре (гласящей, что любое чётное целое число является суммой не более шести простых чисел). Данный факт также следует из того, что данная постоянная — нормальное число; нормальность постоянной в десятичной записи доказана в 1949 году Шаблон:Нп2 и Палом Эрдёшом.

Любая постоянная, образованная конкатенацией «0,» со всеми простыми числами в арифметической прогрессии $dn+a$, где $a$ — взаимно простое число с числом $d$ и числом 10, будет иррациональной. К примеру, таковы простые числа принимающие форму $4n+1$ или $8n+1$. Согласно теореме Дирихле, арифметическая прогрессия $dn\cdot 10^m+a$ содержит простые числа для любого числа $m$, и эти простые числа также находятся в $cd+a$, следовательно среди этих конкатенацированных простых чисел будет содержаться любое желаемое количество нулей, следующих друг за другом.

Постоянная Коупленда — Эрдёша может быть выражена как:

$\sum _{n=1}^{\mathrm{\infty }}{p}_{n}10^{-(n+\sum _{k=1}^n\lfloor {\log }_{10}{p}_k\rfloor )}$,

где $p_n$ — это $n$-е простое число.

Непрерывная дробь числа — [0; 4, 4, 8, 16, 18, 5, 1, …].

Похожие постоянные

Для любой позиционной системы счисления с основанием $b$ число:

$\sum _{n=1}^{\mathrm{\infty }}{b}^{-p_n}$,

которое может быть записано в этой системе счисления как 0,0110101000101000101…, где $n$-я цифра — это 1, если $n$ — простое число, является иррациональнымШаблон:Sfn.

Постоянная Чемпернауна — конкатенация всех положительных целых чисел, а не только простых чисел.

Ссылки

• Шаблон:MathWorld
• Шаблон:Книга