Постоянная Чемперноуна

Постоянная Чемперноуна — трансцендентная действительная константа, чьё разложение на десятичные дроби обладает определёнными важными свойствами. Названа в честь английского экономиста и математика Дэвида Чемперноуна (англ. D. G. Champernowne), который опубликовал о ней работу в 1933 году, когда был студентом[1].

Для десятичной системы счисления, данное число, обозначаемое обычно как ${\displaystyle C_{10}}$, определяется как конкатенация следующих друг за другом положительных целых чисел:

0,12345678910111213141516… [2].

Постоянная Чемперноуна также может быть сконструирована в других системах счисления похожим способом. К примеру:

C₂ = 0,11011100101110111… ₂,

C₃ = 0,12101112202122… ₃.

Постоянные Чемперноуна могут быть выражены в точности как бесконечный ряд:

${\displaystyle C_{m}=\sum _{n=1}^{\infty }{\frac {n}{10_{b}^{{\big (}{\sum }_{k=1}^{n}\left\lceil \log _{10_{b}}(k+1)\right\rceil {\big )}}}},}$

где ${\displaystyle \lceil {x}\rceil }$ — округление ${\displaystyle x}$ вверх, ${\displaystyle 10_{b}^{~x}=b^{x}}$ в десятичной системе счисления, ${\displaystyle \log _{10_{b}}(x)=\log _{b_{10}}(x)}$ и ${\displaystyle b}$ — система счисления для постоянной.