Maths Olympiad Prep

Library / /2 of 15

Number theory Difficulty 4.5 AIME Prove it United States

Problem:
Prove that the sum of the 20092009th powers of the first 20092009 positive integers is divisible by 20092009.

Solution

Solution:
Using the factoring formula
x2009+y2009=(x+y)(x2008x2007y+x2006y2xy2007+y2008), x^{2009} + y^{2009} = (x + y)\left(x^{2008} - x^{2007}y + x^{2006}y^{2} - \cdots - x y^{2007} + y^{2008}\right),
we find that each of the numbers
02009+20092009, 12009+20082009, 22009+20072009, , 10042009+10052009 0^{2009} + 2009^{2009},\ 1^{2009} + 2008^{2009},\ 2^{2009} + 2007^{2009},\ \ldots,\ 1004^{2009} + 1005^{2009}
is divisible by 20092009. Consequently so is their sum.

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.