OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Nota. Otra técnica para resolver este problema es usar la ecuaciones de Cardano, pues el polinomio buscado $q(x)=x^3+bx^2+cx+d$ debe cumplir que \begin{eqnarray} b&=&-\frac{1-\alpha}{1+\alpha}-\frac{1-\beta}{1+\beta}-\frac{1-\gamma}{1+\gamma},\\ c&=&\frac{1-\alpha}{1+\alpha}\cdot\frac{1-\beta}{1+\beta}+\frac{1-\alpha}{1+\alpha}\cdot\frac{1-\gamma}{1+\gamma}+\frac{1-\beta}{1+\beta}\cdot\frac{1-\gamma}{1+\gamma},\\ d&=&\frac{1-\alpha}{1+\alpha}\cdot\frac{1-\beta}{1+\beta}\cdot\frac{1-\gamma}{1+\gamma}. \end{eqnarray} Los miembros de la izquierda de estas tres relaciones pueden calcularse desarrollándolos y usando las propias ecuaciones de Cardano para el polinomio $p(x)$, es decir, usando que $\alpha+\beta+\gamma=0$, $\alpha\beta+\beta\gamma+\alpha\gamma=-3$ y $\alpha\beta\gamma=-1$.
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.