Maths Olympiad Prep

Library / HMMT February /502 of 1302

HMMT February

Algebra Difficulty 5.2 AIME, harder Find the answer

Let a1,a2,…,a2005a_{1}, a_{2}, \ldots, a_{2005} be real numbers such that a1⋅1+a2⋅2+a3⋅3+⋯+a2005⋅2005=0a1⋅12+a2⋅22+a3⋅32+⋯+a2005⋅20052=0a1⋅13+a2⋅23+a3⋅33+⋯+a2005⋅20053=0⋮⋮⋮⋮⋮a1⋅12004+a2⋅22004+a3⋅32004+⋯+a2005⋅20052004=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 a1⋅12005+a2⋅22005+a3⋅32005+⋯+a2005⋅20052005=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. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

The polynomial p(x)=x(x−2)(x−3)⋯(x−2005)/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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.