Olympiad Maths Prep

Library / /18 of 45

Number theory Difficulty 5.8 AIME, harder Prove it Ukraine

Find all pairs of non-negative integers xyx \ge y for which x+3yx + 3^y and y+3xy + 3^x are two consecutive integers.

Solution

Obviously, x>yx > y (since x+3yy+3xx + 3^y \neq y + 3^x). First, we prove the following lemma.

Lemma. For any natural number n>1n > 1, the inequality 3n>n+23^n > n + 2 holds.

*Proof.* We prove the statement by induction. For n=2n=2, we have that 32=9>2+2=43^2 = 9 > 2 + 2 = 4. Suppose that the statement holds for some n2n \ge 2. Then
3n+1=33n>3(n+2)=3n+6>n+3=(n+1)+2. 3^{n+1} = 3 \cdot 3^n > 3 \cdot (n+2) = 3n + 6 > n + 3 = (n+1) + 2.
*Lemma proved.*

Note that the equality 3n=n+23^n = n + 2 is only achieved when n=1n = 1.

Consider the difference:
1=y+3xx3y=3y(3xy1)(xy)1((xy)+21)(xy)=1. 1 = y + 3^x - x - 3^y = 3^y(3^{x-y} - 1) - (x-y) \geq 1 \cdot ((x-y) + 2 - 1) - (x-y) = 1.
For this equality to hold, all intermediate inequalities must also be equalities, so the following conditions must be satisfied: 3y=13^y = 1 and xy=1x - y = 1, which gives us the answer stated above.

If 1=(x+3y)(y+3x)1 = (x + 3^y) - (y + 3^x), then
3x3y=xy13y(3xy1)=xy13xy1xy13xyxy 3^x - 3^y = x - y - 1 \Rightarrow 3^y(3^{x-y} - 1) = x - y - 1 \Rightarrow 3^{x-y} - 1 \leq x - y - 1 \Rightarrow 3^{x-y} \leq x - y
But we have proved that for all natural numbers nn, 3nn+2>n3n>n3^n \ge n + 2 > n \Rightarrow 3^n > n, so we obtain a contradiction in this case.

Looking for a route rather than 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.