OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
Observemos que $x_1,\ldots,x_{70}$ no son otra cosa que las soluciones de la ecuación $f(x)=\frac{5}{4}$. Multiplicando esta ecuación por $(x-1)\cdots(x-70)$ la podemos expresar como \begin{eqnarray} &&(x-2)(x-3)\cdots(x-70)+2(x-1)(x-3)\cdots(x-70)+\ldots+70(x-1)\cdots(x-69)\\ &&\quad =\frac{5}{4}(x-1)\cdots(x-70). \end{eqnarray} Necesitamos encontrar la suma de las raíces de este polinomio de grado $70$, pero esto no es más que el coeficiente de grado $69$ entre el de grado $70$. Usando esta regla y con un poco de cuidado se calcula \[x_1+\ldots+x_{70}=\frac{9}{5}(1+2+\ldots+70).\] Tenemos entonces que la longitud buscada es \[L=\frac{4}{5}(1+\ldots+70)=\frac{4\cdot 70\cdot 71}{2\cdot 5}=1988.\]