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

Solución. Se trata de la desigualdad entre las medias aritmética y geométrica ya que se cumple que \[\frac{x_1+x_2+\ldots+x_n}{n}\geq \sqrt[n]{x_1x_2\cdots x_n}\] para cualesquiera $x_1,x_2,\ldots,x_n\geq 0$. Si su producto es $1$, entonces su suma será mayor o igual que $n$.

Nota. Si no se quiere usar directamente la desigualdad, se puede adaptar a este caso concreto cualquiera de sus demostraciones.

Solución. Consideremos el polinomio $f(x)=\frac{1}{4}x^4-10x^3+10x^2$, que tiene derivada $f'(x)=x^3-30x^2+20x$. Esta derivada se anula en $x=0$ y en $x=15\pm\sqrt{205}$. Además, se cumple que $14\lt \sqrt{205}\lt 15$, luego se sigue fácilmente que $f(x)$ crece en $(0,15-\sqrt{205})\cup(15+\sqrt{205},+\infty)$ y decrece en $(-\infty,0)\cup(15-\sqrt{205},15+\sqrt{205})$. Por lo tanto, $a_{29}$ es menor que $a_1,a_2,\ldots,a_{28}$ y $a_{30}$ es menor que $a_{31},a_{32},\ldots$. De esta forma únicamente $n=0$, $n=29$ y $n=30$ son los candidatos a mínimo de la sucesión. Podemos evaluar fácilmente \[a_0=0,\qquad a_{29}=-58659.8,\qquad a_{30}=-58500,\] luego el mínimo absoluto de la sucesión es $a_{29}=-58659,\!8$.