Maths Olympiad Prep

Library / /255 of 520

Number theory Difficulty 6.1 National olympiad Prove it

Example 4 Let k1k \geqslant 1 be an odd number, prove: for any positive integer nn, the number 1k+2k++nk1^{k}+2^{k}+\cdots+n^{k} cannot be divisible by n+2n+2.

Translate the above text into English, please keep the original text's line breaks and format, and output the translation result directly.

Solution

Prove that the conclusion is obviously true when n=1n=1. Let n2n \geqslant 2, and denote the said sum as AA, then
2A=2+(2k+nk)+(3k+(n1)k)++(nk+2k).2 A=2+\left(2^{k}+n^{k}\right)+\left(3^{k}+(n-1)^{k}\right)+\cdots+\left(n^{k}+2^{k}\right) .

Since kk is a positive odd number, by the factorization formula (6), for each i2i \geqslant 2, the number ik+(n+2i)ki^{k}+(n+2-i)^{k} is divisible by i+(n+2i)=n+2i+(n+2-i)=n+2, hence the remainder when 2A2 A is divided by n+2n+2 is 2, thus AA cannot be divisible by n+2n+2 (note that n+2>2n+2>2).

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.