Maths Olympiad Prep

Library / TEAM SELECTION EXAMINATION FOR THE 42nd INTERNATIONAL MATH- EMATICAL OLYMPIAD. TURKEY.

TEAM SELECTION EXAMINATION FOR THE 42nd INTERNATIONAL MATH- EMATICAL OLYMPIAD. TURKEY.

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+4⋅0+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+4⋅1+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=1−4+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+4⋅2+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=1−8+16=9 1 + 4 \cdot (-2) + (-2)^4 = 1 - 8 + 16 = 9
99 is not a power of 55.

For y=3y = 3:
1+4⋅3+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=1−12+81=70 1 + 4 \cdot (-3) + (-3)^4 = 1 - 12 + 81 = 70
7070 is not a power of 55.

For y=4y = 4:
1+4⋅4+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=1−16+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+4⋅5+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=1−20+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=1−40+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+y4≈y41 + 4y + y^4 \approx y^4.
So 5x≈y45^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+1−625=0y^4 + 4y + 1 - 625 = 0
y4+4y−624=0y^4 + 4y - 624 = 0

Try y=4y = 4:
44+4⋅4−624=256+16−624=272−624=−3524^4 + 4 \cdot 4 - 624 = 256 + 16 - 624 = 272 - 624 = -352

Try y=5y = 5:
54+4⋅5−624=625+20−624=645−624=215^4 + 4 \cdot 5 - 624 = 625 + 20 - 624 = 645 - 624 = 21

Try y=6y = 6:
64+4⋅6−624=1296+24−624=1320−624=6966^4 + 4 \cdot 6 - 624 = 1296 + 24 - 624 = 1320 - 624 = 696

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

Try y=−5y = -5:
625−20−624=605−624=−19625 - 20 - 624 = 605 - 624 = -19

Try y=−6y = -6:
1296−24−624=1272−624=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+4y−4=0y^4 + 4y - 4 = 0
Try y=1y = 1: 1+4−4=11 + 4 - 4 = 1
y=−1y = -1: 1−4−4=−71 - 4 - 4 = -7
y=2y = 2: 16+8−4=2016 + 8 - 4 = 20
y=−2y = -2: 16−8−4=416 - 8 - 4 = 4
No integer solution.

For x=−1x = -1:
5−1=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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.