Maths Olympiad Prep

Library / /333 of 377

Algebra Difficulty 5.7 AIME, harder Prove it United States

Problem:
Let a1,a2,,a2005a_{1}, a_{2}, \ldots, a_{2005} be real numbers such that
a11+a22+a33++a20052005=0a112+a222+a332++a200520052=0a113+a223+a333++a200520053=0a112004+a222004+a332004++a200520052004=0 \begin{array}{ccccccccccc} a_{1} \cdot 1 & + & a_{2} \cdot 2 & + & a_{3} \cdot 3 & + & \cdots & + & a_{2005} \cdot 2005 & = & 0 \\ a_{1} \cdot 1^{2} & + & a_{2} \cdot 2^{2} & + & a_{3} \cdot 3^{2} & + & \cdots & + & a_{2005} \cdot 2005^{2} & = & 0 \\ a_{1} \cdot 1^{3} & + & a_{2} \cdot 2^{3} & + & a_{3} \cdot 3^{3} & + & \cdots & + & a_{2005} \cdot 2005^{3} & = & 0 \\ \vdots & & \vdots & & \vdots & & & & \vdots & & \vdots \\ a_{1} \cdot 1^{2004} & + & a_{2} \cdot 2^{2004} & + & a_{3} \cdot 3^{2004} & + & \cdots & + & a_{2005} \cdot 2005^{2004} & = & 0 \end{array}
and
a112005+a222005+a332005++a200520052005=1. a_{1} \cdot 1^{2005}+a_{2} \cdot 2^{2005}+a_{3} \cdot 3^{2005}+\cdots+a_{2005} \cdot 2005^{2005}=1 .

Solution

Solution:
1/2004!1 / 2004!

The polynomial p(x)=x(x2)(x3)(x2005)/2004!p(x) = x(x-2)(x-3) \cdots (x-2005) / 2004! has zero constant term, has the numbers 2,3,,20052, 3, \ldots, 2005 as roots, and satisfies p(1)=1p(1) = 1. Multiplying the nnth equation by the coefficient of xnx^{n} in the polynomial p(x)p(x) and summing over all nn gives
a1p(1)+a2p(2)+a3p(3)++a2005p(2005)=1/2004! a_{1} p(1) + a_{2} p(2) + a_{3} p(3) + \cdots + a_{2005} p(2005) = 1 / 2004!
(since the leading coefficient is 1/2004!1 / 2004!). The left side just reduces to a1a_{1}, so 1/2004!1 / 2004! is the answer.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.