Copeland-Erdős állandó

A Copeland-Erdős konstans  egy valós szám, amelyet "0" ("nulla egész szám...") összefűzéseként szerkesztenek meg növekvő prímszámok összefűzött sorozatával decimális jelöléssel [ 1 ] :

0,235711131719232931374143…

Az állandó irracionális ; ezt a tényt Dirichlet-tétel a prímszámokról aritmetikai progresszióban vagy Bertrand [2] vagy Ramare tétele (amely szerint minden páros egész legfeljebb hat prímszám összege) igazolhatja. Ez a tény abból is következik, hogy ez az állandó egy normál szám ; a konstans tizedes jelölésben való normálisságát 1949 - ben Arthur Copeland és Erdős Pál bizonyította . 

Irracionális lesz minden olyan állandó, amelyet a "0" összefűzésével hozunk létre, minden prímszámmal aritmetikai sorozatban , ahol  egy viszonylag prímszám a számmal és a 10-gyel. Például ezek olyan prímszámok, amelyek vagy alakúak . Dirichlet tétele szerint egy aritmetikai sorozat tetszőleges számhoz tartalmaz prímeket , és ezek a prímek is benne vannak , ezért ezek között az összefűzött prímek között tetszőleges számú egymást követő nulla lesz.

A Copeland-Erdős állandó a következőképpen fejezhető ki:

,

hol  van a prímszám .

Egy szám folyamatos törtrésze [0; 4, 4, 8, 16, 18, 5, 1, …] [3] .

Hasonló állandók

Bármilyen alapszámú pozíciószámrendszerhez :

,

ami ebben a számrendszerben felírható 0,0110101000101000101…, ahol a -edik számjegy 1, ha  prímszám, akkor irracionális [4] .

A Champernowne-állandó  az összes pozitív egész szám összefűzése, nem csak a prímszámok.

Jegyzetek

  1. OEIS szekvencia A033308 _
  2. Hardy, Wright, 1938 , p. 113.
  3. A030168
  4. Hardy, Wright, 1938 , p. 112.

Linkek