OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
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}$.
Hemos probado ya el enunciado para $(a,b)=(0,0)$. Para un $(a,b)$ cualquiera, la gráfica de $P$ es simétrica respecto de $(a,b)$ si, y sólo si, la gráfica de $R(x)=P(x+a)-b$ es simétrica respecto del origen (hemos hecho una traslación del punto $(a,b)$ al origen). Por lo que hemos probado antes, esto ocurre si, y sólo si, $R(x)=xQ(x)$ para cierto polinomio $Q(x)$. Deshaciendo el cambio, la gráfica de $P$ es simétrica respecto de $(a,b)$ si, y sólo si, $P(x)=R(x-a)+b=(x-a)Q\bigl((x-a)^2\bigr)+b$ para cierto polinomio $Q(x)$.
Nota. Este es un ejercicio muy mecánico. Las ideas fundamentales que se desprenden de la solución y que hay que aprender son: (1) que la gráfica de una función es simétrica respecto del origen si, y sólo si, es una función impar; y (2) que la gráfica de $f(x+a)-b$ es la misma que la gráfica de $f(x)$ después de aplicarle una traslación que lleva $(a,b)$ al $(0,0)$.