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

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

0,235711131719232931374143…

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

Любая постоянная, образованная конкатенацией «0,» со всеми простыми числами в арифметической прогрессии , где  — взаимно простое число с числом и числом 10, будет иррациональной. К примеру, таковы простые числа принимающие форму или . Согласно теореме Дирихле, арифметическая прогрессия содержит простые числа для любого числа , и эти простые числа также находятся в , следовательно среди этих конкатенацированных простых чисел будет содержаться любое желаемое количество нулей, следующих друг за другом.

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

,

где  — это простое число.

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

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

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

,

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

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

Примечания

  1. последовательность A033308 в OEIS
  2. Харди, Райт, 1938, p. 113.
  3. A030168
  4. Харди, Райт, 1938, p. 112.

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.