Maths Olympiad Prep

Library / /5 of 8

, 2015

Number theory Difficulty 5.8 AIME, harder Prove it Slovenia

Find all pairs of positive integers aa and bb which satisfy 2ab=ab+32a^b = ab + 3.

Solutions — 2

Solution 1

Since bb is a positive integer, aa divides 2ab2a^b and abab, and hence also 33. Since 33 is a prime number, we have a=1a = 1 or a=3a = 3.

If a=1a = 1 we get equation 2=b+32 = b + 3, which does not have solutions in positive integers.

Therefore a=3a = 3 and we get equation 23b=3b+32 \cdot 3^b = 3b + 3 which gives 23b1=b+12 \cdot 3^{b-1} = b + 1.

One solution of this equation is b=1b = 1.

Let's prove that there are no other solutions in positive integers. We shall use induction with respect to bb and prove that 23b1>b+12 \cdot 3^{b-1} > b + 1 for all b2b \ge 2.

For b=2b = 2 this is true since 231=6>3=2+12 \cdot 3^1 = 6 > 3 = 2 + 1.

Suppose that 23b1>b+12 \cdot 3^{b-1} > b + 1 for some b2b \ge 2. Then 23b=323b1>3(b+1)>b+22 \cdot 3^b = 3 \cdot 2 \cdot 3^{b-1} > 3(b+1) > b + 2, and induction is finished.

Thus we indeed have that 23b1>b+12 \cdot 3^{b-1} > b + 1 for all b2b \ge 2, which means that b=1b = 1 is the only solution of the equation 23b1=b+12 \cdot 3^{b-1} = b + 1 in positive integers.

The only solution to the given equation is the pair a=3a = 3 and b=1b = 1.

Solution 2

As in Solution 1 we deduce that a=3a = 3 and 23b=3b+32 \cdot 3^b = 3b + 3. Let's take a look at the functions f(x)=3x+3f(x) = 3x + 3 and g(x)=23xg(x) = 2 \cdot 3^x. Real solutions of the equation 23b=3b+32 \cdot 3^b = 3b + 3 are those points at which the graphs of functions ff and gg intersect. The function ff is a linear function, the function gg is a scalar multiple of the exponent function. The graphs of such two functions intersect at most twice. Since f(1)=6=g(1)f(1) = 6 = g(1) one intersection is at x=1x = 1. The second intersection lies on the interval between 1-1 and 00 since f(1)=0<23=g(1)f(-1) = 0 < \frac{2}{3} = g(-1) and f(0)=3>2=g(0)f(0) = 3 > 2 = g(0). The equation 23b=3b+32 \cdot 3^b = 3b + 3 thus has two real solutions, only one of which is a positive integer.

The only solution to the given equation is the pair a=3a = 3 and b=1b = 1.

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.