Maths Olympiad Prep

Library / /5 of 63

Number theory Difficulty 7.6 National olympiad, round 2 Prove it Turkey

Find all pairs (m,n)(m, n) of positive integers satisfying m6=nn+1+n1m^6 = n^{n+1} + n - 1.

Solution

If n=1n = 1, the only solution is (m,n)=(1,1)(m, n) = (1, 1). Let n>1n > 1.

nn is not odd, otherwise since 2nn+12+1>nn+12>n>n1>02n^{\frac{n+1}{2}} + 1 > n^{\frac{n+1}{2}} > n > n-1 > 0 we get
(nn+12)2<(m3)2=nn+1+n1<(nn+12+1)2 (n^{\frac{n+1}{2}})^2 < (m^3)^2 = n^{n+1} + n - 1 < (n^{\frac{n+1}{2}} + 1)^2

and (m3)2(m^3)^2 is strictly between two consecutive squares.

n2(mod3)n \neq 2 \pmod 3, otherwise since 3n2(n+1)3+3nn+13+1>n2(n+1)3>n>n1>03n^{\frac{2(n+1)}{3}} + 3n^{\frac{n+1}{3}} + 1 > n^{\frac{2(n+1)}{3}} > n > n-1 > 0 we get
(nn+13)3<(m2)3=nn+1+n1<(nn+13+1)3 (n^{\frac{n+1}{3}})^3 < (m^2)^3 = n^{n+1} + n - 1 < (n^{\frac{n+1}{3}} + 1)^3
and (m2)3(m^2)^3 is strictly between two consecutive cubes.

n0(mod3)n \neq 0 \pmod 3, otherwise
nn+1+n11(m3)2(mod3) n^{n+1} + n - 1 \equiv -1 \equiv (m^3)^2 \pmod 3
Therefore, n4(mod6)n \equiv 4 \pmod 6. Now
m6+3=nn+1+n+2(1)n+1+1(modn+1) m^6 + 3 = n^{n+1} + n + 2 \equiv (-1)^{n+1} + 1 \pmod{n+1}
since nn is even we get that m6+30(modn+1)m^6 + 3 \equiv 0 \pmod{n+1}. Suppose that prime number pp divides n+1n+1. Since n+15(mod6)n+1 \equiv 5 \pmod 6 we get p>3p > 3 and since m63(modp)m^6 \equiv -3 \pmod p we see that 3-3 is a quadratic residue modulo pp. Since p>3p > 3 we get p1(mod3)p \equiv 1 \pmod 3. Since all prime divisors of n+1n+1 are 1 modulo 3 we get that n+11(mod3)n+1 \equiv 1 \pmod 3 and therefore n0(mod3)n \equiv 0 \pmod 3 which contradicts n4(mod6)n \equiv 4 \pmod 6. The only solution is (m,n)=(1,1)(m, n) = (1, 1).

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.