La solución general primitiva de $x^2+y^2 = z^2$ está dada por: $x=u^2-v^2$ , $y=2uv$ , $z=u^2+v^2$ con $u,v$ relativamente primos y no ambos Impares.
Para $(a,a+n,z)$ para ser un triple primitivo, tendríamos que tener un $(u,v)$ tal que: $|u^2 - v^2 - 2uv| = n$ . Podemos reescribirlo como: $(u-v)^2 - 2v^2 = \pm n$
Por lo tanto, el establecimiento de $w = u-v$ queremos encontrar $(w,v)$ que son relativamente primos y $w$ es impar, con:
$$w^2-2v^2 = \pm n$$
Esto significa que $n$ debe ser impar.
De hecho, podemos utilizar la factorización única en $\mathbb{Z}[\sqrt{2}]$ para demostrar que $n$ puede ser cualquier producto de primos de la forma $8k\pm 1$ . Como hay infinitos primos de la forma $8k\pm 1$ la respuesta a su pregunta es "sí".
(Oh, y una vez que encuentre una solución $(w,v)$ para un determinado $n$ se pueden encontrar infinitas soluciones para eso $n$ .)
0 votos
El título dice "primitivo", así que $GCD(a,n,c)=1$ ¿se asume?
2 votos
@Angela: ¡Pregunta muy interesante!
0 votos
Un artículo con información útil sobre esta cuestión es el de Delano Wegener. Triples pitagóricos primitivos con suma o diferencia de catetos igual a un primo. Wegener demuestra que su ecuación es resoluble para los primos $p$ si $p=\pm1\mod 8$ .