Maths Olympiad Prep

Library / /13 of 169

Number theory Difficulty 6.5 National Olympiad Prove it United States

Prove that for every nonnegative integer nn, the number 77n+17^{7^n} + 1 is the product of at least 2n+32n+3 (not necessarily distinct) primes.

Solution

The proof is by induction. The base is provided by the n=0n=0 case, where 770+1=71+1=237^{7^0} + 1 = 7^1 + 1 = 2^3.

To prove the inductive step, it suffices to show that if x=72m1x = 7^{2^{m-1}} for some positive integer mm then (x7+1)/(x+1)(x^7+1)/(x+1) is composite. As a consequence, x7+1x^7+1 has at least two more prime factors than does x+1x+1.

To confirm that (x7+1)/(x+1)(x^7+1)/(x+1) is composite, observe that
x7+1x+1=(x+1)7((x+1)7(x7+1))x+1=(x+1)67x(x5+3x4+5x3+5x2+3x+1)x+1=(x+1)67x(x4+2x3+3x2+2x+1)=(x+1)672m(x2+x+1)2=[(x+1)37m(x2+x+1)][(x+1)3+7m(x2+x+1)] \begin{aligned} \frac{x^7+1}{x+1} &= \frac{(x+1)^7 - ((x+1)^7 - (x^7+1))}{x+1} \\ &= (x+1)^6 - \frac{7x(x^5 + 3x^4 + 5x^3 + 5x^2 + 3x + 1)}{x+1} \\ &= (x+1)^6 - 7x(x^4 + 2x^3 + 3x^2 + 2x + 1) \\ &= (x+1)^6 - 7^{2m}(x^2 + x + 1)^2 \\ &= \left[(x+1)^3 - 7^m(x^2 + x + 1)\right]\left[(x+1)^3 + 7^m(x^2 + x + 1)\right] \end{aligned}
Also each factor exceeds 1. It suffices to check the smaller one; 7xx\sqrt{7x} \le x gives
(x+1)37m(x2+x+1)=(x+1)37x(x2+x+1)x3+3x2+3x+1x(x2+x+1)=2x2+2x+1113>1. \begin{aligned} (x+1)^3 - 7^m(x^2+x+1) &= (x+1)^3 - \sqrt{7x}(x^2+x+1) \\ &\geq x^3 + 3x^2 + 3x + 1 - x(x^2+x+1) \\ &= 2x^2 + 2x + 1 \geq 113 > 1. \end{aligned}
Hence (x7+1)/(x+1)(x^7 + 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.