AoPSWiki
Want to learn how to tackle those tough MATHCOUNTS and AMC counting and probability problems? Check out Art of Problem Solving's Introduction to Counting & Probability by David Patrick.
Personal tools

2007 USAMO Problems/Problem 5

From AoPSWiki

Problem

Prove that for every nonnegative integer , the number is the product of at least (not necessarily distinct) primes.

Contents

Solution

Solution 1

We proceed by induction.

Let be . The result holds for because is the product of primes.

Now we assume the result holds for . Note that satisfies the recursion

{a_{n+1}= (a_{n}-1)^{7}+1} = a_{n}\left(a_{n}^{6}-7(a_{n}-1)(a_{n}^{2}-a_{n}+1)^{2}\right).

Since is an odd power of , is a perfect square. Therefore {a_{n}^{6}-7(a_{n}-1)(a_{n}^{2}-a_{n}+1)^{2}} is a difference of squares and thus composite, i.e. it is divisible by primes. By assumption, is divisible by primes. Thus is divisible by primes as desired.

Solution 2

Notice that 7^{{7}^{k+1}}+1=(7+1) \frac{7^{7}+1}{7+1} \cdot \frac{7^{7^2} + 1}{7^{7^1} + 1} \cdots  \frac{7^{7^{k+1}}+1}{7^{7^{k}}+1}. Therefore it suffices to show that \frac{7^{7^{k+1}}+1}{7^{7^{k}}+1} is composite.

Let . The expression becomes

\frac{7^{7^{k+1}}+1}{7^{7^{k}}+1} = \frac{x^7 + 1}{x + 1}

which is the shortened form of the geometric series x^{6}-x^{5}+x^{4}-x^3 + x^2 - x+1. This can be factored as (x^{3}+3x^{2}+3x+1)^{2}-7x(x^{2}+x+1)^{2}.

Since is an odd power of , is a perfect square, and so we can factor this by difference of squares. Therefore, it is composite.

See also

2007 USAMO (ProblemsResources)
Preceded by
Problem 4
1 2 3 4 5 6 Followed by
Problem 6
Do you have what it takes to be the next brilliant trader, researcher, or developer at Jane Street Capital? Find out in the Careers in Mathematics Forum.
© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us