Quizás estos pasos hacen que sea más claro - como se especifica dando a sólo pasos clave, hágamelo saber si hay algo más de detalle.
Deje $f(x) = \sum_{k=0}^n a_kx^k$. Inmediatamente, $f(0)=1 \implies a_0 = 1$.
Siguiente, a partir de la ecuación funcional, considerar el coeficiente de la potencia más elevada plazo en cualquiera de los lados. Espectáculo $a_n=1$.
De Vieta, ahora tenemos que el producto de todas las raíces es $\pm1$. Argumentar a partir de la ecuación funcional y las raíces de la $r \to 2r^3+r$ que si alguna raíz ha módulo distinto de $1$, hay una serie infinita de raíces.
Así que todas las raíces tienen forma de $r = e^{i\theta}$$|2r^3+r| = 1$. Mostrar esta $\implies r = \pm i$.
Finalmente, como $f$ tiene coeficientes reales, debe ser de la forma $f=(x^2+1)^{m}$ y el resto se sigue de la computación.