title: Constante des nombres premiers
text: # Constante des nombres premiers
  
  En mathématiques récréatives, la constante des nombres premiers est le nombre réel $\rho$, compris entre 0 et 1, dont le $n$-ième chiffre binaire après la virgule est 1 si $n$ est premier et 0 si $n$ est composé ou égal à 1.
  
  ## Description
  
  De façon plus rigoureuse, le développement binaire de $\rho$ correspond à la fonction caractéristique $\chi _{\mathbb {P} }$ de l'ensemble $\mathbb {P}$ des nombres premiers :
  
      $\rho =\sum _{p\in \mathbb {P} }{\frac {1}{2^{p}}}=\sum _{n\in \mathbb {N} ^{*}}{\frac {\chi _{\mathbb {P} }(n)}{2^{n}}}.$
  
  Le début du développement décimal de ρ est : $0{,}4146825098$. Le début de son développement binaire est : $0{,}0110101000$.
  
  On démontre par l'absurde que $\rho$ est irrationnel. Pour cela, supposons qu'il est rationnel, c'est-à-dire de développement périodique à partir d'un certain rang, en base b = 10 comme en toute base b entière, en particulier en base deux.
  
  Notons $r_{k}$ le $k$-ième chiffre de ce développement binaire de $\rho$. Il existe donc deux entiers $k>0$ et $N$ tels que $r_{n}=r_{n+k}$ pour tout $n\geq N$.
  
  Pour $k$ et $N$ comme ci-dessus, choisissons un nombre premier $p\geq N$. Alors, $1=r_{p}=r_{p+k}=r_{p+2k}=\dots =r_{p+pk}$, ce qui est absurde puisque $p+pk=p(k+1)$ est composé.
  
  