El teorema de Brun establece que la suma de los recíprocos de los gemelos (pares de números primos que difieren solo en 2) converge a un valor finito conocido como la constante de Brun , que se denota como B 2 (secuencia A065421 en la OEIS ). El teorema de Brun fue demostrado por Viggo Brun en 1919 y tiene un significado histórico para los métodos de cribado .
La convergencia de la suma de recíprocos a números gemelos se deriva de la acotación de la densidad de la secuencia de números gemelos. Denotemos el número de primos para los que p + 2 también es primo (es decir , es el número de gemelos que no excede x ). Entonces para tenemos
Es decir, los números gemelos son más raros que los números primos por casi un factor logarítmico. De esta restricción se sigue que la suma de los recíprocos de los gemelos converge, o, en otras palabras, los gemelos forman un pequeño conjunto . monto explícito
tiene un número finito de términos o tiene un número infinito de términos pero converge a un valor conocido como la constante de Brun.
El hecho de que la suma de los recíprocos de los números primos diverja implica que hay infinitos números primos. Dado que la suma de los recíprocos de los números gemelos converge, es imposible concluir a partir de este resultado que hay infinitos números gemelos. La constante de Brun es irracional solo en el caso de un número infinito de gemelos.
Al calcular números gemelos hasta 10 14 (y encontrar un error Pentium FDIV en el camino ), Thomas R. Nicely estimó heurísticamente que la constante de Brun era aproximadamente 1.902160578 [1] . Muy bien extendió el cálculo a 1.6⋅10 15 el 18 de enero de 2010, pero no fue el cálculo más grande de este tipo.
En 2002, Pascal Seba y Patrick Demichel usaron todos los números gemelos hasta 10 16 y obtuvieron la estimación [2]
B2 ≈ 1,902160583104 .La estimación se basa en una estimación de la suma de 1.830484424658... para números gemelos menores que 10 16 . Dominic Clive mostró (en un resumen no publicado) que B 2 < 2.1754 bajo el supuesto de que la hipótesis de Riemann extendida [3] es verdadera .
También hay una constante de Brun para cuatrillizos gemelos . Un cuatrillizo primo es un par de dos gemelos primos separados por una distancia de 4 (la distancia más pequeña posible). Varios cuatrillizos - (5, 7, 11, 13), (11, 13, 17, 19), (101, 103, 107, 109). La constante de Brun para cuatrillizos, denominada B 4 , es la suma de los recíprocos de todos los cuatrillizos:
Y esta cantidad es
B 4 \u003d 0.87058 83800 ± 0.00000 00005, el error tiene un nivel de confianza del 99% (según Nicely) [4] .Esta constante no debe confundirse con la constante de Brun para primos relacionados , pares de primos de la forma ( p , p + 4), ya que esta constante también se escribe como B 4 .
Sea (secuencia A005597 en OEIS ) una constante de primos gemelos . Hay una hipótesis de que
En particular,
para todos y cada uno suficientemente grande x .
Muchos de los casos especiales mencionados anteriormente han sido probados. Recientemente, Jie Wu demostró que para x suficientemente grande ,
,donde 4.5 corresponde al caso anterior.
Los números constantes de Brun se usaron en una oferta de $1,902,160,540 en la subasta de patentes de Nortel . La aplicación fue publicada por Google y fue una de las tres aplicaciones de Google basadas en constantes matemáticas [5] .