Maths Olympiad Prep

Library / /79 of 155

Number theory Difficulty 6.2 National olympiad Prove it Saudi Arabia

Find all prime numbers pp such that 3p11p\frac{3^{p-1}-1}{p} is a perfect square.

Solution

Let pp be a prime satisfying the condition of the problem. By assumption, there is a positive integer AA such that 3p11=pA23^{p-1}-1=p A^{2}.

It is clear that p=2p=2 is a solution. Now, we consider p>2p>2. Put p1=2kp-1=2k, one has (3k1)(3k+1)=pA2(3^{k}-1)(3^{k}+1)=p A^{2}. Since (3k1,3k+1)=2(3^{k}-1,3^{k}+1)=2, it follows that there are positive integers BB and CC such that either
3k1=2pB2,3k+1=2C2 3^{k}-1=2p B^{2}, \quad 3^{k}+1=2 C^{2}
or
3k1=B2,3k+1=2pC2. 3^{k}-1=B^{2}, \quad 3^{k}+1=2p C^{2} .
But, the first case cannot hold since 2C2=3k+11(mod3)2 C^{2}=3^{k}+1 \equiv 1 \pmod{3}, we get C22(mod3)C^{2} \equiv 2 \pmod{3} which is impossible.

For the second case, if kk is odd then 43k+1=2pC24 \mid 3^{k}+1=2p C^{2}, hence 2C2 \mid C (since pp is odd). This turns out to be that 3k+1=2pC23^{k}+1=2p C^{2} is divisible by 88 which contradicts to 3k+14(mod8)3^{k}+1 \equiv 4 \pmod{8} (since kk is odd). Thus, kk must be even. Put k=2mk=2m, then
2B2=3k1=(3m1)(3m+1). 2 B^{2}=3^{k}-1=(3^{m}-1)(3^{m}+1) .
Again, since (3m1,3m+1)=2(3^{m}-1,3^{m}+1)=2, there are positive integers D,ED, E such that either
3m1=E2,3m+1=2D2 3^{m}-1=E^{2}, \quad 3^{m}+1=2 D^{2}
or
3m1=2E2,3m+1=D2. 3^{m}-1=2 E^{2}, \quad 3^{m}+1=D^{2} .
As above, the equality 3m+1=2D23^{m}+1=2 D^{2} leads to a contradiction. Hence, 3m+1=D23^{m}+ 1=D^{2}, that is
3m=D21=(D1)(D+1). 3^{m}=D^{2}-1=(D-1)(D+1) .
Therefore, there are non-negative integers t>st>s such that D1=3sD-1=3^{s} and D+1=3tD+1=3^{t}. This gives,
2=(D+1)(D1)=3t3s=3s(3ts1). 2=(D+1)-(D-1)=3^{t}-3^{s}=3^{s}(3^{t-s}-1) .
This happens if and only if 3s=13^{s}=1 and 3ts1=23^{t-s}-1=2, i.e. s=0s=0 and t=1t=1, we find that p=5p=5 (satisfied).

In conclusion, p=2;5p=2 ; 5. \square

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.