Maths Olympiad Prep

Library /

, 2016

Number theory Difficulty 7.6 National Olympiad, round 2 Prove it Balkan Mathematical Olympiad

A positive integer nn is downhill if its decimal representation akak1a0\overline{a_k a_{k-1} \dots a_0} satisfies akak1a0a_k \ge a_{k-1} \ge \dots \ge a_0. A real-coefficient polynomial PP is integer-valued if P(n)P(n) is an integer for all integer nn, and downhill-integer-valued if P(n)P(n) is an integer for all downhill positive integers nn. Is it true that every downhill-integer-valued polynomial is also integer-valued?

Solution

A downhill number can always be written as ab1b2b9a - b_1 - b_2 - \dots - b_9, where aa is of the form 9999\overline{99\dots99} and each bib_i either equals 00 or is of the form 1111\overline{11\dots11}.
Let nn be a positive integer. The numbers of the form 9999\overline{99\dots99} yield at most nn different remainders upon division by 2n2^n, as do the numbers of the form 1111\overline{11\dots11}. Therefore, downhill numbers yield at most n(n+1)9n(n+1)^9 different remainders upon division by 2n2^n.
Let nn be so large that n(n+1)9<2nn(n+1)^9 < 2^n. (n=63n = 63 works: 63×649<6410=260<26363 \times 64^9 < 64^{10} = 2^{60} < 2^{63}.) Let 0r<2n0 \le r < 2^n be such that no downhill number is congruent to rr modulo 2n2^n.
Consider the polynomial
P(x)=12×(2n1)!1i<2n(xr+i). P(x) = \frac{1}{2 \times (2^n - 1)!} \prod_{1 \le i < 2^n} (x - r + i).
We have that P(r)=12P(r) = \frac{1}{2} is not an integer.
Let, then, xx be a downhill number. The number (xr+1)(xr+2n1)(x - r + 1) \dots (x - r + 2^n - 1) is a multiple of (2n1)!(2^n - 1)! (as a product of 2n12^n - 1 consecutive integers); therefore, 2P(x)2P(x) is an integer. On the other hand, the number (xr)(xr+1)(xr+2n1)(x - r)(x - r + 1) \dots (x - r + 2^n - 1) is a multiple of 2n!2^n! (as a product of 2n2^n consecutive integers); therefore, 2(xr)P(x)2(x - r)P(x) is an integer multiple of 2n2^n. Since xx is downhill, xrx - r is not divisible by 2n2^n. Therefore, 2P(x)2P(x) is even and P(x)P(x) is an integer.

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.