Olimpiadas de Matemáticas
Página de preparación y problemas

Solución. Observemos que $f^n(x)$ es un polinomio con coeficientes enteros y vamos a probar que su término independiente es $1$. Esto se prueba fácilmente por inducción sobre $n$, teniendo en cuenta que el término independiente se obtiene evaluando en $x=0$. Para $n=1$, tenemos que $f^1(0)=f(0)=1$; supuesto cierto que $f^n(0)=1$ para cierto $n\geq1$, podemos calcular $f^{n+1}(0)=f(f^n(0))=f(1)=1$.

Esto nos dice que, para cada $n\in\mathbb{N}$ podemos expresar $f^{n-1}(x)=x p_{n-1}(x)+1$ para cierto polinomio $g_{n-1}(x)$. Tenemos así que \begin{align*} \mathrm{mcd}(f(x),f^n(x))&=\mathrm{mcd}(f(x),f^{n-1}(f(x)))\\ &=\mathrm{mcd}(f(x),f(x) p_{n-1}(f(x))+1)=1. \end{align*}

Nota. El resultado es también cierto cambiando $f(x)=x^{1997}-x+1$ por cualquier polinomio $f(x)$ con coeficientes enteros y $f(0)=f(1)=1$. También es cierto que $f^n(y)$ y $f^m(y)$ son primos relativos para cualesquier $m,n\in\mathbb{N}$ (basta aplicar el enunciado a $x=f^{m-1}(y)$ con $n+1$ en lugar de $n$).