Maths Olympiad Prep

Library / Junior Balkan MO /19 of 51

Junior Balkan MO

Number theory Difficulty 5.5 AIME, harder Prove it JBMO

Problem:
Find all positive integers nn such that there exists a prime number pp, such that
pn−(p−1)n p^{n}-(p-1)^{n}
is a power of 33.

Solution

Solution:
Suppose that the positive integer nn is such that
pn−(p−1)n=3a p^{n}-(p-1)^{n}=3^{a}
for some prime pp and positive integer aa.

If p=2p=2, then 2n−1=3a2^{n}-1=3^{a} by (1)(1), whence (−1)n−1≡0(mod3)(-1)^{n}-1 \equiv 0\pmod{3}, so nn should be even. Setting n=2sn=2s we obtain (2s−1)(2s+1)=3a\left(2^{s}-1\right)\left(2^{s}+1\right)=3^{a}. It follows that 2s−12^{s}-1 and 2s+12^{s}+1 are both powers of 33, but since they are both odd, they are co-prime, and we have 2s−1=12^{s}-1=1, i.e. s=1s=1 and n=2n=2.

If p=3p=3, then (1) gives 3∣2n3 \mid 2^{n}, which is impossible.

Let p≥5p \geq 5. Then it follows from (1) that we can not have 3∣p−13 \mid p-1. This means that 2n−1≡02^{n}-1 \equiv 0 ( mod 3)(\bmod 3), so nn should be even, and let n=2kn=2k. Then
p2k−(p−1)2k=3a⟺(pk−(p−1)k)(pk+(p−1)k)=3a p^{2k}-(p-1)^{2k}=3^{a} \Longleftrightarrow \left(p^{k}-(p-1)^{k}\right)\left(p^{k}+(p-1)^{k}\right)=3^{a}
If d=(pk−(p−1)k,pk+(p−1)k)d=\left(p^{k}-(p-1)^{k}, p^{k}+(p-1)^{k}\right), then d∣2pkd \mid 2p^{k}. However, both numbers are powers of 33, so d=1d=1 and pk−(p−1)k=1p^{k}-(p-1)^{k}=1, pk+(p−1)k=3ap^{k}+(p-1)^{k}=3^{a}.

If k=1k=1, then n=2n=2 and we can take p=5p=5. For k≥2k \geq 2 we have 1=pk−(p−1)k≥p2−(p−1)21=p^{k}-(p-1)^{k} \geq p^{2}-(p-1)^{2} (this inequality is equivalent to p2(pk−2−1)≥(p−1)2((p−1)k−2−1)p^{2}\left(p^{k-2}-1\right) \geq (p-1)^{2}\left((p-1)^{k-2}-1\right), which is obviously true). Then 1≥p2−(p−1)2=2p−1≥91 \geq p^{2}-(p-1)^{2}=2p-1 \geq 9, which is absurd.

It follows that the only solution is n=2n=2.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.