For a positive integer n we denote by s(n) the sum of the digits of n. Let P(x)=xn+an−1xn−1+⋯+a1x+a0 be a polynomial, where n⩾2 and ai is a positive integer for all 0⩽i⩽n−1. Could it be the case that, for all positive integers k, s(k) and s(P(k)) have the same parity? (Belarus)
Solution
With the notation above, we begin by choosing a positive integer t such that 10t>max⎩⎨⎧(10n−11−9n−11)n−1100n−1an−1,9an−110n−1,9an−1(10an−1)n−1,…,9an−1(10a0)n−1⎭⎬⎫ As a direct consequence of 10t being bigger than the first quantity listed in the above set, we get that the interval I=[(an−1910t)n−11,(an−1110t+1)n−11) contains at least 100 consecutive positive integers. Let X be a positive integer in I such that X is congruent to 1mod100. Since X∈I we have 9⋅10t⩽an−1Xn−1<10t+1 thus the first digit (from the left) of an−1Xn−1 must be 9. Next, we observe that an−1(10ai)n−1<9⋅10t⩽an−1Xn−1, thus 10ai<X for all i, which immediately implies that a0<a1X<⋯<anXn, and the number of digits of this strictly increasing sequence forms a strictly increasing sequence too. In other words, if i<j, the number of digits of aiXi is less than the number of digits of ajXj. Let α be the number of digits of an−1Xn−1, thus 10α−1⩽an−1Xn−1<10α. We are now going to look at P(10αX) and P(10α−1X) 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). We have P(10αX)=10αnXn+an−110α(n−1)Xn−1+⋯+a0, and since 10α(i+1)>10αian−1Xn−1>10αiaiXi, the terms ai10αiXi do not interact when added; in particular, there is no carryover caused by addition. Thus we have s(P(10αX))=s(Xn)+s(an−1Xn−1)+⋯+s(a0). We now look at P(10α−1X)=10(α−1)nXn+an−110(α−1)(n−1)Xn−1+⋯+a0. Firstly, if i<n−1, then an−1Xn−1 has more digits than aiXi and an−1Xn−1⩾10aiXi. It now follows that 10(α−1)(i+1)+1>10(α−1)ian−1Xn−1⩾10(α−1)i+1aiXi, thus all terms 10(α−1)iaiXi for 0⩽i⩽n−1 come in 'blocks', exactly as in the previous case. Finally, 10(α−1)n+1>10(α−1)(n−1)an−1Xn−1⩾10(α−1)n, thus 10(α−1)(n−1)an−1Xn−1 has exactly (α−1)n+1 digits, and its first digit is 9, as established above. On the other hand, 10(α−1)nXn has exactly (α−1)n zeros, followed by 01 (as X is 1mod100). 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(an−1Xn−1)+⋯+s(a0)−9=s(P(10αX))−9 thus s(P(10αX)) and s(P(10α−1X)) 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.