Considere la ecuación $x^2+y^2=z^2+w^2=N.$
Esto equivale a: $x^2-z^2=w^2-y^2=D.$
y necesitamos $D$ para tener al menos dos factorizaciones diferentes con los factores que tienen la misma paridad. Por lo tanto, un enfoque consiste en encontrar los valores más pequeños de $D$ que satisfacen esta propiedad. Otro enfoque es encontrar soluciones paramétricas.
Dejemos que $(x-z)=ab$ y $(x+z)=cd$ con $(w-y)=ac$ y $(w+y)=bd$ ,
que da la solución paramétrica: $\dfrac{1}{2}(ab+cd,bd-ac,cd-ab,ac+bd)$ . Tenemos $N=\dfrac{1}{4}(a^2b^2+c^2d^2+b^2d^2+a^2c^2)$ .
Ahora bien, desde el hecho de que $cd-ab$ y $bd-ac$ son enteros positivos distintos, podemos ver que no hay tres de $a,b,c,d$ puede ser el mismo.
Así, el valor lexicográficamente más pequeño de la tupla $(a,b,c,d)$ es $(1,1,2,3)$ que da la solución $(7,1,5,5)$ y $N=50$ . Una vez que tenemos esta solución, es fácil comprobar que otras tuplas de $a,b,c,d$ dan valores mayores de $N$ .
0 votos
Es la variante de los llamados "números Taxicab", para la variante más conocida de la 3ª y 4ª potencia se describe un algoritmo en el libro de Nikolaus Wirth Algorithmen und Datenstrukturen de 1975.
0 votos
Ver oeis.org/A007692 y mathworld.wolfram.com/SumofSquaresFunction.html .