Number theoryDifficulty 6.5National OlympiadProve itUnited States
Prove that for every nonnegative integer n, the number 77n+1 is the product of at least 2n+3 (not necessarily distinct) primes.
Solution
The proof is by induction. The base is provided by the n=0 case, where 770+1=71+1=23.
To prove the inductive step, it suffices to show that if x=72m−1 for some positive integer m then (x7+1)/(x+1) is composite. As a consequence, x7+1 has at least two more prime factors than does x+1.
To confirm that (x7+1)/(x+1) is composite, observe that x+1x7+1=x+1(x+1)7−((x+1)7−(x7+1))=(x+1)6−x+17x(x5+3x4+5x3+5x2+3x+1)=(x+1)6−7x(x4+2x3+3x2+2x+1)=(x+1)6−72m(x2+x+1)2=[(x+1)3−7m(x2+x+1)][(x+1)3+7m(x2+x+1)] Also each factor exceeds 1. It suffices to check the smaller one; 7x≤x gives (x+1)3−7m(x2+x+1)=(x+1)3−7x(x2+x+1)≥x3+3x2+3x+1−x(x2+x+1)=2x2+2x+1≥113>1. Hence (x7+1)/(x+1) is composite and the proof is complete.
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 reproduced verbatim; metadata (topic, difficulty) added by this project.