Maths Olympiad Prep

Library / /7 of 8

Number theory Difficulty 4.5 AIME Prove it Japan

How many positive integers of 20092009 or less digits can be represented in the form a2009+b2009a^{2009} + b^{2009} using integers aa and bb?

Solution

By symmetry, it is sufficient to determine the number of those positive integers having digits less than or equal to 20092009 that can be represented in the form a2009+b2009a^{2009} + b^{2009} by using a pair of integers aa and bb with the additional hypothesis aba \ge b.

Note also that the requirement that a2009+b2009a^{2009} + b^{2009} is positive and has digits less than or equal to 20092009 is equivalent to the condition 102009>a2009+b2009>010^{2009} > a^{2009} + b^{2009} > 0.

Let us first show the following:
If a pair of integers (a,b)(a, b) satisfies either one of the following conditions, then a2009+b2009a^{2009} + b^{2009} is positive and has digits less than or equal to 20092009.
(A):1a9anda<ba. (A) : 1 \le a \le 9 \quad \text{and} \quad -a < b \le a.
(B):a=10and10<b<0. (B) : a = 10 \quad \text{and} \quad -10 < b < 0.
We first prove the following simple lemma.

Lemma: (9/10)2009<1/3(9/10)^{2009} < 1/3.

Proof: In fact, you can check that (9/10)n<1/3(9/10)^n < 1/3 if n11n \ge 11, but we can give a simpler proof for n15n \ge 15. Note that 95=590499^5 = 59049 so that (9/10)5<3/5<2/3(9/10)^5 < 3/5 < 2/3 and (2/3)3<1/3(2/3)^3 < 1/3. Therefore, (9/10)15={(9/10)5}3<(2/3)3<1/3(9/10)^{15} = \{(9/10)^5\}^3 < (2/3)^3 < 1/3.

If the condition (A) is satisfied, then it is clear that a2009+b2009a^{2009} + b^{2009} is positive, and since its maximum value is attained when a=b=9a = b = 9, a2009+b20092×92009<102009a^{2009} + b^{2009} \le 2 \times 9^{2009} < 10^{2009} by the lemma. When the condition (B) is satisfied, we have 102009=10200902009>a2009+b2009>102009+(1)2009=010^{2009} = 10^{2009} - 0^{2009} > a^{2009} + b^{2009} > 10^{2009} + (-1)^{2009} = 0, therefore, we conclude that under either of the conditions (A) or (B), 102009>a2009+b2009>010^{2009} > a^{2009} + b^{2009} > 0.

We next show that there are no other pairs (a,b)(a, b), which satisfy the requirement. So, suppose that 102009>a2009+b2009>010^{2009} > a^{2009} + b^{2009} > 0 and aba \ge b. Then, we must have a1a \ge 1 and b>ab > -a. Therefore, if 9a19 \ge a \ge 1, there are no solutions unless ab>aa \ge b > -a. If a=10a = 10, then if b0b \ge 0 we get a2009+b2009102009a^{2009} + b^{2009} \ge 10^{2009}, which contradicts the assumption, hence 0>b>a=100 > b > -a = -10 must be satisfied. Finally, if a11a \ge 11, then it is clear that we need 0>b>a0 > b > -a. But then, a2009+b2009=a2009(b)2009a2009(a1)2009a^{2009} + b^{2009} = a^{2009} - (-b)^{2009} \ge a^{2009} - (a-1)^{2009} since 0<ba10 < -b \le a - 1. Since
a2009(a1)2009={a(a1)}{a2008+a2007(a1)++a(a1)2007+(a1)2008}>2009(a1)20082009102008>102009, \begin{aligned} & a^{2009} - (a-1)^{2009} \\ &= \{a - (a-1)\}\{a^{2008} + a^{2007}(a-1) + \dots + a(a-1)^{2007} + (a-1)^{2008}\} \\ &> 2009(a-1)^{2008} \ge 2009 \cdot 10^{2008} > 10^{2009}, \end{aligned}
we see that a11a \ge 11 cannot occur. Thus, we conclude that either (A) or (B) must be satisfied.

The number of pairs (a,b)(a, b) which satisfies the condition (A) is a=192a=(9+1)9=90\sum_{a=1}^{9} 2a = (9+1) \cdot 9 = 90, and the number of pairs (a,b)(a, b) satisfying the condition (B) is 99, so if we can show that no 22 pairs satisfying either condition (A) or (B) give the same number a2009+b2009a^{2009} + b^{2009}, then we can conclude that 90+9=9990+9=99 is the desired answer to the problem.

So, suppose a2009+b2009=c2009+d2009a^{2009} + b^{2009} = c^{2009} + d^{2009}, with aba \ge b and cdc \ge d. We may suppose aca \ge c. If a=ca=c, then b=db=d. So, let us suppose 1ca181 \le c \le a-1 \le 8. Then, since 1aba1-a \le b \le a and 2a1cdca12-a \le 1-c \le d \le c \le a-1, we have a2009=c2009+d2009b20093(a1)2009a^{2009} = c^{2009} + d^{2009} - b^{2009} \le 3 \cdot (a-1)^{2009}. Since 2a92 \le a \le 9, we have a1a89<910\frac{a-1}{a} \le \frac{8}{9} < \frac{9}{10}, and by the lemma (a1a)2009<(910)2009<13(\frac{a-1}{a})^{2009} < (\frac{9}{10})^{2009} < \frac{1}{3}, from which it follows that a20093(a1)2009<a2009a^{2009} \le 3 \cdot (a-1)^{2009} < a^{2009}, a contradiction. Thus, the numbers a2009+b2009a^{2009} + b^{2009} for pairs (a,b)(a, b) satisfying the condition (A) are distinct.

Finally, if 102009+b2009=c2009+d200910^{2009} + b^{2009} = c^{2009} + d^{2009} with 0>b>100 > b > -10, 10c110 \ge c \ge 1 and cd>cc \ge d > -c, the condition c=10c=10 forces dd to be equal to bb, while if 9c9 \ge c, we get 102009=c2009b2009+d2009<39200910^{2009} = c^{2009} - b^{2009} + d^{2009} < 3 \cdot 9^{2009}, and we obtain a contradiction since 392009<1020093 \cdot 9^{2009} < 10^{2009} again by the lemma. Thus the numbers a2009+b2009a^{2009} + b^{2009} corresponding to the pairs satisfying the condition (B) are all distinct and different from any of those corresponding to pairs satisfying the condition (A).

Therefore, the answer is 9999.

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.