viernes, 14 de noviembre de 2025

Polidivisibles

Un número se llama polidivisible (aquí se limitará el estudio a base 10) cuando al recorrer sus cifras de izquierda a derecha, las dos primeras forman un múltiplo de 2, las tres primeras, de 3, las cuatro de 4, y así sucesivamente. Por ejemplo, 126006 es polidivisible, porque 12=2*6, 126=3*42, 1260=4*315, 12600=5*2520, 126006=6*21001. Se supone que no se han escrito ceros a la izquierda, o lo que es lo mismo, que la primera cifra es no nula.

Puedes comprobar la afirmación de Wikipedia de que 381654729 es polidivisible.

Si se entiende bien el troceado de cifras, no es difícil crear una función que determine si un número es polidivisible. Propongo esta para VBasic de Excel, fácilmente traducible a otros lenguajes:

Function polidivisible(n) As Boolean ‘Devuelve verdadero o falso

Dim m, i, t

Dim es

 

 

m = numcifras(n)’Función contenida en mi blog “Números y hoja de cálculo”. Es fácil de copiar.

If m < 2 Then polidivisible = False: Exit Function ‘Caso de una cifra

i = 2 ‘Número de cifras primeras a considerar

es = True ‘Suponemos que sí es polidivisible

While i <= m And es ‘Recorremos las primeras cifras

t = Int(n / potencia(10, m - i)) ‘Trozo de cifras

If t / i <> t \ i Then es = False ‘Ha de ser múltiplo de su número de cifras

i = i + 1

Wend

polidivisible = es

End Function

Esta función te devuelve VERDADERO si el número es polidivisible. Con ella y un buscador podemos encontrar los primeros números polidivisibles. En la lista se descubren los comprendidos entre 100 y 200:

102, 105, 108, 120, 123, 126, 129, 141, 144, 147, 162, 165, 168, 180, 183, 186, 189

Los puedes comprobar en https://oeis.org/A144688. Allí se les llama “magic”. Su definición sugiere que si un número es polidivisible, también lo son los trozos de cifras que nos han servido para la definición. Eso ocurre con 20445, que 20, 204 y 2044 también son polidivisibles. Más adelante estudiaremos el proceso contrario, extender un polidivisible a más cifras.

 

Versión en PARI

Excel no es útil para números enteros de muchas cifras, ya que pasa automáticamente al formato científico. Por ello es conveniente el uso de una función en PARI. La de arriba se traduce fácilmente a esta otra:

k=381654729

polidivisible(n)={my(m=#digits(n),i=2,es=1,t);while(es==1&&i<=m,t=truncate(n/10^(m-i));if(t%i<>0,es=0);i+=1);es}

print(polidivisible(k))

Escribimos un valor de k en la primera línea y nos devolverá un 1 si k es polidivisible o un 0 si no lo es. Lo he probado en la web de PARI:


Nos devuelve un 1 porque 381654729 sí es polidivisible.

Añadiendo un bucle podremos buscar polidivisibles en un rango. En la imagen figuran los primeros a partir de 2000000:


Mentalmente se puede comprobar alguno de ellos.

En https://en.wikipedia.org/wiki/Polydivisible_number puedes encontrar un procedimiento sencillo para extender la definición a cualquier base b.

Extensión de un número polidivisible

Si N lo es, podemos intentar añadirle otra cifra más y probar si también es polidivisible. Si N posee k cifras, el siguiente polidivisible estará entre 10*N y 10*N+9 y deberá ser múltiplo de k+1. Si k no es mayor que 10, siempre existirá un múltiplo en ese rango. En valores superiores no se puede garantizar la extensión.

Uso PARI para garantizar un buen número de cifras:

polidivisible(n)={my(m=#digits(n),i=2,es=1,t);while(es==1&&i<=m,t=truncate(n/10^(m-i));if(t%i<>0,es=0);i+=1);es}

extenpoli(n)={my(g=#digits(n),nn=0,i=0,es=0);while(i<=9&&es==0,nn=i+n*10;if(polidivisible(nn),es=1);i+=1);nn*(es==1)}

print(extenpoli(126006))

En primer lugar, vuelvo a definir la función polidivisible. Después, extenpoli, que, como vemos, recorre una cifra adicional (i+n*10) para encontrar un nuevo polidivisible. Si no lo encuentra, devuelve un cero.

En el caso de 126006 nos devuelve un múltiplo de 7. Lo vemos en la web de PARI:


Sería 1260063 el siguiente polidivisible, divisible entre 7. Si proseguimos, el siguiente resulta ser 12600632, divisible entre 8. Seguirían 126006327, 1260063270, 12600632704, 126006327048. Aquí se detiene la secuencia, porque al añadir otra cifra no se logra un múltiplo de 13.

Todo esto funciona si el primer número es polidivisible con seguridad. Si no, llegaríamos a resultados erróneos. Estas secuencias de extensiones no tienen que ser únicas. Un polidivisible puede dar lugar a dos o más cuando se le añade una cifra, ya que en un rango de 10 puede haber dos o más múltiplos del número de cifras.

Secuencia de extensiones

Si usamos una lista, es posible lograr que PARI nos devuelva el conjunto de extensiones (o uno de ellos). Bastará añadir otra función nueva que descubra extensiones mientras sea posible. Todo el conjunto quedaría así:

polidivisible(n)={my(m=#digits(n),i=2,es=1,t);while(es==1&&i<=m,t=truncate(n/10^(m-i));if(t%i<>0,es=0);i+=1);es}

extenpoli(n)={my(g=#digits(n),nn=0,i=0,es=0);while(i<=9&&es==0,nn=i+n*10;if(polidivisible(nn),es=1);i+=1);nn*(es==1)}

secuenpoli(n)={my(m=n,s=List());while(m<>0,listput(~s,m);m=extenpoli(m));s}

print(secuenpoli(126006))

 

Nos daría el mismo resultado para 126006 en forma de lista:

 

List([126006, 1260063, 12600632, 126006327, 1260063270, 12600632704, 126006327048])

 

Otros ejemplos:

 

N=62765

List([62765, 627654, 6276543, 62765432, 627654321, 6276543210, 62765432103, 627654321036, 6276543210366, 62765432103668])

 

N=180402

List([180402, 1804026, 18040264, 180402642, 1804026420, 18040264209, 180402642096, 1804026420963, 18040264209632])

N=747

List([747, 7472, 74720, 747204, 7472045, 74720456, 747204561, 7472045610, 74720456107, 747204561072])

Ejemplo de los primeros párrafos:

N=381654729

List([381654729, 3816547290, 38165472906, 381654729060, 3816547290608])

Con esto terminamos la introducción a este tipo de números. Quedan muchas curiosidades, que puedes encontrar en las dos webs enlazadas más arriba. Aquí nos quedamos con las que son fácilmente tratables con VBasic y PARI.

lunes, 3 de noviembre de 2025

Primos pitagóricos

Después de dos entradas publicadas sobre ternas pitagóricas, es útil completarlas con las hipotenusas más simples, que son los primos pitagóricos, es decir, los del tipo 4K+1. Estos primos se caracterizan por poder ser expresados mediante una suma de dos cuadrados de forma única. Este tema ha aparecido tanto en mis publicaciones que lo doy por sabido.

Por ejemplo, 13=4*3+1=22+32

 

Relacionando estos números con el estudio reciente sobre el número de ternas pitagóricas de las que un número es hipotenusa, podemos afirmar que estos primos sólo pueden ser hipotenusa de una sola terna. Así, el ejemplo del 13 se traduce en la terna única 132=122+52.

 

Los primeros primos pitagóricos están publicados en https://oeis.org/A002144, y son sencillos de identificar. La terna que producen es siempre primitiva, pues su carácter de primos impide su simplificación.


Según lo aprendido en las anteriores entradas, sus potencias serán hipotenusas de tantas ternas como indique su exponente. Por ejemplo, 13^5=371293 lo es de las cinco siguientes:

371293=31072+3712802=1399322+3439152=1428052+3427322=1456682+3415252=2614432+2636402

 

Propiedades

 

Una propiedad interesante de estos primos es que poseen un resto cuadrático igual a -1. Su justificación requiere teoría de nivel algo superior al que se mantiene en este blog, pero podemos efectuar comprobaciones. Por ejemplo, el primo 29=7*4+1 presenta el resto 28, que equivale a -1. En la siguiente captura de pantalla se observa su presencia:

 

 


El cuadrado de estos primos será promedio de otros cuadrados. Con lo aprendido en las dos últimas entradas es fácil comprobarlo:

Tomamos N=2(4K+1)2, que según Gauss se podrá descomponer en suma de cuadrados dos veces. Una de ellas es trivial, pues sería (4K+1)2+(4K+1)2, pero la otra convertirá a N2 en promedio de dos cuadrados.

 

(Ver https://hojaynumeros.blogspot.com/2024/03/potencias-equidistantes-de-cuadrados.html)

 

Por ejemplo, 73 es primo del tipo 4K+1, luego su cuadrado deberá ser promedio de dos cuadrados. Descomponemos 2*732 en cuadrados:

 

2*732=72+1032=732+732

 

De ahí se deduce la propiedad:

 

732=(72+1032)/2

 

Estos valores se pueden lograr también con la función ENTREDOS contenida en el enlace de más arriba.

 

También estos primos, sin elevar al cuadrado, son promedios de dos cuadrados. Basta recordar que si p es del tipo 4K+1, 2p sólo se descompone en una suma de cuadrados, como ocurre con el número 41:

 

41*2=82=12+92, luego 41=(12+92)/2

412*2=3362=312+492, luego 412=(312+492)/2

 

Tanto los primos pitagóricos como sus cuadrados son promedios de otros cuadrados.

 

Pasamos a la posibilidad de estos números de actuar como catetos.

 

Los primos pitagóricos como catetos de una terna

 

Este tema ya está resuelto anteriormente, pues si p es primo impar, su cuadrado se puede descomponer en dos factores de la misma paridad impar, aparte del trivial p*p, como serían p2 y 1. Por tanto, se cumple:


p2=((p2+1)/2)2-((p2-1)/2)2

Por ejemplo: 

 

732=26652-26642

  

Es fácil ver que el primo pitagórico es la raíz cuadrada de la suma de los catetos, que siempre es un cuadrado perfecto.

 

También, todo número del tipo (p2+1)/2 es posible hipotenusa que sea una unidad mayor que un cateto, aunque p no sea primo.

lunes, 20 de octubre de 2025

En cuantas ternas pitagóricas (2)

En la entrada anterior se discutió la posibilidad de que un número fuera hipotenusa de varias ternas pitagóricas. Continuará aquí el tema calculando de cuantas ternas puede ser cateto un número dado N.

Se tratará de buscar soluciones a la ecuación

N2=a2-b2

Estamos suponiendo implícitamente que a es mayor que b, luego podemos descomponer la diferencia de cuadrados de esta forma, llamando a=b+k

N2=(a+b)(a-b)=(b+k+b)(b+k-b)=k(2b+k)

Esto nos lleva a que la diferencia k entre a y b ha de ser divisor de N2, al igual que 2b+k. Es claro que

N2=k(2b+k)>k2, luego k<N

Estas consideraciones nos llevan a un protocolo para encontrar ternas con un cateto dado N.

Recorremos todos los divisores de N, sean K.

Para cada K estudiamos N2/K-K, que ha de ser un número par positivo. Su mitad será el número b, el otro cateto. La hipotenusa se calculará como b+K.

Este procedimiento lo plasma la siguiente función para VBasic:

Function escateto$(n)

Dim s$

Dim k, b, m, a, nn

 

s = "" ‘Contenedor de soluciones

m = 0 ‘Número de soluciones

nn = n * n’ Cuadrado de n

For k = 1 To n

If nn / k = nn \ k Then ‘Es un divisor del cuadrado

b = (nn / k - k) / 2 ‘Posible valor del otro cateto

If b > 0 And b = Int(b + 0.000001) Then ‘Solución válida

m = m + 1’Aumenta el contador

a = b + k ‘Hipotenusa

s = s + "+" + ajusta(a) + "^2-" + ajusta(b) + "^2" + " " ‘Se incorpora la solución

End If

End If

Next k

s = ajusta(m) + ":: " + s ‘Toma nota del número de soluciones

escateto = s

End Function

 

Esta función es razonablemente rápida, y eso que pueden aparecer más de 20 soluciones frecuentemente.

 

Un ejemplo: ¿De cuántas ternas pitagóricas es cateto el número 812?

Resultan trece ternas con cateto 812:

13:: +164837^2-164835^2 +82420^2-82416^2 +41213^2-41205^2 +23555^2-23541^2 +11788^2-11760^2 +5915^2-5859^2 +5713^2-5655^2 +3413^2-3315^2 +2900^2-2784^2 +1780^2-1584^2 +1537^2-1305^2 +1037^2-645^2 +1015^2-609^2

Se puede comprobar alguna, y la diferencia de cuadrados deberá ser 659344, el cuadrado de 812.

Es evidente que el posible cateto deberá ser un número tal que su cuadrado sea compuesto y que sea producto de un par de divisores de la misma paridad, como veremos más adelante. Esta condición la cumplen todos los números enteros positivos. Por esa razón todos pueden ser catetos.

En esta captura de pantalla de un rango elegido al azar se observa que todos los números naturales pueden ser catetos, pero que los números primos sólo lo son una vez:

 


Llaman la atención las 40 soluciones de 2208.

Otro procedimiento

El protocolo elegido es el más rápido, pero se puede usar un argumento sencillo y popular para encontrar las soluciones.

La idea es muy simple:

Si N2=a2-b2=(a+b)(a-b), los paréntesis han de ser de la misma paridad, llamémosles m y n respectivamente, ya que a=(m+n)/2 y b=(m-n)/2, y ambos han de ser enteros. Entonces la búsqueda de soluciones se reduce a encontrar productos de dos factores, ambos pares o ambos impares, con resultado N2.

Esta idea daría lugar a otra función parecida a la anterior:

Function escateto2$(n)

Dim s$

Dim k, b, m, a, nn, kk

 

s = ""

m = 0

nn = n * n

For k = 1 To nn

If nn / k = nn \ k Then

kk = nn / k

If k > kk And (k - kk) Mod 2 = 0 Then ‘Aquí se exige misma paridad

a = (k + kk) / 2: b = (k - kk) / 2

m = m + 1

s = s + "+" + ajusta(a) + "^2-" + ajusta(b) + "^2" + " "

End If

End If

Next k

s = ajusta(m) + ":: " + s

escateto2 = s

End Function

 

Probamos la función con el anterior ejemplo, 812:

13:: +1015^2-609^2 +1037^2-645^2 +1537^2-1305^2 +1780^2-1584^2 +2900^2-2784^2 +3413^2-3315^2 +5713^2-5655^2 +5915^2-5859^2 +11788^2-11760^2 +23555^2-23541^2 +41213^2-41205^2 +82420^2-82416^2 +164837^2-164835^2

Obtenemos los mismos trece resultados.

Casos particulares

Primos impares

Los números primos impares presentarán siempre un resultado, pues, si llamamos p al primo, su cuadrado p2 tendrá tres divisores, 1, p y p2, con lo que el único par a, b con a>b y de la misma paridad será 1 y p2. Las soluciones serán, pues, a=(p2+1)/2 y b=(p2-1)/2. En la siguiente imagen se observa esto en un pequeño rango de primos:



Semiprimos impares no cuadrados

Los números de este tipo son producto de dos primos impares distintos, p1 y p2. Sus divisores serán 1, p1, p2 y p1p2. Los divisores de su cuadrado serán 1, p1, p2, p1p2, p12, p22, p1p22, p2p12, p12p22, nueve divisores, que dan lugar a cuatro pares de productos con factores distintos de igual paridad. Por ejemplo, 15 y 35 se descomponen así:

15     4:: +113^2-112^2 +39^2-36^2 +25^2-20^2 +17^2-8^2

35     4:: +613^2-612^2 +125^2-120^2 +91^2-84^2 +37^2-12^2

Dejo como ejercicio sencillo razonar que los semiprimos no cuadrados pares presentan una descomposición:

14     1:: +50^2-48^2

26     1:: +170^2-168^2

Los semiprimos cuadrados se descomponen de una forma el 4 y de dos los impares.

4       1:: +5^2-3^2      

49     2:: +1201^2-1200^2 +175^2-168^2       

169   2:: +14281^2-14280^2 +1105^2-1092^2        

Las potencias de un primo tienen tantas descomposiciones como indique su exponente:

3       1:: +5^2-4^2      

9       2:: +41^2-40^2 +15^2-12^2

27     3:: +365^2-364^2 +123^2-120^2 +45^2-36^2

81     4:: +3281^2-3280^2 +1095^2-1092^2 +369^2-360^2 +135^2-108^2  

243   5:: +29525^2-29524^2 +9843^2-9840^2 +3285^2-3276^2 +1107^2-1080^2 +405^2-324^2   

Hay que recordar que se debe razonar sobre el cuadrado del número propuesto.

Esta función de número de descomposiciones no es multiplicativa, por lo que no es útil descomponer N en factores y contar uno por uno para luego multiplicar.

Un ejemplo:

4       1:: +5^2-3^2                                                   

9       2:: +41^2-40^2 +15^2-12^2                                              

36     7:: +325^2-323^2 +164^2-160^2 +111^2-105^2 +85^2-77^2 +60^2-48^2 +45^2-27^2 +39^2-15^2

Dejo aquí los casos particulares

Fórmula general

Lo que sigue es una adaptación de mi estudio contenido en https://hojaynumeros.blogspot.com/2017/01/numero-de-descomposiciones-en.html

En él se explican todos los casos de descomposición en diferencia de cuadrados, pero al no ser hipotenusa y cateto, se admite el caso en el que b=0. Bastará restar una unidad a la fórmula general para cuadrados, o, preferiblemente, corregir la función que se propone, restando 1 al final. Se copia a continuación:

Public Function numcatetos(n)

Dim p, q, r, s, t, nm

 

q = n * n: p = 0

While q Mod 2 = 0: q = q / 2: p = p + 1: Wend 'Extraemos la potencia de 2

If p = 1 Then nm = 0: Exit Function 'Caso imposible

'q es la parte impar

If q = 1 And p > 1 Then nm = Int((p - 1) / 2) + (p - 1) Mod 2

'Es potencia de 2 pura

If p = 0 And q > 1 Then t = fsigma(q, 0): nm = Int(t / 2) + t Mod 2

'Es un número impar

If p > 1 And q > 1 Then t = fsigma(q, 0): nm = t * Int((p - 1) / 2) + ((p - 1) Mod 2) * (Int(t / 2) + t Mod 2)

numcatetos = nm - 1

'Tiene parte par y parte impar

End Function

 

Con esta función doy por terminado el tema del número de ternas pitagóricas que produce un número dado, tanto como hipotenusa como siendo un cateto.

martes, 7 de octubre de 2025

¿En cuantas ternas pitagóricas? (1)


No todos los números naturales pueden ser hipotenusas o catetos en una terna pitagórica. Por ejemplo, el 23 no es ni uno ni otro. Otros números pertenecen a varias ternas distintas, como ocurre, por ejemplo, con el número 27925, que es hipotenusa en siete ternas y cateto en una:

Como hipotenusa: 27925^27=2004^2+27853^2=5875^2+27300^2=7819^2+26808^2=11680^2+25365^2=13284^2+24563^2=16755^2+22340^2=18315^2+21080^2

Como cateto: 27925^2=72605^2-67020^2

¿De qué depende esto?

Lo veremos por separado, ya que necesitamos teorías distintas.

Un número como hipotenusa

Estudio teórico

En entradas anteriores de mi blog se ha estudiado bien la descomposición de un número en suma de cuadrados. Recientemente he encontrado un documento que lo explica claramente:

https://www.math.purdue.edu/~jlipman/MA598/sums-of-two-squares.pdf

En nuestro caso, el número a descomponer es el cuadrado de la hipotenusa, por lo que se le puede aplicar tres criterios contenidos en el mismo. Si descomponemos N en sus factores primos resultará:

El factor 2 no influye en el número de cuadrados y se puede ignorar. La razón, según se explica en el documento, es la igualdad

(x+y)2+(x-y)2 = 2(x2+y2)

La primera suma es par, luego los dos cuadrados tienen la misma paridad, lo que justifica que se puedan expresar como suma y diferencia de dos números naturales. Según el segundo miembro, su mitad también será una suma de cuadrados. Así que podemos dividir el número a estudiar entre 2 todas las veces que deseemos, porque el número de sumas de cuadrados no cambiará.

Los factores primos del tipo 4k+3, que suelen impedir la descomposición en dos cuadrados, figurarán todos con exponentes pares, por ser un cuadrado, por lo que, según la teoría, tampoco impiden la descomposición, y tampoco aportan nuevas soluciones. Se pueden ignorar.

Los factores del tipo 4K+1 son los que facilitan la descomposición en suma de dos cuadrados, y según el documento citado (siguiendo a Gauss) producirán un número de resultados dado por la fórmula

(La imagen es un recorte del documento)



Nos interesa el caso inferior, aplicable a cuadrados. En la fórmula, er es el exponente de un factor primo del tipo 4K+1, únicos que nos interesan.

Sólo serán hipotenusas de ternas pitagóricas los números que contengan factores del tipo 4k+1.

El número de ternas de las que puede ser hipotenusa un número dado sólo depende de la signatura prima (conjunto de exponentes) y no de los números primos presentes (si son del tipo 4K+1)

Lo aplicamos al ejemplo 27925. Su descomposición factorial es 52*1117. Ambos primos son del tipo 4K+1, luego nos interesan los exponentes de su cuadrado, que serían 4 y 2 respectivamente. Luego, por la fórmula de la imagen de más arriba:

S(n)=((4+1)(2+1)-1)/2=14/2=7

Ese fue el número de sumas de dos cuadrados (y por tanto ternas pitagóricas) que figuran al principio de este estudio.

Probaremos con otro ejemplo: 1980=22*32*5*11.

En su cuadrado no influirán los factores 2, 3 ni 11 (el 2 y los del tipo 4K+3), luego sólo usaremos los exponentes del cuadrado de 5, es decir:

S(1980)=((2+1)-1)/2=1

En efecto, usando una función que se presentará más adelante se obtiene el resultado

1:: =1188^2+1584^2

Obtención de las sumas de cuadrados

La siguiente función en VBasic resuelve la búsqueda de esas sumas. En ella se va formando un cuadrado como suma de impares, la variable k.

Function espitag(n) As String

Dim k, p, d, m

Dim s$

 

s = "" ‘Contenedor de soluciones

m = 0 ‘Contador de sumas

k = 1: p = 3 ‘Inicio de los cuadrados mediante suma de impares

While k < n * n / 2 ‘Probamos el primer cuadrado de la suma

d = n * n – k ‘Posible segundo cuadrado

If escuad(d) Then ‘Nueva solución para la suma de cuadrados

m = m + 1

s = s + "=" + ajusta(Sqr(k)) + "^2+" + ajusta(Sqr(d)) + "^2"

End If

k = k + p: p = p + 2 ‘Siguiente cuadrado

Wend

espitag = ajusta(m) + ":: " + s

End Function

Esta función te devuelve el listado de soluciones. Lo vemos con un ejemplo:

1950=2*3*5^2*13

Si le aplicamos la función nos devuelve

S(1950)=7::216^2+1938^2=480^2+1890^2=546^2+1872^2=750^2+1800^2=990^2+1680^2=1170^2+1560^2=1224^2+1518^2=2*3*5^2*13

Son siete sumas de cuadrados. Según la teoría, la justificación es el cálculo S(1950)=((4+1)(2+1)-1)/2=14/2=7

Hemos ignorado el 2 y el 3, y usado los exponentes del cuadrado de 5^2 y 13.

La ventaja de la función es que nos da el número de sumas y el listado de las mismas.

¿Qué números pueden resultar al contar ternas?

Según lo visto, cualquier número natural puede ser el resultado de contar ternas. Esto es así por la forma de calcularlo.


Sea un número cualquiera K. Si lo multiplicamos por 2 y añadimos 1, nos resultará un número impar, que se podrá igualar al producto de paréntesis de la fórmula empleada. Como trabajamos con exponentes, bastará usar bases del tipo 4K+1. Lo vemos con un ejemplo:

¿Qué números producirán trece ternas distintas?

Multiplicamos 13 por 2 y añadimos 1, con lo que obtenemos 27, que se puede descomponer en 3*3*3. Esos factores provienen de exponentes del cuadrado (que serían 2), por lo que basta multiplicar tres números primos del tipo 4K+1, por ejemplo, 5*13*17=1105. Le aplicamos la función y queda:

S(1105) 13:: =47^2+1104^2=105^2+1100^2=169^2+1092^2=264^2+1073^2=272^2+1071^2=425^2+1020^2=468^2+1001^2=520^2+975^2=561^2+952^2=576^2+943^2=663^2+884^2=700^2+855^2=744^2+817^2

Otro ejemplo: ¿Cuándo resultarán ocho ternas?:

8*2+1=17, que es primo, luego la única posibilidad es que se trate de la potencia octava de un primo del tipo 4K+1. Usamos las más pequeña, 5^8=390625, con el resultado de ocho ternas:

S(390625) 8:: =29625^2+389500^2=80620^2+382215^2=109375^2+375000^2=137500^2+365625^2=164833^2+354144^2=210000^2+329375^2=234375^2+312500^2=257400^2+293825^2

Primos del tipo 4K+1

Un caso especial lo constituyen los números que son primos del tipo 4K+1, también llamados primos pitagóricos. Como son muy interesantes, les dedicaré un estudio especial cuando se termine el tema actual.

Catetos de una terna

Esta entrada se ha alargado algo, y continuaré en la siguiente con el tema de los catetos y algún otro.