Maths Olympiad Prep

Library / /16 of 17

Number theory Difficulty 4.3 AIME Prove it North Macedonia

Find all pairs (p,q)(p,q), p,qNp,q \in \mathbb{N} such that
(p+1)p1+(p1)p+1=qq. (p+1)^{p-1} + (p-1)^{p+1} = q^q.

Solution

First, we have
(p+1)p1+(p1)p+1(p+1)p1(p1)p1(1) (p+1)^{p-1} + (p-1)^{p+1} \ge (p+1)^{p-1} \ge (p-1)^{p-1} \quad (1)
(p+1)p1+(p1)p+1<(p+1)p+1+(p+1)p1=2(p+1)p+1<(p+2)p+2(2) (p+1)^{p-1} + (p-1)^{p+1} < (p+1)^{p+1} + (p+1)^{p-1} = 2(p+1)^{p+1} < (p+2)^{p+2} \quad (2)
From (1) and (2) follows
(p1)p1qq<(p+2)p+2. (p-1)^{p-1} \le q^q < (p+2)^{p+2}.
1) Let
q=p1,(p+1)p1+(p1)p+1=(p1)p1. q = p-1, \quad (p+1)^{p-1} + (p-1)^{p+1} = (p-1)^{p-1}.
From
(p+1)p1+(p1)p+1(p+1)p1(p1)p1 (p+1)^{p-1} + (p-1)^{p+1} \ge (p+1)^{p-1} \ge (p-1)^{p-1}
we have (p1)p+1=0(p-1)^{p+1}=0 and (p+1)p1=(p1)p1p=1,q=0(p+1)^{p-1}=(p-1)^{p-1} \Rightarrow p=1, q=0. But 00 is not a natural number, so (p+1)p1+(p1)p+1=(p1)p1(p+1)^{p-1}+(p-1)^{p+1}=(p-1)^{p-1} has no solution in the set of natural numbers N\mathbb{N}.

2) Let q=pq = p, (p+1)p1+(p1)p+1=pp(p+1)^{p-1} + (p-1)^{p+1} = p^p.

If p=1p=1, then
(p+1)p1+(p1)p+1=1 и pp=1. (p+1)^{p-1} + (p-1)^{p+1} = 1 \text{ и } p^p = 1.
So (p,q)=(1,1)(p,q)=(1,1) is a solution of (p+1)p1+(p1)p+1=qq(p+1)^{p-1}+(p-1)^{p+1}=q^q.
If p=2p=2, then
(p+1)p1+(p1)p+1=4 и pp=4. (p+1)^{p-1} + (p-1)^{p+1} = 4 \text{ и } p^p = 4.
Hence (p,q)=(2,2)(p,q)=(2,2) is a solution of (p+1)p1+(p1)p+1=qq(p+1)^{p-1}+(p-1)^{p+1}=q^q.
If p=3p=3, then
(p+1)p1+(p1)p+1=32 а pp=27. (p+1)^{p-1} + (p-1)^{p+1} = 32 \text{ а } p^p = 27.
Hence (p,q)=(3,3)(p,q)=(3,3) is not a solution of (p+1)p1+(p1)p+1=qq(p+1)^{p-1}+(p-1)^{p+1}=q^q.
If p4p \ge 4, it holds (p1)p>pp1(p-1)^p > p^{p-1}. We obtain
(p+1)p1+(p1)p+1>(p+1)p1+pp1(p1)>pp1+pp1(p1)=pp. (p+1)^{p-1} + (p-1)^{p+1} > (p+1)^{p-1} + p^{p-1}(p-1) > p^{p-1} + p^{p-1}(p-1) = p^p.
Hence, when p4p \ge 4, (p+1)p1+(p1)p+1=pp(p+1)^{p-1}+(p-1)^{p+1} = p^p doesn't have a solution in N\mathbb{N}.

3) Let q=p+1q = p+1
(p+1)p1+(p1)p+1=(p+1)p+1 (p+1)^{p-1} + (p-1)^{p+1} = (p+1)^{p+1} \Leftrightarrow
(p1)p+1=(p+1)p1((p+1)21) (p-1)^{p+1} = (p+1)^{p-1}((p+1)^2 - 1) \Leftrightarrow
(p1)p+1=(p+1)p1p(p+2) (p-1)^{p+1} = (p+1)^{p-1} p(p+2)
Since pp and p1p-1 are coprime, the equation (p+1)p1+(p1)p+1=(p+1)p+1(p+1)^{p-1}+(p-1)^{p+1}=(p+1)^{p+1} doesn't have a solution in N\mathbb{N}.

Finally, the solutions of (p+1)p1+(p1)p+1=qq(p+1)^{p-1}+(p-1)^{p+1}=q^q are (p,q)=(1,1)(p,q)=(1,1) and (p,q)=(2,2)(p,q)=(2,2).

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.