Maths Olympiad Prep

Track / Stage 8 / 83 of 180 #2263 of 2444

Problem 2263

IMO Shortlist mid-range; USAMO P2/P5
Number theory Difficulty 8.3 Find the answer IMO Shortlist

Find all triplets of positive integers (a,m,n) (a,m,n) such that a m 1 (a 1) n\text{a m 1 (a 1) n}.

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

Next problem →

Official solution

To find all triplets of positive integers (a,m,n)(a, m, n) such that am+1(a+1)na^m + 1 \mid (a + 1)^n, we need to analyze the divisibility condition am+1(a+1)na^m + 1 \mid (a + 1)^n. This condition suggests that (a+1)n=k(am+1)(a + 1)^n = k(a^m + 1) for some integer kk.

**Step 1: Analyze cases where m=1m = 1:**

If m=1m = 1, then the divisibility condition becomes:
a+1(a+1)n a + 1 \mid (a + 1)^n
which is true for all nn since (a+1)(a + 1) clearly divides (a+1)n(a + 1)^n. Thus, for m=1m = 1, any triplet (a,1,n)(a, 1, n) satisfies the condition.

**Step 2: Analyze cases where a=1a = 1:**

If a=1a = 1, the condition becomes:
1m+1=2(1+1)n=2n 1^m + 1 = 2 \mid (1 + 1)^n = 2^n
This is true for all mm and nn since 22 divides any power of 22. Thus, for a=1a = 1, the triplet (1,m,n)(1, m, n) is always a solution.

**Step 3: Try specific values for aa and analyze**

Consider a=2a = 2:
- The condition becomes:
2m+13n 2^m + 1 \mid 3^n
We need to find when this divisibility holds true.

- If m=3m = 3, then 23+1=92^3 + 1 = 9, and we need 93n9 \mid 3^n. Notice 9=329 = 3^2, hence n2n \geq 2 for divisibility since 3n3^n must be at least a multiple of 99.

Thus, we find the specific triplet (2,3,n)(2, 3, n) for n>1n > 1.

Conclusion:

After analyzing the various cases as demonstrated, we identify the following triplets as solutions to the given divisibility condition:

- (a,1,n)(a, 1, n) for any positive aa and nn.
- (1,m,n)(1, m, n) for any positive mm and nn.
- (2,3,n)(2, 3, n) for any n>1n > 1.

Therefore, the complete set of solutions is:
{(a,1,n),(1,m,n),(2,3,n) where n>1} \boxed{\{(a, 1, n), (1, m, n), (2, 3, n) \text{ where } n > 1\}}

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.