Maths Olympiad Prep

Library / /274 of 520

Number theory Difficulty 6.1 National olympiad Prove it

Example 3 Let mm and nn be positive integers, mm is odd, and (m,2n1)=1\left(m, 2^{n}-1\right)=1. Prove: The number 1n+1^{n}+ 2n++mn2^{n}+\cdots+m^{n} is a multiple of mm.

Solution

Prove that since mm is odd, and 1,2,,m1,2, \cdots, m is a complete residue system modulo mm, then 2×1,2×2,,2×m2 \times 1, 2 \times 2, \cdots, 2 \times m is also a complete residue system modulo mm, so,
1n+2n++mn(2×1)n+(2×2)n++(2×m)n(modm).1^{n}+2^{n}+\cdots+m^{n} \equiv (2 \times 1)^{n}+(2 \times 2)^{n}+\cdots+(2 \times m)^{n} \pmod{m}.

Thus, m(2n1)(1n+2n++mn)m \mid \left(2^{n}-1\right)\left(1^{n}+2^{n}+\cdots+m^{n}\right), and combining with (m,2n1)=1\left(m, 2^{n}-1\right)=1, the proposition holds.

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.