Maths Olympiad Prep

Track / Stage 6 / 323 of 400 #1323 of 1964

Problem 1323

National olympiad, first round
Number theory Difficulty 6.6 Prove it

Prove that there exists a positive integer nn such that n6+31n4900200920102011n^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.

Official solution

1. Factorization and Prime Factorization:
We start by factoring the given polynomial:
n6+31n4900=(n25)(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=7241,2010=23567,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,
200920102011=2357241672011 2009 \cdot 2010 \cdot 2011 = 2 \cdot 3 \cdot 5 \cdot 7^2 \cdot 41 \cdot 67 \cdot 2011

2. **Handling Divisibility by 2352 \cdot 3 \cdot 5:**
We choose n0(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+60(mod49) n^2 + 6 \equiv 0 \pmod{49} . This implies:
n26(mod49) n^2 \equiv -6 \pmod{49}
We find that n22(mod49) n \equiv 22 \pmod{49} works because:
222=4846(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:
n0(mod30),n22(mod49),nn1(mod41),nn2(mod67),nn3(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 and solution reproduced as published; topic, difficulty and ordering added by this site.