Maths Olympiad Prep

Track / Stage 6 / 352 of 400 #1352 of 1964

Problem 1352

National Olympiad, first round
Number theory Difficulty 6.6 Prove it

Prove that there exists a positive integer nn such that n6+31n4−900⋮2009⋅2010⋅2011n^6 + 31n^4 - 900\vdots 2009 \cdot 2010 \cdot 2011.

(I. Losev, I. Voronovich)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

1. Factorization and Prime Factorization:
We start by factoring the given polynomial:
n6+31n4−900=(n2−5)(n2+6)(n2+30) n^6 + 31n^4 - 900 = (n^2 - 5)(n^2 + 6)(n^2 + 30)
Next, we note the prime factorizations:
2009=72⋅41,2010=2⋅3⋅5⋅67,2011 is a prime 2009 = 7^2 \cdot 41, \quad 2010 = 2 \cdot 3 \cdot 5 \cdot 67, \quad 2011 \text{ is a prime}
Therefore,
2009⋅2010⋅2011=2⋅3⋅5⋅72⋅41⋅67⋅2011 2009 \cdot 2010 \cdot 2011 = 2 \cdot 3 \cdot 5 \cdot 7^2 \cdot 41 \cdot 67 \cdot 2011

2. **Handling Divisibility by 2⋅3⋅52 \cdot 3 \cdot 5:**
We choose n≡0(mod30) n \equiv 0 \pmod{30} . This ensures that n n is divisible by 2,3, 2, 3, and 5 5 .

3. **Handling Divisibility by 727^2:**
We need n n such that n2+6≡0(mod49) n^2 + 6 \equiv 0 \pmod{49} . This implies:
n2≡−6(mod49) n^2 \equiv -6 \pmod{49}
We find that n≡22(mod49) n \equiv 22 \pmod{49} works because:
222=484≡−6(mod49) 22^2 = 484 \equiv -6 \pmod{49}

4. **Handling Divisibility by 41,67,201141, 67, 2011:**
We need to show that for each prime p∈{41,67,2011} p \in \{41, 67, 2011\} , at least one of 5,−6,−30 5, -6, -30 is a quadratic residue modulo p p .

- Suppose (5p)=(−6p)=(−30p)=−1 (\frac{5}{p}) = (\frac{-6}{p}) = (\frac{-30}{p}) = -1 . This leads to a contradiction because:
(−30p)=(5p)(−6p)=(−1)(−1)=1 \left( \frac{-30}{p} \right) = \left( \frac{5}{p} \right) \left( \frac{-6}{p} \right) = (-1)(-1) = 1
Hence, at least one of 5,−6,−30 5, -6, -30 must be a quadratic residue modulo p p .

5. Chinese Remainder Theorem:
Let n1,n2,n3 n_1, n_2, n_3 be such that:
n12∈{5,−6,−30}(mod41),n22∈{5,−6,−30}(mod67),n32∈{5,−6,−30}(mod2011) n_1^2 \in \{5, -6, -30\} \pmod{41}, \quad n_2^2 \in \{5, -6, -30\} \pmod{67}, \quad n_3^2 \in \{5, -6, -30\} \pmod{2011}
We now choose n n such that:
n≡0(mod30),n≡22(mod49),n≡n1(mod41),n≡n2(mod67),n≡n3(mod2011) n \equiv 0 \pmod{30}, \quad n \equiv 22 \pmod{49}, \quad n \equiv n_1 \pmod{41}, \quad n \equiv n_2 \pmod{67}, \quad n \equiv n_3 \pmod{2011}
By the Chinese Remainder Theorem, such an n n exists.

■\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.