Olympiad Maths Prep

Track / Stage 7 / 258 of 300 #1658 of 2000

Problem 1658

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.7 Find the answer imo_shortlist

Find all triples (p,x,y)(p, x, y) consisting of a prime number pp and two positive integers xx and yy such that xp1+yx^{p -1} + y and x+yp1x + y^ {p -1} are both powers of pp.

[i]

Official solution

To solve the problem, we need to find all triples (p,x,y)(p, x, y) where pp is a prime number and xx and yy are positive integers, such that both xp1+yx^{p-1} + y and x+yp1x + y^{p-1} are powers of pp.

Let's denote:

xp1+y=paandx+yp1=pb x^{p-1} + y = p^a \quad \text{and} \quad x + y^{p-1} = p^b

for some positive integers aa and bb.

### Case 1: p=2p = 2

In this scenario, the equations become:

x1+y=2aandx+y1=2b x^1 + y = 2^a \quad \text{and} \quad x + y^1 = 2^b

This simplifies to:

x+y=2aandx+y=2b x + y = 2^a \quad \text{and} \quad x + y = 2^b

For these equations to hold simultaneously, it must be the case that a=ba = b, which means x+y=2kx + y = 2^k for some kk.

Thus, for p=2p = 2, the solutions are given by:

(p,x,y)=(2,n,2kn)where0<n<2k (p, x, y) = (2, n, 2^k - n) \quad \text{where} \quad 0 < n < 2^k

### Case 2: p=3p = 3

For p=3p = 3, we have:

x2+y=3aandx+y2=3b x^2 + y = 3^a \quad \text{and} \quad x + y^2 = 3^b

We shall try small values of xx and check for integer yy.

**Subcase x=2x = 2:**

- x2=4x^2 = 4, so 4+y=3a4 + y = 3^a.
- This implies y=3a4y = 3^a - 4.

x+y2=3bx + y^2 = 3^b:

- 2+(3a4)2=3b2 + (3^a - 4)^2 = 3^b.

Checking possible small values for aa:

- a=1a = 1 gives y=34=1y = 3 - 4 = -1, which is not valid.
- a=2a = 2 gives y=94=5y = 9 - 4 = 5, and thus:
- x+y2=2+52=27=33x + y^2 = 2 + 5^2 = 27 = 3^3. This works, leading to a solution (3,2,5)(3, 2, 5).

**Subcase x=5x = 5:**

- x2=25x^2 = 25, so 25+y=3a25 + y = 3^a.
- This implies y=3a25y = 3^a - 25.

x+y2=3bx + y^2 = 3^b:

- 5+(3a25)2=3b5 + (3^a - 25)^2 = 3^b.

Checking for valid values for aa:

- a=3a = 3 gives y=2725=2y = 27 - 25 = 2, and thus:
- x+y2=5+22=9=32x + y^2 = 5 + 2^2 = 9 = 3^2. This works, leading to another solution (3,5,2)(3, 5, 2).

There are no other small values of xx yielding valid yy as a power of 3 sum.

### Conclusion

Considering all cases, the complete set of solutions is:

(p,x,y){(3,2,5),(3,5,2)}{(2,n,2kn)0<n<2k} \boxed{(p, x, y) \in \{(3, 2, 5), (3, 5, 2)\} \cup \{(2, n, 2^k - n) \mid 0 < n < 2^k\}}

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.