Números primos de Pierpont y sus relacionados

Hay ya bastantes publicaciones e ideas sobre los primos de Pierpont. A pesar de ello, aún se puede volver a estudiarlos desde la forma de trabajar en este blog y las herramientas disponibles. Además, son interesantes los números directamente relacionados con ellos, como los de Mersenne, Fermat o Proth 

Definición y primeras consecuencias

Un número primo de Pierpont es un número primo de la forma 2^u3^v+1, donde u y v han de ser enteros no negativos. Esto nos lleva a consideraciones muy sencillas:

El exponente u no puede ser cero, pues la expresión sería par y, por tanto, no representaría a un número primo. De hecho, si v=0, deberá ser potencia de 2. La razón está en que una suma de potencias impares es divisible entre la suma de sus bases. Por ejemplo, (X⁵+y⁵)/(x+y)=x⁴-x³y+x²y²-xy³+y⁴. Si el exponente poseyera un factor primo distinto de 2, podríamos descomponer la potencia como “potencia de potencia”, y aislar el número impar. Por ejemplo 2¹² se podría expresar como 2² y luego elevado a 3, con lo que construiríamos una suma de potencias impares, y no podría ser primo. Todo este razonamiento nos lleva a que si v=0, los primos de Pierpoint serían también de Fermat. Más adelante regresaremos a esta idea.

El exponente v, si no es nulo, como también lo es u, convertiría al primo de Pierpoint en uno del tipo 6k+1, y posible elemento mayor de un par de primos gemelos. Otra vía para desarrollar más adelante.

Obtención de estos primos

Con las herramientas que se suelen usar en este blog es relativamente fácil encontrar los primeros primos de Pierpont. La primera idea es construir una tabla de doble entrada, una para 2^u y otra para 3^v, y combinarlas:

Por motivos como este sigo usando las hojas de cálculo, porque toda la tabla se genera con la fórmula siguiente y sus extensiones a derecha y abajo:

=SI(ESPRIMO(2^D$3*3^$C4+1);2^D$3*3^$C4+1;"")

Esta concurrencia entre dos potencias también se puede lograr con mi herramienta CARTESIUS

(https://www.hojamat.es/sindecimales/combinatoria/herramientas/herrcomb.htm#cartesius)

Su gestión no es fácil a veces, por lo que no acudo mucho a ella en lo que publico, pero en este caso demuestra su versatilidad. Basta darle las condiciones siguientes:

XTOTAL=2
XT=0..10
VALOR(2^X1*3^X2+1):PRIMO

Nota: Es posible que cuando se publique esta entrada aún no se haya implementado la condición VALOR, que es una mejora del año 2026.

Vienen a significar que combinaremos dos variables de 0 a 10, y que exigiremos que la expresión del paréntesis abajo (definición de primo de Pierpoint) debe ser un número primo. Su respuesta es (solo los primeros casos):

Aparecen los primos pedidos, pero desordenados. Por eso es preferible el procedimiento que elegiré en el siguiente apartado.

Caracterización de estos números

La segunda idea que se nos puede ocurrir es la de anidar dos bucles, uno con potencias de 2 y otro con las de 3, y filtrar los resultados con la condición ESPRIMO. Tendría el inconveniente de resultar un proceso largo y poco eficiente si deseamos manejar rangos de números grandes. Es preferible pensar en una función que nos determine si un número concreto es o no primo de Pierpont.

Para abordar esta función es bueno recordar el concepto de valuación de un número respecto a otro (ver https://hojaynumeros.blogspot.com/2012/12/volvemos-visitar-al-mayor-divisor-impar.html), y es el número de veces consecutivas que un número puede ser dividido por otro. Por ejemplo, VALUACIÓN(162,3)=4, porque 162 es divisible entre 3⁴.

En este caso, si P es de Pierpont, la valuación de P-1 para el 2 es el exponente u y la del 3 el v. Así, el criterio para saber si un número primo es de este tipo se podría expresar como

P-1=2^valuacion(P,2)*3^valuación(P,3)

En el lenguaje PARI ya viene implementada como valuation, y el criterio total sería:

p-1==(2^valuation(p-1,2))*(3^valuation(p-1,3))&&isprime(p)

Lo escribimos como un bucle con inicio y final y así logramos identificar los primos deseados dentro de un rango (inicio, final)

inicio=1;final=10000;for(p=inicio,final,if(p-1==(2^valuation(p-1,2))*(3^valuation(p-1,3))&&isprime(p),print1 (i,", ")))

Con él se consiguen fácilmente los primeros primos de Pierpont:

2, 3, 5, 7, 13, 17, 19, 37, 73, 97, 109, 163, 193, 257, 433, 487, 577, 769, 1153, 1297, 1459, 2593, 2917, 3457, 3889, …

Están publicados en https://oeis.org/A005109, y en esa página se pueden consultar variantes de esta idea.

Se conjetura que existen infinitos números de este tipo, pero no se ha demostrado.

Búsqueda con hoja de cálculo

En una hoja se pueden desarrollar varios aspectos, y quedan muy claros los detalles. Poseo una sencilla versión en VBASIC de la valuación:

Function valuacion(n, x) 'halla el exponente de la máxima potencia de x que divide a n

Dim s, v

s = n

v = 0

While esmultiplo(s, x): s = s / x: v = v + 1: Wend

valuacion = v

End Function

La función ESMULTIPLO se puede sustituir por s/x=s\x, que es equivalente

Con ella se puede construir una tabla más extensa de resultados, introduciendo líneas similares a las siguientes en un buscador:

a = valuacion(i - 1, 2)

b = valuacion(i - 1, 3)

 

If i - 1 = potencia(2, a) * potencia(3, b) And esprimo(i) Then

 

Añadiendo detalles, el resultado sería:

Algunos del tipo 6k+1 son primos gemelos con sus anteriores, como 5, 7, 13 o 19.

La ventaja de este método es que podemos ir a un rango más alto. Estos son los primeros primos de Pierpont a partir de 1000:

La aparición de los números de Fermat da lugar a un curioso paralelismo, que no desarrollaré porque ya ha sido bien explicado en otros lugares. Los de Fermat influyen en la construcción de un polígono con regla y compás, mientras los de Pierpoint lo hacen si se usan dobleces de un papel. En Wikipedia se explica de forma clara y breve.

(https://es.wikipedia.org/wiki/N%C3%BAmero_primo_de_Pierpont)

Como anuncié en los primeros párrafos, sólo desarrollaré aspectos en los que sean útiles mis herramientas usuales. El resto de cuestiones es muy accesible con una buena búsqueda.

Números afines a los primos de Pierpoint

Ya se ha visto su relación con los números de Fermat. También tienen una definición parecida los siguientes:

Primos de Proth

Tienen como definición el ser números primos de la forma k2ⁿ+1, con k impar y menor que 2ⁿ. Se deduce que algunos de este tipo también serán de Pierpoint, como 3¹*2²+1=13. Cambiando las instrucciones en un buscador de hoja de cálculo tendríamos:

a = valuacion(i - 1, 2)

c = potencia(2, a)

b = (i - 1) / c

 

If b = Int(b + 0.00001) And b < c And i = b * c + 1 And esprimo(i) Then

Resultado:

Serán también primos de Pierpoint aquellos en los que K sea potencia de 3 (incluido el 1).

Están publicados en https://oeis.org/A080076

Es muy fácil encontrar sus propiedades.

 Primos de Pierpoint de segunda clase

Podemos cambiar la definición de los primos de Pierpoint caracterizándolos como 2^u3^v − 1.

La caracterización de estos números pasaría por usar la valuación respecto a 2 o a 3 del número p+1 en lugar de p-1.

Como ya están publicados en https://oeis.org/A005105, es trabajo inútil volver a repetir cálculos ya conocidos. Los primeros son:

2, 3, 5, 7, 11, 17, 23, 31, 47, 53, 71, 107, 127, 191, 383, 431, 647, 863, 971, 1151, 2591, 4373, 6143, 6911, …

En este listado, los elementos con v distinto de cero, serán del tipo 6k-1. Si v=0, no es aquí necesario que u sea potencia de 2, y así , podemos encontrar entre ellos primos de Mersenne, del tipo 2^k-1 con k primo. En el listado podemos identificar 3, 7, 31 y 127.

Se podría pensar aquí también en los números del tipo 6ⁿ-1, pero son todos múltiplos de 5, lo que nos lleva a que u ha de ser distinto de v.

 

 

 

Solución única

En mis cálculos diarios y búsquedas en este blog no ha sido frecuente encontrar solución única a algunas de las cuestiones. En general, aparecen varias o ninguna, pero pocas veces una sola solución. Un ejemplo que busco a diario es el de descomponer un número como suma de un primo y un cuadrado distinto de cero. Normalmente aparecen tantas soluciones que no caben en pantalla, y sólo en contados casos, obtengo tres o cuatro nada más. Son números de cuatro a seis cifras, y era esperable esa cantidad. Sin embargo, con números menores se obtienen frecuentemente soluciones únicas.

 Suma de cuadrado y primo

Estos son algunos ejemplos de solución única con cuadrados y primos:

19=4^2+3, 22=3^2+13, 24=1^2+23, 26=3^2+17, 29=4^2+13, 36=5^2+11

¿Hasta dónde llegará esa posibilidad? Lo iré viendo en algunos casos. Normalmente van escaseando las soluciones de una búsqueda, y. a veces, los autores terminan con una conjetura: “Para números mayores que 10^17 no se observan soluciones…”. Se queda ahí la cuestión hasta que alguien pueda demostrarlo. Eso haré en esta entrada si es necesario.

He comenzado con hoja de cálculo, y hasta el 70000 aparecen soluciones únicas con una frecuencia mínima, pero apreciable. Estos son los casos entre 50000 y 70000:

A partir de aquí, deberé ensayar con PARI, que, como ya es sabido, maneja mejor los números grandes. He construido este código:

primomascuad(n)=my(s=List(),m=0,r=sqrt(n),p);for(i=1,r,p=n-i^2;if(isprime(p),m+=1;listput(s,i);listput(s,p)));s

for(i=50000,70000,s=primomascuad(i);if(#s==2,print(i,", ",s)))

La primera parte imita una función antigua que poseo para hoja de cálculo. Recorre todos los cuadrados menores que el número y busca aquellas diferencias que sean número primo. Las que lo son se incorporan a una lista, formada por cada base de cuadrado y cada primo. En la última línea, la igualdad #s==2, admite sólo aquellas listas con una sola solución (dos números). En el rango 50000 a 70000 coincide con VBASIC, en otro formato de presentación:

 

Es de esperar que en rangos mayores vayan escaseando las soluciones, pero me ha sorprendido que no parecen desaparecer.

Del 10000 al 20000 aparecen 28, y llama la atención 10000=99²+199.

En los siguientes rangos del mismo tamaño van disminuyendo las frecuencias a 9, 12, 9, 7, 6, 5, 6, 7, 6, 4, 3, 3, 5, 2, 4, 3, 4, 4, … hasta llegar al 200000-210000 en el que aparecen 2.

Estoy acostumbrado a estos resultados, similares a los de los “sucesos raros” en Estadística, y puede ocurrir que lleguemos a intervalos con ningún resultado. Por ejemplo, en el rango 2000000-2100000, que es diez veces más amplio, obtenemos 9.

Si alguien tiene más paciencia que yo, es posible que llegue a una potencia de 10 en la que ya no aparezcan casos. Siempre será una conjetura lo que descubra.

 Suma de cuadrado y capicúa

También esta búsqueda la emprendo casi a diario. Suele proporcionarme de dos a cuatro soluciones, y sería interesante encontrar números con solución única. Basta leer mi entrada https://hojaynumeros.blogspot.com/2017/10/suma-de-cuadrado-y-capicua.html para entender que deberemos fijar en 1 el número de soluciones. En la tabla que he elaborado he suprimido los capicúas de una sola cifra, porque restan interés a la búsqueda, por su abundancia. Contiene los primeros números con esta propiedad a partir del 2000:

 

 Suma de dos simétricos

Este es un ejemplo similar a los anteriores, en el que no hay una teoría que nos respalde, y es inevitable acudir a la búsqueda. En este blog hemos usado la función CIFRAINVER, que devuelve el simétrico de un número (ver, por ejemplo, https://hojaynumeros.blogspot.com/2022/04/relaciones-entre-numeros-con-cifras.html)

Para que la búsqueda no esté contaminada por ejemplos triviales, se exigirá que el número no sea múltiplo de 10, para evitar que el simétrico pierda una cifra. También deberá ser el primer sumando mayor que el segundo, y así evitar que una suma aparezca dos veces. Son condiciones que no son necesarias, pero pulen un poco los resultados.

Usaré esta función:

Function dossimetricos$(n)

Dim i, m

Dim s$

 

s = ""

m = 0 ‘Contenedor s y contador m

For i = 1 To n

p = cifrainver(i)

If i + p = n And i > p And i Mod 10 <> 0 Then m = m + 1: s = s + " = " + ajusta(i) + "+" + ajusta(cifrainver(i)) ‘Hay solución

Next i

If s = "" Then s = "NO" Else s = ajusta(m) + ": " + s

dossimetricos = s

End Function

 

Al comenzar la salida de la función con el número de soluciones, es fácil identificar los números que poseen una. Para mi uso diario basta con este código, pero en esta búsqueda, para que sea interesante, desecharé las soluciones en las que ambos sumandos simétricos sean iguales.

Los primeros que aparecen con estas condiciones son:

 

 

Observamos que presentan una frecuencia apreciable.

 Resultados ciertos

En los anteriores ejemplos, la aparición de números con una sola descomposición se dejó en simple posibilidad para rangos de un número grande en adelante. En otros ejemplos se tiene la certeza de los números que presentan un solo resultado. Repaso brevemente algunos estudiados en este blog.

Primos del tipo 4k+1

Son los llamados también primos pitagóricos. Se estudiaron aquí (ver https://hojaynumeros.blogspot.com/2025/11/primos-pitagoricos.html) y se explicó que sólo admiten una descomposición en una suma de cuadrados. Por ejemplo, 12037 es primo de este tipo, y sólo admite la descomposición 12037=74²+81²

Una sola ocasión de ser hipotenusa

Estudiamos este tema en la entrada https://hojaynumeros.blogspot.com/2025/10/en-cuantas-ternas-pitagoricas-1.html

Según lo visto en ella, los números que contengan un solo factor primo del tipo 4k+1 y el resto (salvo el 2, que no influye) elevados a una potencia par, son los únicos que podrán ser hipotenusas en una terna pitagórica. Como en la terna figura al cuadrado, la condición de exponente par no influye. Así nos queda como condición que exista solo un factor del tipo 4k+1.

En la tabla siguiente figuran soluciones a partir de 1200 y se puede comprobar que solo presentan un factor del tipo 4k+1 elevado a 1:

 

 Una sola ocasión de ser cateto

Esta cuestión también puede producir resultados seguros, sin conjeturas para números grandes. Puedes leer mis entradas

https://hojaynumeros.blogspot.com/2025/10/en-cuantas-ternas-pitagoricas-2.html

https://hojaynumeros.blogspot.com/2017/01/numero-de-descomposiciones-en.html

En ellas se explica que todo depende de las formas de descomponer N² en productos de la misma paridad. Remito a ellas. Un caso particular es el de los primos impares. En la tabla siguiente observamos las soluciones en el mismo rango del párrafo anterior:

Resultan primos y semiprimos con el factor 2, pero lo que nos interesa es que existe un procedimiento seguro. Siempre es preferible a la necesidad de acudir a una búsqueda.