Maths Olympiad Prep

Library / /432 of 860

Algebra Difficulty 5.2 AIME, harder Find the answer

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=1a_{1} \cdot 1^{2005}+a_{2} \cdot 2^{2005}+a_{3} \cdot 3^{2005}+\cdots+a_{2005} \cdot 2005^{2005}=1 What is the value of a1a_{1}?

A number or a short expression. Spacing and $ signs are ignored.

Solution

The polynomial p(x)=x(x2)(x3)(x2005)/2004p(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/20041 / 2004 !). The left side just reduces to a1a_{1}, so 1/20041 / 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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.