Maths Olympiad Prep

Library / /10 of 12

Number theory Difficulty 8.0 National olympiad, round 2 Prove it Saudi Arabia

Let a1,a2,,a9a_{1}, a_{2}, \ldots, a_{9} be integers. Prove that if 1919 divides a19+a29++a99a_{1}^{9} + a_{2}^{9} + \cdots + a_{9}^{9} then 1919 divides the product a1a2a9a_{1} a_{2} \cdots a_{9}.

Solution

Assume that 1919 does not divide the product a1a2a9a_{1} a_{2} \cdots a_{9}. This means that a1,a2,,a9a_{1}, a_{2}, \ldots, a_{9} are relatively prime with 1919. Using Fermat,
a118a218a9181(mod19). a_{1}^{18} \equiv a_{2}^{18} \equiv \cdots \equiv a_{9}^{18} \equiv 1 \pmod{19}.
But ai181(mod19)a_{i}^{18} \equiv 1 \pmod{19} is equivalent to (ai91)(ai9+1)0(mod19)(a_{i}^{9} - 1)(a_{i}^{9} + 1) \equiv 0 \pmod{19}. Since 1919 is a prime number, this implies that ai9±1(mod19)a_{i}^{9} \equiv \pm 1 \pmod{19}, for i=1,,9i = 1, \ldots, 9, and therefore a19+a29++a99±k(mod19)a_{1}^{9} + a_{2}^{9} + \cdots + a_{9}^{9} \equiv \pm k \pmod{19} for some odd number kk between 11 and 99. This is a contradiction. Thus 1919 divides the product a1a2a9a_{1} a_{2} \cdots a_{9}.

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 and solution reproduced as published; topic and difficulty added by this site.