チャンパーノウン定数

デヴィッド・チャンパーノウン

チャンパーノウン定数（チャンパーノウンていすう、テンプレート:Lang-en-short）は、数学定数の一つで、0 と小数点のあとに自然数を 1 から小さい順に並べた十進小数表示をもつ実数

Cテンプレート:Sub = 0.1234567891011121314151617…（テンプレート:OEIS）

である。名前の由来のテンプレート:仮リンク は、この数が十進正規数であることを示した経済学者である。

数学的性質

この定数 Cテンプレート:Sub は単純な形で定められるにもかかわらず無理数であり、超越数でもある。Cテンプレート:Sub は

$\sum _{n=1}^{\mathrm{\infty }}\frac{\sum _{k=10^{n-1}}^{10^n-1}k\times 10^{-n\{k-(10^{n-1}-1)\}}}{10^{\sum _{k=0}^{n-1}k\times 9\cdot 10^{k-1}}}$

と表すこともできる。また、この数の連分数表示は

[0; 8, 9, 1, 149083, 1, 1, 1, 4, 1, 1, 1, 3, 4, 1, 1, 1, 15, K, …]（テンプレート:OEIS）

と書ける。ここで19番目の数 K は166桁の数

4 57540 11139 10310 76483 64662 82429 56118 59960 39397 10457 55500 06620 04393 09026 26592 56314 93795 32077 47128 65631 38641 20937 55035 52094 60718 30899 84575 80146 98631 48833 59214 17830 10987

である。連分数表示においてこのような大きい数が現れるということはこの連分数を数値計算する際に大きな負荷がかかることになるが、一方でこの19番目の数 K を付け加えた際に近似精度が大きく向上することにもなる。実際、

Cテンプレート:Sub − [0; 8, 9, 1, 149083, 1, 1, 1, 4, 1, 1, 1, 3, 4, 1, 1, 1, 15] ≈ −9 ×10テンプレート:Sup

Cテンプレート:Sub − [0; 8, 9, 1, 149083, 1, 1, 1, 4, 1, 1, 1, 3, 4, 1, 1, 1, 15, K] ≈ 3 ×10テンプレート:Sup

となり、K を含めることによって近似精度が 166桁分向上することになる。

テンプレート:Sfrac = 0.123456790111… や テンプレート:Sfrac = 0.12345679… はチャンパーノウン定数に比較的近い（下線部は循環節）。実際 テンプレート:Sfrac は主近似分数の一つ [0; 8, 9, 1] である。

1933年、チャンパーノウンはこの数が十進正規数であることを示した。他の基数に関して正規か否かは分かっていない。

0.4938271564044485256606… は、一見すると何の変哲もない無理数のようだが、これは実際のところチャンパーノウン定数を4倍して得られる数である。このように、規則性があるこの数に乗法や累乗などの演算をほどこすとその規則性が消えて（見えなくなって）しまう。

類似の数

• 他の進法で同様の数を考えることができる。例えば、二進法に関するチャンパーノウン定数 Cテンプレート:Sub は 0.11011100101110111…テンプレート:Sub（テンプレート:OEIS2C）であり、十進法で表記すると 0.86224012586805457… (テンプレート:OEIS2C) である。この数は二進正規数である。一般に、r 進法に関するチャンパーノウン定数 Cテンプレート:Sub は、基数 r に関して正規である。

一般に テンプレート:Math2 である任意の整数 テンプレート:Mvar について、テンプレート:Mvar進チャンパーノウン定数は以下の式で表せる。

$C_m=\sum _{n=1}^{\mathrm{\infty }}\frac{n}{m^{n+\sum _{k=1}^{n-1}\lfloor {\log }_m(k+1)\rfloor }}$

なお、空和は 0 と定義する。

• コープランド–エルデシュ定数は 0. の後に素数を小さい方から順に並べた表示をもつ数である。
• リウヴィル数は、歴史上最初に超越数であることが示された数で、小数第 n ! 位が 1、その他は 0 という小数表示を持つ数である。

関連項目

• 正規数
• 無理数
• 超越数

参考文献

• D. G. Champernowne, The construction of decimals normal in the scale of ten, Journal of the London Mathematical Society, vol. 8 (1933), p. 254-260
• K. Mahler, Arithmetische Eigenschaften einer Klasse von Dezimalbrüchen, Proc. Konin. Neder. Akad. Wet. Ser. A. 40 (1937), p. 421-428.
• Rytin, M. Champernowne Constant and Its Continued Fraction Expansion, (1999), http://library.wolfram.com/infocenter/MathSource/2876/

外部リンク

• テンプレート:高校数学の美しい物語