En esta última pregunta el autor de la pregunta estaba buscando una prueba de la existencia de infinitos números primos p tanto p−2 e p+2 son compuestos. Una muy upvoted respuesta por medio de la lluvia de estrellas el hecho de que todos los números primos de la forma p=15n+8 califica. Luego llamó a Dirichlet del teorema de los números primos en una progresión aritmética para llegar a una respuesta afirmativa.
Me gustaría ver un "elemental" en la prueba de la infinitud de los números primos en una progresión aritmética que cabe aquí. Así que generalizar lluvia de estrellas de la receta a la siguiente pregunta:
Hay un ejemplo de un par de enteros (a,n) tal que gcd, \gcd(a+2,n)>1, y que hay una primaria de la prueba de la infinitud de los números primos p\equiv a\pmod n?
Su definición de "elementary" puede variar. Voy a dejar que algo abierto a propósito, pero al menos nada más elementales de L-funciones serán elegibles.
Esto puede llegar a ser agotadora. No hay escasez de primaria las pruebas de la infinitud de los números primos en una progresión aritmética en nuestro sitio:
- p\equiv\pm1\pmod4 (muchos hilos),
- p\equiv3\pmod8,
- p\equiv1\pmod n,
- p\equiv7\pmod{12}.
Sin embargo, esos métodos no funcionan para los fines de mi pregunta. Eso es porque no es una más profunda debido a Murty y Thain, que localmente se conoce aquí, afirmando que un "Euclides estilo de" prueba de la infinitud de los primos p\equiv a\pmod n existe si y sólo si a^2\equiv1\pmod n.
Esto descarta Euclides estilo de las pruebas como una opción. Por si a^2\equiv1\pmod n, a continuación, n\mid a^2-1. Pero, junto con ello, las condiciones de \gcd(a-2,n)>1 e \gcd(a+2,n)>1 implica que 1<\gcd((a-2)(a+2),n)=\gcd(a^2-4,n)=\gcd(3,n). Que gcd por lo tanto solo pueden ser 3, pero es obvio que 3 no puede ser un factor de a-2 e a+2.
Así que es necesario algo más! Esto puede ser una tarea difícil, pero estoy preguntando esto en caso de que esto suena una campana.
"Euclides estilo de" prueba significa más o menos el siguiente: Supongamos que tenemos una exhaustiva (finito) de la lista de números primos p_1,\ldots,p_k en un determinado residuo de la clase. A continuación, un hábilmente elegido polinomio P evaluados en p_1p_2\cdots p_k puede ser demostrado tener un primer factor de este residuo de la clase, pero no es igual a cualquiera de p_i. Ergo, debe ser infinitamente muchos de esos números primos. En otras palabras, la imitación de Euclides de la clásica prueba de la infinitud de los números primos.