No estoy del todo seguro de cómo leer el "difícil" y el "fácil" en su pregunta, pero como comienzo puede considerar la siguiente proposición (bien conocida).
Hay infinitos triples pitagóricos no equivalentes.
Esto se puede demostrar muy fácilmente (un brillante estudiante de secundaria entenderá el argumento) observando que el conjunto de triples pitagóricos no equivalentes está básicamente en correspondencia uno a uno con el conjunto de puntos con coordenadas racionales en el círculo $x^2+y^2=1$ y este último conjunto está en correspondencia uno a uno con el conjunto de líneas con pendientes racionales que pasan por el punto $(1,0)$ .
Se trata de una aplicación básica del hecho (geométrico) de que una cónica no singular es isomorfa a la recta proyectiva, con un poco de aritmética.