Number theoryDifficulty 5.3AIME, harderProve itBrazil
Prove that if 102n+8⋅10n+1 has a prime factor of the form 60k+7, k and n both positive integers, then n and k are both even.
Solution
Let p=60k+7 be such a prime. Then 102n+8⋅10n+1≡0(modp)⟺(10n−1)2≡−10n+1(modp). Now suppose n is odd. Then (10n−1)2≡−1⋅(10(n+1)/2)2(modp), and −1 is a quadratic residue. But by the Euler criterion, (p−1)=(−1)(p−1)/2=−1, a contradiction. So n is even and, moreover, (p−10)=1⟺(p2)(p5)=−1⟺(p2)=−(p5). By the quadratic reciprocity lemma, (p5)(5p)=(−1)25−1⋅2p−1=1⟺(p5)=(5p)=(52)=−1. So (p2)=1⟺(−1)8p2−1=1, so 8p2−1=(30k+3)(15k+2) is even. Since 30k+3 is odd, 15k+2 is even, that is, k is even.
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.