Una constante prima es un número real cuyo enésimo dígito binario es 1 si n es primo y 0 si n es compuesto o 1.
En otras palabras, es simplemente un número cuya descomposición binaria corresponde a la función indicadora del conjunto de números primos . Eso es
donde denota un número primo, y es la función característica de los números primos.
Dígitos iniciales de la representación decimal del número ρ : (secuencia A051006 en OEIS )
Caracteres principales de representación binaria: (secuencia A010051 en OEIS )
Es fácil demostrar que un número es irracional . Para ver esto, supongamos que es racional.
Denotemos el signo th de la representación binaria por . Entonces, dado que es racional por suposición, debe haber números positivos y tales que para todos y todas .
Como hay infinitos números primos, podemos elegir un número primo . Por definición, sabemos que . Como se indicó anteriormente, debe ser cierto para cualquier . Consideremos el caso . Tenemos , desde , porque . Como , debemos afirmar que es irracional.
Numeros irracionales | ||
---|---|---|
| ||