Pregunta:
¿Cómo se puede probar que los números enteros de la forma son los únicos que (cuando se multiplican por ) corresponden a múltiplos de no entre primos gemelos? ¿Cómo sabemos que no existen otros números enteros tales que cuando se multiplican por sus productos tampoco están entre primos gemelos?
Contexto:
Hace unos años, hice esta pregunta con la esperanza de que alguien pudiera tener algún consejo sobre cómo abordar las ecuaciones diofánticas de este tipo. No hay tal suerte.
Específicamente, la pregunta tiene que ver con encontrar soluciones enteras. a la siguiente ecuacion
Como todo par de primos gemelos debe tener un múltiplo de entre ellos, es una cuestión simple mostrar que los números enteros, , de esta forma corresponden a múltiplos de que no marcan un par primo gemelo, es decir o no es primo.
El razonamiento es simplemente que siempre que un múltiplo de es divisible por un número entero uno menor o uno mayor que algún otro múltiplo de , entonces hay un múltiplo cercano de que es adyacente a un múltiplo de ese mismo número uno menos o uno mayor. Por ejemplo, es divisible por , entonces tampoco ni pueden caer entre primos gemelos ya que son adyacentes a y respectivamente. Asimismo, es múltiplo de que no está entre primos gemelos ya que , y esto se puede determinar con la fórmula ya que , , y es múltiplo de .
En otras palabras, esta ecuación actúa como un tamiz seleccionando múltiplos de que definitivamente no son vecinos de primos gemelos. Por lo tanto, esta línea de razonamiento impone una condición necesaria a cualquier posible candidato a prima gemela.
¿Es esta condición no sólo necesaria sino suficiente?
El colaborador de OEIS, Jon Perry, parece pensar que es suficiente, ya que afirma aquí que "6n-1 y 6n+1 son primos gemelos si y solo si n no tiene la forma 6ab +- a +- b".
La prueba del condicional es bastante sencilla (como ya he explicado), pero lo contrario es mucho menos obvio para mí.
¿Cómo se puede probar que "si no es de la forma , entonces y son primos gemelos"?
Supongamos que tenemos que no se puede expresar en la forma (para todos ).
Ahora supongamos no es primo, entonces (para algunos ) contradiciendo la hipótesis.
O supongamos no es primo, entonces (para algunos ) o (para algunos ) de cualquier manera, contradiciendo la hipótesis.
si un numero que no se puede expresar en la forma entonces será un par primo y los pares primos solo pueden ser generados por con esta propiedad (aparte del par ).
Piquito
Geoffrey
Donald balbuceo
Geoffrey