Sebastián Martín Ruiz me manda un mail hablándome sobre un nuevo tipo de números cuya descripción ha creado él mismo: los primos pseudogemelos. Vamos a ver cómo se construyen:

Definición

Dados n,m enteros positivos mayores o iguales que 1 definimos la siguiente operación entre ellos:

TW \left [n,m \right ]=\cfrac{\left [ (n-1)!+1 \right ] \left [ (m-1)!+1 \right ] (n^2+m^2)}{n^2 m^2+2nm}

Decimos que n y m son números primos pseudogemelos si TW \left [n,m \right ] es un número entero.

¿Por qué primos pseudogemelos?

La primera pregunta que puede venirnos a la cabeza es la que encabeza esta parte del artículo: ¿por qué primos pseudogemelos?. Pues muy sencillo: casi todos los valores enteros de la expresión TW \left [n,m \right ] se toman en primos gemelos. De hecho esta fórmula es mucho más sorprendente: todas las parejas de primos gemelos hacen que TW \left [n,m \right ] tome como valor un número entero. Bueno, en realidad esto es una conjetura apoyada en pruebas experimentales. Introduciendo las órdenes

F[n_,m_]:=((n-1)!+1)*((m-1)!+1)*(m^2+n^2)/((m*n)*(m*n+2))
Do[If[IntegerQ[F[n,m]],Print[n,» «,m]],{n,2,2000},{m,n,2000}]

podemos encontrar con el programa Mathematica las parejas de primos pseudogemelos, es decir, las parejas de números enteros positivos que hacen que TW \left [n,m \right ] sea un número entero, menores que 2000. En este enlace podéis encontrar varias listas de primos gemelos con las que comprobar este hecho. Os dejo aquí la lista de parejas que aparecen de 2 a 2000 que me envió Sebastián (en negrita las dos únicas parejas que no son primos gemelos) y otra de 2000 a 4000 que he generado yo (cambiando {n,2,2000},{m,n,2000} por {n,2000,4000},{m,n,4000} en las órdenes anteriores) para que podáis compararlas con la de los primos gemelos:

De 2 a 2000

3 5
5 7
7 191
11 13
17 19
29 31
41 43
41 1993
59 61
71 73
101 103
107 109
137 139
149 151
179 181
191 193
197 199
227 229
239 241
269 271
281 283
311 313
347 349
419 421
431 433
461 463
521 523
569 571
599 601
617 619
641 643
659 661
809 811
821 823
827 829
857 859
881 883
1019 1021
1031 1033
1049 1051
1061 1063
1091 1093
1151 1153
1229 1231
1277 1279
1289 1291
1301 1303
1319 1321
1427 1429
1451 1453
1481 1483
1487 1489
1607 1609
1619 1621
1667 1669
1697 1699
1721 1723
1787 1789
1871 1873
1877 1879
1931 1933
1949 1951
1997 1999

De 2000 a 4000

Do[If[IntegerQ[F[n,m]],Print[n,» «,m]],{n,2000,4000},{m,n,4000}]

2027 2029
2081 2083
2087 2089
2111 2113
2129 2131
2141 2143
2237 2239
2267 2269
2309 2311
2339 2341
2381 2383
2549 2551
2591 2593
2657 2659
2687 2689
2711 2713
2729 2731
2789 2791
2801 2803
2969 2971
2999 3001
3119 3121
3167 3169
3251 3253
3257 3259
3299 3301
3329 3331
3359 3361
3371 3373
3389 3391
3461 3463
3467 3469
3527 3529
3539 3541
3557 3559
3581 3583
3671 3673
3767 3769
3821 3823
3851 3853
3917 3919
3929 3931

Comencé las comprobaciones para números mayores pero tarda demasiado y han salido muy pocos: entre 4000 y 6000 he obtenido las siete primeras parejas y coinciden con los primos gemelos y entre 6000 y 8000 he conseguido las tres primeras parejas y también coinciden. De todas formas igual las órdenes de Mathematica que ha utilizado Sebastián igual son mejorables en el sentido de agilizar los cálculos. Si conocéis alguna mejora no dudéis en comentarla.

¿Sólo aparecen primos gemelos?

Hasta 4000 sólo aparecen dos parejas de números que hacen que TW \left [n,m \right ] tome un valor entero pero no son primos gemelos: (7,191) y (41,1993). ¿Son las únicas parejas? No se sabe. Es otra pregunta que se nos ocurren a la vista de la fórmula.

Cuestiones

Por tanto después de todo lo comentado tenemos principalmente estas dos cuestiones planteadas por Sebastián:

1.- Demostrar que si n y m son primos gemelos entonces son primos pseudogemelos.
2.- Encontrar más parejas de primos pseudogemelos que no sean primos gemelos aparte de (7,191) y (41,1993).

A la vista de los datos experimentales no parece que haya más parejas de primos pseudogemelos que no sean primos gemelos. Si ésto fuera así y si se demuestra la primera cuestión tendríamos el siguiente resultado:

Los conjuntos {parejas de primos pseudogemelos} y {parejas de primos gemelos} coinciden salvo en las parejas (7,191) y (41,1993) que pertenecen al primer conjunto pero no al segundo.

Esto sería un descubrimiento bestial ya que supondría haber encontrado una fórmula para generar parejas de números primos gemelos, cosa que, hasta donde yo sé, no existía hasta la fecha. Y por extensión también para encontrar nuevos números primos, ya que todos los números que aparecen a partir de la fórmula son números primos. No los encontraremos todos, pero sí podríamos encontrar primos realmente grandes con una fórmula bastante simple comparada con los algoritmos que existen en la actualidad. De hecho estos algoritmos, también hasta donde yo sé, lo que hacen es tomar un número y aplicarle ciertos resultados para determinar si es primo. Esta fórmula también es mejor en este sentido ya que, siempre partiendo de que la cuestión anterior es cierta, no hace falta introducirle un número para comprobar, los genera sola. Lo dicho, bestial.

¿Habrá conseguido Sebastián abrir la puerta del descubrimiento de una fórmula generadora de números primos gemelos y en consecuencia también de números primos? Si es así, como he comentado antes, esta fórmula no los generaría a todos. De todas formas, ¿servirá esta fórmula para encontrar otras a partir de ella que generen los restantes? Preguntas sin respuesta, al menos por ahora.

El último dato del asunto que tengo en mi poder es que Sebastián ha enviado su fórmula con las cuestiones a varios sitios, entre los cuales está Prime Puzzles, web dedicada a recopilar los problemas más interesantes relacionados con los números primos. Podéis encontrar el problema de los números primos pseudogemelos en este enlace: Puzzle 444: Pseudo Twin primes. También ha enviado la información a Wolfram y a algunos otros sitios para que lo analicen. Tendremos que estar atentos.

Actualización: Me informa Sebastián por mail de que ha encontrado dos parejas más de números que cumplen que la fórmula da un número entero pero no son primos gemelos. Aquí las tenéis:

(59,13537)
(241,45293)

De todas formas parece que el resto siguen coincidiendo con las parejas de primos gemelos. Seguiré actualizando esta entrada conforme me vayan llegando más datos.

Print Friendly, PDF & Email