Hola Rodolfo:
Me lo leeré con más calma, pero hay algo que me choca.
Dices que x+y-z es siempre un número 6n, múltilplo de 2 y 3.
Pero eso me choca. En la terna 3,4,5, el resultado es 2
En la terna 5, 12, 13, el resultado es 4.
¿Por qué dices que x+y-z es tipo 0 mod(6)? Puede ser, y puede no ser...
Todo lo contrario, a nosotros nos ha salido que (x+y-z) es primo relativo de (x+y).
Es posible que tenga un lío entre tus x,y,z y las mías. Yo considero a z el número mayor, impar (la hipotenusa del triángulo), x el cateto par, y el cateto impar.
En todo caso, me gusta lo de aplicar el PTF, es algo que siempre me intriga.
Un saludo.
PS: He encontrado una posible fórmula para xn+yn=zn +rn - f(n)
No es que sea muy fina, pero podría valer. La subiré en cuanto me asegure.