Funciones definidas para tipos de números (1)

 Introducción

En algunos cálculos se desea poder usar funciones definidas del tipo PRIMO(N), PELL(N), que se puedan integrar en expresiones, como 2*PRIMO(6) o (FIBONACCI(7))^2. En ellas llamaremos orden al contenido del paréntesis. Así, PRIMO(7) poseería orden 7, que correspondería con el número de primos menores o iguales al dado.

 

El objetivo de esta entrada es la construcción de estas funciones en los casos más populares, así como las complementarias para encontrar el orden, según ellas, de un número dado. Así, por ejemplo, PRIMO(6)=13 y ORDENPRIMO(13)=6. Algunas de ellas se han usado en este blog, por lo que sólo se enlazarán cuando llegue su turno.

 

Veremos tres clases de situaciones:

 1) El tipo de número posee fórmula (se comprende que debe ser sencilla). Es el caso de TRIANGULAR(N)=N(N+1)/2. Entonces existirá un procedimiento algebraico no muy difícil.

 2) No existe fórmula alguna. Los números primos y los libres de cuadrados, por ejemplo, se encuentran por búsqueda. En ese caso será imprescindible un bucle respecto a una variable para encontrarlos. Se necesita un lenguaje de programación.

 3) Son elementos de una sucesión recurrente. Aunque suelen existir fórmulas para todos ellos, su complicación no los aconseja, y es más sencilla la programación en un lenguaje. Como caso particular se verán las sucesiones del tipo Horadam.

Existe otra posibilidad, y es que posean una función generatriz. Este procedimiento se ha usado mucho en este blog, pero no entra en el objetivo de esta entrada.

Dedicaremos tres entradas a esta cuestión

 

Funciones con fórmula

 

Muchas de ellas se han utilizado aquí ya. Las más importantes son las de números figurados, como TRIANGULAR(N), HEXAGONAL(N) O PIRAMIDAL(N,K). Elijo algunos ejemplos con cierto interés:

  

TRIANGULAR(N)

 

La fórmula directa, TRIANGULAR(N)=N*(N+1)/2, no necesita explicación, pero para hallar la de su orden hay que recordar que, dado un triangular cualquiera, T(N), la expresión 8T(N)+1 es un cuadrado. De ahí podemos sacar su orden. Una versión podría ser el siguiente:

 

Function ordentriang(n)

Dim a

a = Int((Sqr(8 * n + 1) - 1) / 2)

If a * (a + 1) = 2 * n Then ordentriang = a else ordentriang = 0

End Function

 

Una situación similar es la de la función OBLONGO(N)=N(N+1), sólo que aquí la propiedad básica es que cuatro veces un oblongo más la unidad es un cuadrado, así que sustituyendo en la función anterior un 8 por un 4 obtenemos la expresión de ORDENOBLONGO(N).

 

En la práctica, es mucho más útil

ORDENOBLONGO(N)=ENTERO(RAIZ(n))

No es difícil razonarlo.

 

Por ejemplo, resolvemos la cuestión de si existen oblongos que sean consecutivos a un triangular. Para ello se inserta en un buscador la condición

 

If escuad(8 * i + 1) And escuad(4 * (i + 1) + 1) Then

 

El escaso resultado era previsible, ya que se exige una condición difícil de cumplir, pero se encuentran tres soluciones entre los primeros cincuenta mil números, 1 con 2, 55 y 56, y el par 1891, 1892:

 

 

El resto de soluciones está publicado en https://oeis.org/A217758

 

Un atajo:

 

Si usamos el álgebra, obtenemos:

 

Es n(n+1)/2+1=k(k+1), n²+n+2=2k²+2k, 4n²+4n+8=8k²+8k,

(2n+1)²+7=2(2k+1)²-2 y hago X=2n+1 Y=2k+1

X²-2y²=-9, luego (X²+9)/2 es cuadrado

 

Le inserto esta condición al buscador y obtengo los triangulares publicados:

 

Siempre hay que acudir al Álgebra cuando se pueda.

 

POLIGONAL(N;K)

 

Fórmula directa

 

Los números poligonales poseen una fórmula general, que he desarrollado en mi publicación Números poligonales:

Su traducción es inmediata:

 

En VBASIC:

 

Function poligonal(n, k)

poligonal = n * (n * (k - 2) - (k - 4)) / 2

End Function

  

Fórmula del orden

El problema inverso es algo complicado. Lo puedes consultar en el apartado de Caracterización de los poligonales, en la publicación enlazada más arriba.

 

Su desarrollo en VBASIC es

 

Function ordenpoligonal(n, k)

Dim d, e, m

  

m = 0

d = (k - 4) ^ 2 + 8 * n * (k - 2)

If escuad(d) Then

m = (k - 4 + Sqr(d)) / 2 / (k - 2)

If esentero(m) Then e = m Else e = 0

End If

espoligonal = e

End Function

 

Esta función devuelve un cero si el número no es poligonal, y su orden si lo es. Las funciones ESCUAD Y ESENTERO se pueden buscar en este blog, o sustituirlas por cálculos más directos.

 

Estas dos funciones poseen una traducción sencilla a PARI, por lo que no se incluye.

 

Con ellas podemos buscar relaciones entre poligonales. Por ejemplo ¿Para qué órdenes la suma de un cuadrado con un triangular del mismo orden da una suma hexagonal?

 

Se buscaría que poligonal(i,3)+poligonal(i,4)=poligonal(k,6)

 

Con un buscador he encontrado estas dos primeras soluciones, con comprobación de la relación de suma entre ellas:

 

 

Otros poligonales

 

En mi calculadora de números figurados CALCUPOL, en su código VBASIC, puedes consultar todas las funciones disponibles para poligonales centrados, piramidales 3D y piramidales 4D. Es un tema tan extenso, que es preferible dejarlo como complemento para las personas interesadas.

(https://www.hojamat.es/sindecimales/aritmetica/herramientas/herrarit.htm#figurados)

 

 

Unas recurrencias muy útiles

Quienes usamos a menudo los números poligonales nos encontramos con esta relación de recurrencia de tercer orden:

x_n= 3x_n-1-3x_n-2+x_n-3

El origen de esta presencia es que se pueden generar con ella los números naturales, sus cuadrados y, evidentemente, las constantes:

Números naturales

Se pueden generar mediante

x₁=1, x₂=2,  x₃=3, x_n= 3x_n-1-3x_n-2+x_n-3

En efecto, aquí x_n es n, x_n-1, n-1, luego

3(n-1)-3(n-2)+n-3=3n-3-3n+6+n-3=n

Esto demuestra que la recurrencia con estos coeficientes es verdadera.

Números cuadrados

En ellos también es válida esta recurrencia. Lo vemos:

x_n+1=(n+1)²=n²+2n+1=x_n+2n+1

x_n+2=(n+2)²=(n+1)²+2(n+1)+1=x_n+1+2n+3

Luego, despejando:

x_n+2 - x_n+1 = x_n+1- x_n +2

x_n+2  = 2x_n+1- x_n +2

De igual forma

x_n+3  = 2x_n+2- x_n+1 +2

Restamos las dos igualdades y agrupamos:

x_n+3  - x_n+2  = 2x_n+2- x_n+1 +2 -2x_n+1+ x_n -2

Despejando:

x_n+3  = 3x_n+2 -3x_n+1+ x_n

Con esto se demuestra la validez de la recurrencia. Por ejemplo:

11²=121=3*10²-3*9²+8²=300-243+64=364-243=121

También nos vale un desarrollo directo:

(n+3)²=3(n+2)²-3(n+1)²+n²=3n²+12n+12-3n²-6n-3+n²

n²+6n+9=n²+6n+9

Identidad que demuestra la recurrencia.

Constantes

Una constante K sometida a esa recurrencia sigue teniendo el valor de K: 3*K-3*K+K=K

Números oblongos

Siguen la fórmula n(n+1)=n²+n, y al ser la recurrencia propuesta de tipo lineal, también será válida en esa suma de un cuadrado con un natural.

Lo podemos comprobar con los primeros oblongos: 2, 6, 12, 20, 30, 42, …Por ejemplo, 30=3*20-3*12+6=60-36+6=24+6=30

 Números triangulares

Al tener un número triangular la fórmula n(n+1)/2=(n²+n)/2, es la mitad de un oblongo, luego admitirá la misma recurrencia. Lo vemos con un ejemplo tomado de la sucesión de números triangulares:

1 , 3 , 6 , 10 , 15 , 21, 28 , 36 , 45 , 55, …

45=3*36-3*28+21=108-84+21=129-84=45

 Polinomios de segundo grado

También se generarán de la misma forma, porque cuadrados, números naturales y constantes lo siguen. Lo vemos con P(x)=2x²-3x+2:

P(1)=1, P(2)=4, P(3)=11, P(4)=22, P(5)=37, P(6)=56 y P(7)=79

Observamos que P(7)=3*56-3*37+22=168-111+22=190-111=79

Números poligonales

Todo número poligonal es suma de triangulares. Basta ver la imagen:

Esta descomposición hace válida la recurrencia en ellos. En mi publicación sobre estos números se incluye una demostración con la fórmula general, que es un polinomio de segundo grado: P(n,k)=((k-2)n²-(k-4)n)/2

https://www.hojamat.es/publicaciones/poligonales.pdf

En esa publicación figuran otras recurrencias que a veces son más rápidas que la propuesta.

También siguen esta recurrencia los poligonales centrados, de fórmula POLC(n,k)=(kn²-kn+2)/2 , por ser también polinomio de segundo grado.

Números piramidales

Las sucesiones recurrentes de orden h se pueden sumar mediante la siguiente fórmula, también recurrente, que procede de la publicación Sucesiones recurrentes de A.I.Markushevich – Editorial Mir. La demostración de ella no es difícil, pero resulta larga para este estudio:

s_n+h+1=(1+a₁)s_n+h+(a₂-a₁) s_n+h-1+ … +(a_h-a_h-1) s_n+1-a_hs_n

Si a esta recurrencia que estamos estudiando le aplicamos la fórmula de la suma, nos permitirá encontrar una recurrencia para números piramidales, que son sumas de poligonales consecutivos.

Tomamos a₁=3, a₂=-3 y a₃=1 para aplicarlo a la fórmula de la suma

s_n+h+1=(1+a₁)s_n+h+(a₂-a₁) s_n+h-1+ … +(a_h-a_h-1) s_n+1-a_hs_n

s_n+4=4s_n+3-6s_n+2+4s_n+1-s_n

Lo aplicamos a los números piramidales pentagonales, 1, 6, 18, 40, 75, 126, 196, 288, 405, 550, ....

550=4*405-6*288+4*196-126=550

Tal como se advirtió en los poligonales, en este caso existen recurrencias que pueden ser más simples según el tipo de piramidal.

Piramidales de más dimensiones

Al igual que se pueden estudiar los piramidales como suma de poligonales consecutivos, se extiende este proceso a piramidales de más dimensiones, que son suma de piramidales consecutivos del orden inferior. Se deja como propuesta de estudio.

 

 

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.