OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
Supongamos entonces que $q(x)$ no es constante, luego podemos tomar una raíz $\lambda$ de $q(x)$ (posiblemente $\lambda$ sea un número complejo). Sustituyendo $x=\lambda$ en la ecuación original, tenemos que $p(0)=0$ luego ha de existir un polinomio $r(x)$ tal que $p(x)=xr(x)$. La ecuación original queda $x^2q(x)=q(x)r(q(x))$ y, como $q(x)$ no es constante cero, podemos simplificar a $r(q(x))=x^2$. Ahora bien, el grado de la composición de dos polinomios es el producto de los grados y esto nos da dos posibilidades:
En resumen, toda solución de la ecuación cae en una de las siguientes familias:
Evaluando la igualdad del enunciado en $\{z,z^2,z^3,z^4\}$, obtenemos que \begin{eqnarray*} P(1)+zQ(1)+z^2R(1)&=&0,\\ P(1)+z^2Q(1)+z^4R(1)&=&0,\\ P(1)+z^3Q(1)+z^6R(1)&=&0,\\ P(1)+z^4Q(1)+z^8R(1)&=&0.\\ \end{eqnarray*} Esto puede verse como un sistema de cuatro ecuaciones lineales con tres incógnitas ($P(1)$, $Q(1)$ y $R(1)$). La matriz de coeficientes está dada por \[A=\left(\begin{matrix}1&z&z^2\\1&z^2&z^4\\1&z^3&z^6\\1&z^4&z^8\end{matrix}\right).\] Si eliminamos la última fila, el determinante de la matriz $3\times 3$ resultante es igual a $z^8-2z^7+2z^5-z^4$. Si usamos que $z^5=1$, podemos simplificarlo a $-z^4+z^3-2z^2+2$ y, usando que $z^4=-z^3-z^2-z-1$, podemos simplificarlo finalmente a $2z^3-z^2+z+3$. Si hacemos el mismo proceso eliminando la primera fila en lugar de la última, llegamos a que el determinante de la matriz $3\times 3$ resultante es $2z^3-z^2+z-2$. Evidentemente, los dos determinantes no pueden ser cero simultáneamente ya que se diferencian en 5 unidades, lo que nos dice que la matriz $A$ tiene rango 3 y, por tanto, el sistema de ecuaciones tiene como única solución la trivial $P(1)=Q(1)=R(1)=0$. Esto concluye la demostración.
En primer lugar, la ecuación $P(x)=0$ se puede factorizar como \begin{eqnarray} 0=P(x)&=&x^4+ax^3-2x^2-ax+1\\ &=&(x-1)(x+1)\left(x-\frac{a+\sqrt{a^2+4}}{2}\right)\left(x-\frac{a-\sqrt{a^2+4}}{2}\right). \end{eqnarray} De la misma forma, la ecuación $Q(x)=0$ se obtiene cambiando $a$ por $-a$, y tenemos que \begin{eqnarray} 0=Q(x)&=&x^4-ax^3-2x^2+ax+1\\ &=&(x-1)(x+1)\left(x-\frac{-a+\sqrt{a^2+4}}{2}\right)\left(x-\frac{-a-\sqrt{a^2+4}}{2}\right). \end{eqnarray} Estas factorizaciones se obtienen fácilmente por el método de Rufini, sabiendo de antemano que $\pm 1$ son raíces de ambos polinomios. De esta forma hemos expresado explícitamente las cuatro soluciones de las ecuaciones, dos de las cuales ($x=\pm 1$) son comunes y las otras dos distintas.
La distancia $d$ entre estos dos puntos viene dada por $d^2=(b-a)^2+(P(b)-P(a))^2$. Dividiendo entre $(b-a)^2$ esta igualdad llegamos a que \[\left(\frac{d}{b-a}\right)^2=1+\left(\frac{P(b)-P(a)}{b-a}\right)^2.\] Es conocido que $P(b)-P(a)$ es un entero divisible entre $b-a$, por ser $P$ de coeficientes enteros, luego el miembro de la derecha de la igualdad anterior es entero y, por tanto, también es entero el de la izquierda. Por consiguiente, tenemos dos enteros cuadrados perfectos que difieren en una unidad, luego han de ser $0$ y $1$, es decir, \[\frac{d}{b-a}=\pm 1,\qquad \frac{P(b)-P(a)}{b-a}=0\] (el signo $\pm$ dependerá de si $b\gt a$ ó $b\lt a$). De aquí deducimos que $P(b)=P(a)$ y, por tanto, el segmento que une $(a,P(a))$ y $(b,P(b))$ es paralelo al eje de abscisas.
Escribiendo $P(x)=a_nx^n+\ldots+a_1x+a_0$ y sustituyendo en $P(2x)=2P(x)+2x^2$, es fácil ver que si $n\geq 3$, el coeficiente líder del miembro de la izquierda es mayor que el del de la derecha. También si $n=1$, entonces el miembro de la derecha tiene grado 2 y el de la izquierda grado 1, cosa que tampoco puede ocurrir, luego $n=2$. En tal caso, se tiene que $P(2x)=2P(x)+2x^2$ es equivalente a $(2a_2-2)x^2-a_0=0$ para todo $x\in\mathbb{R}$, de donde ha de ser $a_2=1$ y $a_0=0$, lo que nos lleva a polinomios de la forma $x^2+ax$. Por lo tanto, las soluciones son $P(x)=0$, $P(x)=\frac{-1}{2}$ y $P(x)=x^2+ax$ para cualquier $a\in\mathbb{R}$.