La conjetura de Dixon es una suposición teórica de números realizada por Linord Dixon en 1904, que establece que para cualquier conjunto finito de formas lineales con , existen infinitos números naturales n para los cuales todos los valores de las formas serán primos al mismo tiempo, a menos que exista una comparación con respecto a algún módulo principal que excluya inmediatamente esta posibilidad.
Sea k un número natural, considere k progresiones aritméticas con números enteros , y . La conjetura de Dixon sugiere que hay infinitos números naturales n tales que para cada n todos los k números son primos. Sólo se excluye de la consideración el caso trivial, cuando existe un primo p tal que, para cualquier n , al menos un número es múltiplo de p . Esta restricción se puede reformular de la siguiente manera: no es cierto que para cualquier n se realice la comparación . En el último caso, tanto varias progresiones para diferentes n como una progresión para todos los n se pueden dividir por p . Por ejemplo, para 2 progresiones siempre , y para otras 2 progresiones para par n , y para impar - , de modo que en pares de progresiones y el número de pares simples no es infinito.
También notamos que la formulación de la hipótesis se vuelve más natural si su alcance se extiende de los números naturales a todos los números enteros, en particular, no solo los números positivos se consideran primos , sino también los números negativos (que de hecho son elementos primos en el anillo en el sentido habitual). En este caso, no hay necesidad de exigir la positividad de todos los valores de todas las progresiones , y por lo tanto la condición puede debilitarse a , y esta última puede eliminarse por completo, ya que de lo contrario no es una progresión aritmética.
Sea el número de soluciones de comparación . De acuerdo con el supuesto de la hipótesis, y luego de acuerdo con el razonamiento heurístico a favor de la hipótesis de Bateman-Horn, obtenemos que la densidad de números n que no exceda de x , para los cuales todos los números son primos, se estima por el valor
aquí el producto se toma sobre todos los números primos p y es el logaritmo natural del número. El valor es asintóticamente equivalente pero la primera expresión debería ser más precisa. Cuando , es fácil comprobar que el coeficiente será igual a , lo que corresponde al teorema de Dirichlet (aquí está la función de Euler ).
La conjetura de Dixon fue luego generalizada por Schinzel a la conjetura de Schinzel .
Hipótesis sobre los números primos | |
---|---|
Hipótesis |