Una conjetura sobre la función de conteo de números primos

Usando este lema se puede probar que Δ ( metro , norte ) = π ( metro norte ) π ( metro ) π ( norte ) + 1 (dónde π es la función de conteo primo) es una función Δ : norte × norte norte .

Conjetura reformulada :

Dado metro norte , metro > 2 , entonces norte norte es un primo impar si Δ ( metro , norte 1 ) > Δ ( metro , norte ) < Δ ( metro , norte + 1 ) y si norte entonces es un primo impar Δ ( metro , norte 1 ) Δ ( metro , norte ) Δ ( metro , norte + 1 ) .

La conjetura se prueba para metro , norte < 3000 .


Contraejemplo : 5879 es primo, pero Δ ( 5878 , 5879 ) = 1525672 > Δ ( 5878 , 5878 ) = 1523414

Δ ( 3 , 11 ) = Δ ( 3 , 12 ) .
Gracias @Wojowu, ¡debería haberlo probado mejor! Podría reformular.

Respuestas (1)

Suponer Δ ( metro , norte 1 ) > Δ ( metro , norte ) , entonces

π ( metro norte metro ) π ( metro ) π ( norte 1 ) + 1 > π ( metro norte ) π ( metro ) π ( norte ) + 1 π ( metro ) π ( norte ) π ( metro ) π ( norte 1 ) > π ( metro norte ) π ( metro norte metro ) 0 π ( norte ) > π ( norte 1 )
entonces norte debe ser primo, ya que π ( X ) aumenta en norte .

Si norte es primo, entonces π ( norte ) = π ( norte 1 ) + 1 , para que podamos transformar Δ ( metro , norte 1 ) Δ ( metro , norte ) como sigue:

π ( metro norte metro ) π ( metro ) π ( norte 1 ) + 1 π ( metro norte ) π ( metro ) π ( norte ) + 1 π ( metro ) π ( norte ) π ( metro ) π ( norte 1 ) π ( metro norte ) π ( metro norte metro ) π ( metro ) π ( metro norte ) π ( metro norte metro )
Esto es equivalente a casos específicos de la segunda conjetura de Hardy-Littlewood . Obviamente, no obtenemos una generalidad completa, pero, sin embargo, dudo seriamente que se sepa algo sobre esto. Aunque se cree que la conjetura mencionada es falsa, este caso especial también podría ser cierto.

Por último, si norte es primo impar, entonces norte + 1 no lo es, entonces π ( norte + 1 ) = π ( norte ) , tan transformador Δ ( metro , norte + 1 ) Δ ( metro , norte ) conseguimos fácilmente

π ( metro norte + metro ) π ( metro norte )
lo cual es claramente cierto.

Para resumir:

La primera parte de tu conjetura es cierta. De hecho, ya Δ ( metro , norte 1 ) > Δ ( metro , norte ) implica norte es primo

Primalidad de norte implica Δ ( metro , norte + 1 ) Δ ( metro , norte ) , pero si implica Δ ( metro , norte 1 ) Δ ( metro , norte ) es muy probable que sea un problema abierto.

Me gusta mucho como resuelves este tipo de problemas...
@Lehs ¿Qué quieres decir? Acabo de descifrar la definición de Δ e hizo algunas transformaciones elementales.
Es fácil cuando está hecho. Pero nunca fui un buen solucionador de problemas y ahora estoy oxidado y perezoso... Pero nunca es demasiado tarde para aprender y desarrollarme.