Maths Olympiad Prep

Library /

Number theory Difficulty 7.8 National olympiad, round 2 Prove it Turkey

Find all pairs (x,y)(x, y) of integers satisfying
5x=1+4y+y4 5^x = 1 + 4y + y^4

Solution

Let us consider the equation:
5x=1+4y+y4 5^x = 1 + 4y + y^4
We seek integer solutions (x,y)(x, y).

First, note that y4+4y+1y^4 + 4y + 1 grows rapidly for large y|y|, so 5x5^x must also be a perfect power of 55.

Let us try small integer values for yy:

For y=0y = 0:
1+40+04=1 1 + 4 \cdot 0 + 0^4 = 1
So 5x=1    x=05^x = 1 \implies x = 0.
Thus, (x,y)=(0,0)(x, y) = (0, 0) is a solution.

For y=1y = 1:
1+41+14=1+4+1=6 1 + 4 \cdot 1 + 1^4 = 1 + 4 + 1 = 6
66 is not a power of 55.

For y=1y = -1:
1+4(1)+(1)4=14+1=2 1 + 4 \cdot (-1) + (-1)^4 = 1 - 4 + 1 = -2
2-2 is not a power of 55.

For y=2y = 2:
1+42+24=1+8+16=25 1 + 4 \cdot 2 + 2^4 = 1 + 8 + 16 = 25
25=5225 = 5^2, so x=2x = 2.
Thus, (x,y)=(2,2)(x, y) = (2, 2) is a solution.

For y=2y = -2:
1+4(2)+(2)4=18+16=9 1 + 4 \cdot (-2) + (-2)^4 = 1 - 8 + 16 = 9
99 is not a power of 55.

For y=3y = 3:
1+43+34=1+12+81=94 1 + 4 \cdot 3 + 3^4 = 1 + 12 + 81 = 94
9494 is not a power of 55.

For y=3y = -3:
1+4(3)+(3)4=112+81=70 1 + 4 \cdot (-3) + (-3)^4 = 1 - 12 + 81 = 70
7070 is not a power of 55.

For y=4y = 4:
1+44+44=1+16+256=273 1 + 4 \cdot 4 + 4^4 = 1 + 16 + 256 = 273
273273 is not a power of 55.

For y=4y = -4:
1+4(4)+(4)4=116+256=241 1 + 4 \cdot (-4) + (-4)^4 = 1 - 16 + 256 = 241
241241 is not a power of 55.

Now, for y=5y = 5:
1+45+54=1+20+625=646 1 + 4 \cdot 5 + 5^4 = 1 + 20 + 625 = 646
646646 is not a power of 55.

For y=5y = -5:
1+4(5)+(5)4=120+625=606 1 + 4 \cdot (-5) + (-5)^4 = 1 - 20 + 625 = 606
606606 is not a power of 55.

Now, consider negative xx:
5x5^x is always positive, so 1+4y+y4>01 + 4y + y^4 > 0.
For y<0y < 0, y4y^4 is positive, but 4y4y is negative. For large negative yy, y4y^4 dominates, so 1+4y+y41 + 4y + y^4 is positive.

Let us check for y=10y = -10:
1+4(10)+(10)4=140+10000=9961 1 + 4 \cdot (-10) + (-10)^4 = 1 - 40 + 10000 = 9961
99619961 is not a power of 55.

Now, let's try to factor y4+4y+1y^4 + 4y + 1 to see if it can be a power of 55 for other integer yy.

Alternatively, note that for large y|y|, y4y^4 dominates, so 1+4y+y4y41 + 4y + y^4 \approx y^4.
So 5xy45^x \approx y^4, so yy is approximately ±5x/4\pm 5^{x/4}, but xx must be divisible by 44 for yy to be integer.

Let us try x=4x = 4:
54=625 5^4 = 625
So y4+4y+1=625y^4 + 4y + 1 = 625
y4+4y+1625=0y^4 + 4y + 1 - 625 = 0
y4+4y624=0y^4 + 4y - 624 = 0

Try y=4y = 4:
44+44624=256+16624=272624=3524^4 + 4 \cdot 4 - 624 = 256 + 16 - 624 = 272 - 624 = -352

Try y=5y = 5:
54+45624=625+20624=645624=215^4 + 4 \cdot 5 - 624 = 625 + 20 - 624 = 645 - 624 = 21

Try y=6y = 6:
64+46624=1296+24624=1320624=6966^4 + 4 \cdot 6 - 624 = 1296 + 24 - 624 = 1320 - 624 = 696

Try y=4y = -4:
(4)4+4(4)624=25616624=240624=384(-4)^4 + 4 \cdot (-4) - 624 = 256 - 16 - 624 = 240 - 624 = -384

Try y=5y = -5:
62520624=605624=19625 - 20 - 624 = 605 - 624 = -19

Try y=6y = -6:
129624624=1272624=6481296 - 24 - 624 = 1272 - 624 = 648

No integer solution for yy.

Now, for x=1x = 1:
51=55^1 = 5
y4+4y+1=5y^4 + 4y + 1 = 5
y4+4y4=0y^4 + 4y - 4 = 0
Try y=1y = 1: 1+44=11 + 4 - 4 = 1
y=1y = -1: 144=71 - 4 - 4 = -7
y=2y = 2: 16+84=2016 + 8 - 4 = 20
y=2y = -2: 1684=416 - 8 - 4 = 4
No integer solution.

For x=1x = -1:
51=1/55^{-1} = 1/5
y4+4y+1=1/5y^4 + 4y + 1 = 1/5
No integer solution.

Thus, the only integer solutions are (x,y)=(0,0)(x, y) = (0, 0) and (x,y)=(2,2)(x, y) = (2, 2).

Final Answer:
All integer solutions are (x,y)=(0,0)(x, y) = (0, 0) and (x,y)=(2,2)(x, y) = (2, 2).

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.