Maths Olympiad Prep

Library / /94 of 106

Number theory Difficulty 8.8 Shortlist Prove it IMO

For a positive integer nn we denote by s(n)s(n) the sum of the digits of nn. Let P(x)=xn+an1xn1++a1x+a0P(x)= x^{n}+a_{n-1} x^{n-1}+\cdots+a_{1} x+a_{0} be a polynomial, where n2n \geqslant 2 and aia_{i} is a positive integer for all 0in10 \leqslant i \leqslant n-1. Could it be the case that, for all positive integers kk, s(k)s(k) and s(P(k))s(P(k)) have the same parity?
(Belarus)

Solution

With the notation above, we begin by choosing a positive integer tt such that
10t>max{100n1an1(101n191n1)n1,an1910n1,an19(10an1)n1,,an19(10a0)n1} 10^{t} > \max \left\{ \frac{100^{n-1} a_{n-1}}{\left(10^{\frac{1}{n-1}} - 9^{\frac{1}{n-1}}\right)^{n-1}}, \frac{a_{n-1}}{9} 10^{n-1}, \frac{a_{n-1}}{9} (10 a_{n-1})^{n-1}, \ldots, \frac{a_{n-1}}{9} (10 a_{0})^{n-1} \right\}
As a direct consequence of 10t10^{t} being bigger than the first quantity listed in the above set, we get that the interval
I=[(9an110t)1n1,(1an110t+1)1n1) I = \left[ \left( \frac{9}{a_{n-1}} 10^{t} \right)^{\frac{1}{n-1}}, \left( \frac{1}{a_{n-1}} 10^{t+1} \right)^{\frac{1}{n-1}} \right)
contains at least 100 consecutive positive integers.
Let XX be a positive integer in II such that XX is congruent to 1mod1001 \bmod 100. Since XIX \in I we have
910tan1Xn1<10t+1 9 \cdot 10^{t} \leqslant a_{n-1} X^{n-1} < 10^{t+1}
thus the first digit (from the left) of an1Xn1a_{n-1} X^{n-1} must be 9.
Next, we observe that an1(10ai)n1<910tan1Xn1a_{n-1} (10 a_{i})^{n-1} < 9 \cdot 10^{t} \leqslant a_{n-1} X^{n-1}, thus 10ai<X10 a_{i} < X for all ii, which immediately implies that a0<a1X<<anXna_{0} < a_{1} X < \cdots < a_{n} X^{n}, and the number of digits of this strictly increasing sequence forms a strictly increasing sequence too. In other words, if i<ji < j, the number of digits of aiXia_{i} X^{i} is less than the number of digits of ajXja_{j} X^{j}.
Let α\alpha be the number of digits of an1Xn1a_{n-1} X^{n-1}, thus 10α1an1Xn1<10α10^{\alpha-1} \leqslant a_{n-1} X^{n-1} < 10^{\alpha}. We are now going to look at P(10αX)P(10^{\alpha} X) and P(10α1X)P(10^{\alpha-1} X) and prove that the sum of their digits has different parities. This will finish the proof since s(10αX)=s(10α1X)=s(X)s(10^{\alpha} X) = s(10^{\alpha-1} X) = s(X).
We have P(10αX)=10αnXn+an110α(n1)Xn1++a0P(10^{\alpha} X) = 10^{\alpha n} X^{n} + a_{n-1} 10^{\alpha(n-1)} X^{n-1} + \cdots + a_{0}, and since 10α(i+1)>10αian1Xn1>10αiaiXi10^{\alpha(i+1)} > 10^{\alpha i} a_{n-1} X^{n-1} > 10^{\alpha i} a_{i} X^{i}, the terms ai10αiXia_{i} 10^{\alpha i} X^{i} do not interact when added; in particular, there is no carryover caused by addition. Thus we have s(P(10αX))=s(Xn)+s(an1Xn1)++s(a0)s(P(10^{\alpha} X)) = s(X^{n}) + s(a_{n-1} X^{n-1}) + \cdots + s(a_{0}).
We now look at P(10α1X)=10(α1)nXn+an110(α1)(n1)Xn1++a0P(10^{\alpha-1} X) = 10^{(\alpha-1) n} X^{n} + a_{n-1} 10^{(\alpha-1)(n-1)} X^{n-1} + \cdots + a_{0}. Firstly, if i<n1i < n-1, then an1Xn1a_{n-1} X^{n-1} has more digits than aiXia_{i} X^{i} and an1Xn110aiXia_{n-1} X^{n-1} \geqslant 10 a_{i} X^{i}. It now follows that 10(α1)(i+1)+1>10(α1)ian1Xn110(α1)i+1aiXi10^{(\alpha-1)(i+1)+1} > 10^{(\alpha-1) i} a_{n-1} X^{n-1} \geqslant 10^{(\alpha-1) i+1} a_{i} X^{i}, thus all terms 10(α1)iaiXi10^{(\alpha-1) i} a_{i} X^{i} for 0in10 \leqslant i \leqslant n-1 come in 'blocks', exactly as in the previous case.
Finally, 10(α1)n+1>10(α1)(n1)an1Xn110(α1)n10^{(\alpha-1) n+1} > 10^{(\alpha-1)(n-1)} a_{n-1} X^{n-1} \geqslant 10^{(\alpha-1) n}, thus 10(α1)(n1)an1Xn110^{(\alpha-1)(n-1)} a_{n-1} X^{n-1} has exactly (α1)n+1(\alpha-1) n+1 digits, and its first digit is 9, as established above. On the other hand, 10(α1)nXn10^{(\alpha-1) n} X^{n} has exactly (α1)n(\alpha-1) n zeros, followed by 01 (as XX is 1mod1001 \bmod 100). Therefore, when we add the terms, the 9 and 1 turn into 0, the 0 turns into 1, and nothing else is affected.
Putting everything together, we obtain
s(P(10α1X))=s(Xn)+s(an1Xn1)++s(a0)9=s(P(10αX))9 s(P(10^{\alpha-1} X)) = s(X^{n}) + s(a_{n-1} X^{n-1}) + \cdots + s(a_{0}) - 9 = s(P(10^{\alpha} X)) - 9
thus s(P(10αX))s(P(10^{\alpha} X)) and s(P(10α1X))s(P(10^{\alpha-1} X)) have different parities, as claimed.

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.