Maths Olympiad Prep

Track / Stage 6 / 348 of 400 #1348 of 1964

Problem 1348

National olympiad, first round
Number theory Difficulty 6.8 Find the answer

Fine all positive integers m,n2m,n\geq 2, such that
(1) m+1m+1 is a prime number of type 4k14k-1;
(2) there is a (positive) prime number pp and nonnegative integer aa, such that
m2n11m1=mn+pa.\frac{m^{2^n-1}-1}{m-1}=m^n+p^a.

A number or a short expression. Spacing and $ signs are ignored.

Official solution

1. Given the conditions:
- m+1 m+1 is a prime number of the form 4k1 4k-1 .
- There exists a prime number p p and a nonnegative integer a a such that:
m2n11m1=mn+pa. \frac{m^{2^n-1}-1}{m-1} = m^n + p^a.

2. We start by rewriting the given equation:
m2n11m1mn=pa. \frac{m^{2^n-1}-1}{m-1} - m^n = p^a.
Let D=m2n11m1mn D = \frac{m^{2^n-1}-1}{m-1} - m^n .

3. We claim that m2k+1D m^{2^k} + 1 \mid D . To prove this, we need to show m2k+1mD m^{2^k} + 1 \mid mD since gcd(m,m2k+1)=1 \gcd(m, m^{2^k} + 1) = 1 .

4. Consider:
mD=m2n1m1mn+1. mD = \frac{m^{2^n} - 1}{m-1} - m^{n+1}.
Using the factorization of m2n1 m^{2^n} - 1 :
mD=(m+1)(m2+1)(m2n1+1)(m2k+1)(m2k(s1)m2k(s2)+). mD = (m+1)(m^2+1) \cdots (m^{2^{n-1}}+1) - (m^{2^k}+1)(m^{2^k(s-1)} - m^{2^k(s-2)} + \cdots).
This can be rewritten as:
mD=(m2k+1)((m+1)(m2+1)(m2r1+1)(m2r+1+1)(m2n1+1)m2k(s1)m2k(s2)+). mD = (m^{2^k}+1)\left((m+1)(m^2+1) \cdots (m^{2^{r-1}}+1)(m^{2^{r+1}}+1) \cdots (m^{2^{n-1}}+1) - m^{2^k(s-1)} - m^{2^k(s-2)} + \cdots\right).
Hence, m2k+1mD m^{2^k} + 1 \mid mD .

5. Let q=m+1 q = m+1 be the prime. Then q=m+1m2k+1pa q = m+1 \mid m^{2^k} + 1 \mid p^a , which implies p=q p = q .

6. Plugging p=m+1 p = m+1 into the initial equation, we get:
m2n2+m2n3++m+1=mn+(m+1)a. m^{2^n-2} + m^{2^n-3} + \cdots + m + 1 = m^n + (m+1)^a.

7. If n3 n \geq 3 , we consider two cases:
- If m2(mod8) m \equiv 2 \pmod{8} :
m2n2+m2n3++m+17(mod8), m^{2^n-2} + m^{2^n-3} + \cdots + m + 1 \equiv 7 \pmod{8},
mn+(m+1)a3a1,3(mod8). m^n + (m+1)^a \equiv 3^a \equiv 1, 3 \pmod{8}.
Hence, no solutions.
- If m6(mod8) m \equiv 6 \pmod{8} :
m2n2+m2n3++m+13(mod8), m^{2^n-2} + m^{2^n-3} + \cdots + m + 1 \equiv 3 \pmod{8},
mn+(m+1)a7a1,7(mod8). m^n + (m+1)^a \equiv 7^a \equiv 1, 7 \pmod{8}.
Hence, no solutions.

8. For n=2 n = 2 , all m+1 m+1 such that m+1 m+1 is a prime of the form 4k1 4k-1 works (here a=1 a = 1 ).

9. Therefore, the solutions are:
(m,n)=(p1,2), (m, n) = (p-1, 2),
where p p is a prime of the form 4k1 4k-1 .

The final answer is (m,n)=(p1,2) \boxed{ (m, n) = (p-1, 2) } where p p is a prime of the form 4k1 4k-1 .

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