Maths Olympiad Prep

Library / /6 of 19

, 2002

Number theory Difficulty 7.7 National Olympiad, round 2 Prove it Germany

Problem:

Find all solutions of the equation x2y+(x+1)2y=(x+2)2yx^{2y} + (x+1)^{2y} = (x+2)^{2y} with x,yNx, y \in \mathbb{N}.

Solution

Solution:

One easily sees that neither xx nor yy can be zero.
For y=1y=1 one obtains from x2+(x+1)2=(x+2)2x^{2} + (x+1)^{2} = (x+2)^{2} the equation x22x3=0x^{2} - 2x - 3 = 0, of which only the solution x=3x=3 comes into question.

Now let y>1y > 1.
Since xx and x+2x+2 have the same parity, x+1x+1 is even and hence xx is odd.
With x=2k1x = 2k-1 (kNk \in \mathbb{N}) the equation becomes

(2k1)2y+(2k)2y=(2k+1)2y\quad (2k-1)^{2y} + (2k)^{2y} = (2k+1)^{2y}

from which, by expanding, one obtains the following:

(2k)2y2y(2k)2y1+2y2k+1+(2k)2y=(2k)2y+2y(2k)2y1++2y2k+1 (2k)^{2y} - 2y (2k)^{2y-1} + \ldots - 2y 2k + 1 + (2k)^{2y} = (2k)^{2y} + 2y (2k)^{2y-1} + \ldots + 2y 2k + 1

Since y>1y > 1, we also have 2y32y \geq 3. If one now collects all terms in ykyk on one side and factors out (2k)3(2k)^{3} on the other side, one obtains:

8yk=(2k)3[2(2y3)+2(2y5)(2k)2+(2k)2y3] 8yk = (2k)^{3} \left[2 \binom{2y}{3} + 2 \binom{2y}{5} (2k)^{2} + \ldots - (2k)^{2y-3}\right]

from which it follows that yy is a multiple of kk.

Dividing the equation by (2k)2y(2k)^{2y} gives:

(112k)2y+1=(1+12k)2y \left(1 - \frac{1}{2k}\right)^{2y} + 1 = \left(1 + \frac{1}{2k}\right)^{2y}

where the left side is less than 22. The right side, however, is greater than 1+2y2k21 + \frac{2y}{2k} \geq 2, which cannot be, since yy is a multiple of kk.

The given equation therefore has only the solution x=3x=3 and y=1y=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 translated into English from de; metadata (topic, difficulty) added by this project.