Olimpiadas de Matemáticas
Página de preparación y problemas

Solución. Pongamos que el polinomio es $f(x)=x^3+ax^2+bx+c$, ya que podemos suponer sin pérdida de generalidad que el coeficiente líder es $1$. Que sea tangente al eje de abscisas implica que debe tener una raíz doble $r$ y pongamos que $s$ es la tercera raíz (podría ser $r=s$ y tener una raíz triple). Entonces, igualando coeficientes en \[x^3+ax^2+bx+c=(x-r)^2(x-s)=x^3-(2r+s)x^2+(r^2+2rs)x-r^2s,\] deducimos que $2r+s=-a$, $r^2+2rs=b$ y $r^2s=-c$ son números racionales (estas son las ecuaciones de Cardano-Vièta). Buscando combinaciones de estos números que nos den expresiones simétricas y homogéneas de $r$ y $s$, encontramos sin mucho problema \[a^2-3b=r^2-2rs+s^2,\qquad 9c-ab=2r(r^2-2rs+s^2).\] Distinguimos dos casos:

• Si $a^2-3b\neq 0$, entonces obtenemos directamente que \[r=\frac{9c-ab}{2(a^2-3b)}\in\mathbb{Q},\qquad s=-a-2r=-\frac{a^3+9c-4ab}{a^2-3b}\in\mathbb{Q}.\]
• En caso contrario, tenemos que $0=a^2-3b=(2r+s)^2-3(r^2+2rs)=(r-s)^2$, luego se trata de un polinomio con una raíz triple, que también es racional ya que podemos escribir en este caso $r=s=\frac{-a}{3}\in\mathbb{Q}$.

Solución. Consideremos la derivada $f'(x)$, que es un polinomio de grado $2$ con coeficientes racionales. Que la gráfica sea tangente al eje de abscisas en algún punto nos dice que debe existir $\alpha\in\mathbb{R}$ tal que $f(\alpha)=f'(\alpha)=0$ ($\alpha$ es una raíz doble o triple de $f(x)$). La división de $f(x)$ entre $f'(x)$ nos asegura que existen polinomios $q(x)$ y $r(x)$ con coeficientes racionales tales que $f(x)=q(x)f'(x)+r(x)$, luego evaluando en $x=\alpha$ obtenemos que $r(\alpha)=0$. Distingamos dos casos:

• Si $r(x)=ax+b$ es un polinomio de grado $1$ ($a\neq 0$), como tiene coeficientes racionales, podemos despejar $\alpha=\frac{-b}{a}\in\mathbb{Q}$. Ahora basta dividir $f(x)$ entre $(x-\alpha)^2$ para obtener otro polinomio $x-\beta$ que también debe tener coeficientes racionales, y claramente $\beta\in\mathbb{Q}$ es la tercera raíz de $f(x)$.
• Si $r(x)$ es de grado menor que $1$, entonces debe ser necesariamente $r(x)=0$ (ya que $r(\alpha)=0$). Entonces, $f(x)$ es divisible entre $f'(x)$. Como cualquier raíz común a $f(x)$ y $f'(x)$ tiene multiplicidad en $f(x)$ una unidad más que en $f'(x)$, se deduce que $f'(x)$ no puede tener dos raíces distintas, luego en este caso $\alpha$ es una raíz triple de $f(x)$. Si escribimos entonces $f(x)=a(x-\alpha)^3$ para cierto número racional $a\neq 0$, podemos despejar $\alpha$ como el coeficiente de $x^2$ de $f(x)$ dividido por $-3a$, luego la raíz triple $\alpha$ también es racional en este caso.