Sea $P(x)=a_1x+a_2x^2+…..+a_nx^n$ sea un polinomio tal que $$P(x^2+1)=(P(x))^2+1$$ y $P(0)=0$ ( es inmediato que $P(1)=1$ ). Tenemos $$P(x^2+1)=\sum a_k(x^2+1)^k=\sum a_k\sum\binom{k}{ l}(x^2)^{k-l}$$ $$\\((P(x))^2+1=\sum a_k^2x^{2k}+2\sum a_ka_jx^{k+j}+1$$ De ello se deduce que el polinomio $$R(x)= \sum a_k\sum\binom{k}{ l}(x^2)^{k-l}-\left(\sum a_k^2x^{2k}+2\sum a_ka_jx^{k+j}+1\right)$$ debe ser idénticamente cero porque tiene más raíces que su grado por lo que todos los coeficientes deben ser cero.
Se puede observar que incluso para el segundo grado esto no es así y que la única posibilidad es $$\color{red}{P(x)=x}$$
$$***$$
Damos otra solución porque la comprobación sobre los coeficientes en la anterior no es inmediata
$$***$$
SEGUNDA SOLUCIÓN.-Es evidente que $P(x)=x$ va bien. Pon $$P(x)=x+Q(x)$$ para que
$$ P(x^2+1)=(P(x))^2+1\iff Q(x^2+1)=2xQ(x)+(Q(x))^2\qquad (*) $$ Tenemos de $(*)$ , $$ (Q(x))^2+2xQ(x)-Q(x^2+1)=0\iff Q(x)=-x\pm\sqrt{x^2+Q(x^2+1)}\qquad (**)$$
Tenga en cuenta que si $Q(x_0)=0$ entonces $Q(x_0^2+1)=0$
Debido a $P(0)=0\Rightarrow P(1)=1\Rightarrow P(2)=2\Rightarrow P(5)=5$ se tiene $Q(0)=Q(1)=Q(2)=Q(5)=0$ .
Se deduce de $(**)$ podemos deducir una infinidad de raíces para $Q(x)$ (por ejemplo $26,677$ y $458330$ las tres primeras deducidas de $Q(5)=0$ ).
En consecuencia $Q(x)=0$ para todos $x$ y $$P(x)=x$$ es la única solución.
0 votos
" $P(x)=0$ "? ¿Es para un determinado $x$ ? Si se supone que eso es todo $x$ la pregunta es trivial. Si no es así, añada cuantificadores...
0 votos
Creo que el problema debería decir " $P(0) = 0$ y . $P(x^2+1) = (P(x))^2+1$ para todos los reales $x$ ."
0 votos
Sí, culpa mía.
2 votos
for infinite values of x
"Para infinitamente muchos valores de x" sonaría mejor.1 votos
Para ser más detallista, también podrías demostrar que tu secuencia contiene infinitos términos distintos
0 votos
@clark correcto gracias.
5 votos
La prueba es buena y es la natural en este caso. Si se replantea en términos más generales de polinomios conmutativos $P(x)$ y $Q(x) = x^2+1$ tal vez esta respuesta a Cuando las funciones conmutan por composición podría ser relevante.
0 votos
Después de comprobar algunos casos, estoy convencido de que, sin la suposición de que $P(0)=0$ las soluciones polinómicas de $P\left(X^2+1\right)=\big(P(X)\big)^2+1$ en característica no igual a $2$ son los polinomios constantes $P(X)=\frac{1\pm\sqrt{-3}}{2}$ si $\sqrt{-3}$ existe, el polinomio de identidad $P(X)=X$ y los polinomios $P(X)=Q_n(X)$ para $n=1,2,\ldots$ donde $Q_1(X)=X^2+1$ y $Q_n(X)=Q_1\big(Q_{n-1}(X)\big)$ para $n=2,3,\ldots$ .
0 votos
En característica $2$ hay soluciones extrañas. En $\mathbb{F}_4=\mathbb{F}_2[\alpha]$ con $\alpha^2+\alpha+1=0$ , $P(X)=X^2+X+\alpha$ y $P(X)=X^3+\alpha\,X^2+\alpha X$ son soluciones.