First, we have
(p+1)p−1+(p−1)p+1≥(p+1)p−1≥(p−1)p−1(1)
(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(2)
From (1) and (2) follows
(p−1)p−1≤qq<(p+2)p+2.
1) Let
q=p−1,(p+1)p−1+(p−1)p+1=(p−1)p−1.
From
(p+1)p−1+(p−1)p+1≥(p+1)p−1≥(p−1)p−1
we have (p−1)p+1=0 and (p+1)p−1=(p−1)p−1⇒p=1,q=0. But 0 is not a natural number, so (p+1)p−1+(p−1)p+1=(p−1)p−1 has no solution in the set of natural numbers N.
2) Let q=p, (p+1)p−1+(p−1)p+1=pp.
If p=1, then
(p+1)p−1+(p−1)p+1=1 и pp=1.
So (p,q)=(1,1) is a solution of (p+1)p−1+(p−1)p+1=qq.
If p=2, then
(p+1)p−1+(p−1)p+1=4 и pp=4.
Hence (p,q)=(2,2) is a solution of (p+1)p−1+(p−1)p+1=qq.
If p=3, then
(p+1)p−1+(p−1)p+1=32 а pp=27.
Hence (p,q)=(3,3) is not a solution of (p+1)p−1+(p−1)p+1=qq.
If p≥4, it holds (p−1)p>pp−1. We obtain
(p+1)p−1+(p−1)p+1>(p+1)p−1+pp−1(p−1)>pp−1+pp−1(p−1)=pp.
Hence, when p≥4, (p+1)p−1+(p−1)p+1=pp doesn't have a solution in N.
3) Let q=p+1
(p+1)p−1+(p−1)p+1=(p+1)p+1⇔
(p−1)p+1=(p+1)p−1((p+1)2−1)⇔
(p−1)p+1=(p+1)p−1p(p+2)
Since p and p−1 are coprime, the equation (p+1)p−1+(p−1)p+1=(p+1)p+1 doesn't have a solution in N.
Finally, the solutions of (p+1)p−1+(p−1)p+1=qq are (p,q)=(1,1) and (p,q)=(2,2).