Maths Olympiad Prep

Library / IMO Shortlist /24 of 365

IMO Shortlist

Number theory Difficulty 7.7 National Olympiad, round 2 Find the answer

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

*

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

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 xp−1+yx^{p-1} + y and x+yp−1x + y^{p-1} are powers of pp.

Let's denote:

xp−1+y=paandx+yp−1=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,2k−n)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=3a−4y = 3^a - 4.

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

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

Checking possible small values for aa:

- a=1a = 1 gives y=3−4=−1y = 3 - 4 = -1, which is not valid.
- a=2a = 2 gives y=9−4=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=3a−25y = 3^a - 25.

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

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

Checking for valid values for aa:

- a=3a = 3 gives y=27−25=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,2k−n)∣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\}}

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.