素数定数

テンプレート:出典の明記 素数定数（そすうていすう、テンプレート:Lang-en-short）は2進法の小数点以下 n 桁目を、n が素数ならば 1、そうでなければ 0 とした実数であり、記号 テンプレート:Mvar で表される：

$\rho =0.011010100010100010100010000{\dots }_2$（テンプレート:OEIS）

10進法では

$\rho =0.414682509851111660248109622\dots$（テンプレート:OEIS）

となる。

言い換えると、テンプレート:Mvar はテンプレート:Ill2が素数全体からなる集合 $\mathbb{P}$ の指示関数 ${\chi }_{\mathbb{P}}$ に対応する数である：

$\rho =\sum _{p\in \mathbb{P}}\frac{1}{2^p}=\sum _{n=1}^{\mathrm{\infty }}\frac{{\chi }_{\mathbb{P}}(n)}{2^n}.$

無理数性

ρが無理数であることは背理法を用いて容易に証明できる。

ρ の2進展開での k 桁目をr_kとする。ρが合成数とすると任意の自然数 i に対して、r_n = r_{n+ik}が　N < n、に対して成立する正の整数 N と k が存在する。 素数は無限に存在するため、N < p なる素数が存在し、定義によりr_p = 1である。前述の通り、任意の i に対して r_p = r_{p+ik}である。i=pを考えると、添字は素因数分解されるため、1< k+1 に対して r_{p+ik} = r_{p+pk} = r_{p(k+1)} = 0 である。したがって、r_p ≠ r_{p(k+1)}となり、矛盾するため、ρは無理数である。

関連項目

• テンプレート:仮リンク(twin prime constant)　ただし定義はかなり異なる。