Maths Olympiad Prep

Library / /81 of 136

Algebra Difficulty 8.0 National Olympiad, round 2 Prove it Hong Kong

For any positive integer nn, determine (with proof) if the polynomial
f(x)=(x2+x)2n+1 f(x) = (x^2 + x)^{2n} + 1
can be factored into a product of two non-constant polynomials with integer coefficients.

Solution

No. Suppose on the contrary that f(x)f(x) is reducible. Then so is
42nf(x)=(4x2+4x)2n+42n=((2x+1)21)2n+42n. 4^{2n} f(x) = (4x^2 + 4x)^{2n} + 4^{2n} = ((2x + 1)^2 - 1)^{2n} + 4^{2n}.
Let y=2x+1y = 2x + 1. Then we have x=y12x = \frac{y-1}{2}, and hence
g(y)=(y21)2n+42n(1) g(y) = (y^2 - 1)^{2n} + 4^{2n} \quad (1)
is reducible over Q\mathbb{Q}. By Gauss's lemma, gg is reducible over Z\mathbb{Z}.
We claim that gg can be factorized into even polynomials over Z\mathbb{Z}. Consider a non-constant irreducible factor hh of gg. We are done if hh is an even polynomial (since then gh\frac{g}{h} must be even). Assume hh is not even. As h(y)g(y)h(y) \mid g(y), we have h(y)g(y)=g(y)h(-y) \mid g(-y) = g(y). Since hh is irreducible and is not even, h(y)h(y) and h(y)h(-y) must be relatively prime. It follows that
g(y)=h(y)h(y)p(y) g(y) = h(y)h(-y)p(y)
for some pZ[y]p \in \mathbb{Z}[y]. Note that h(y)h(y)h(y)h(-y) is an even polynomial. So we are done unless pp is a constant polynomial. Let p(y)=cp(y) = c, and let aa be the leading coefficient of hh. Then the leading coefficient of gg is a2ca^2c. In view of (1), we must have c=1c = 1 and a=±1a = \pm 1. Let bb be the constant term of hh. Then the constant term of gg is b2c=b2b^2c = b^2. Comparing with (1), we obtain 42n+1=b24^{2n} + 1 = b^2. This implies 42n=(42n1)24^{2n} = (4^{2n-1})^2 and b2b^2 are consecutive perfect squares, which is impossible as 42n>14^{2n} > 1. Therefore, we have proven that gg can be factorized into even polynomials over Z\mathbb{Z}.

As a result, by letting z=y2z = y^2, we find that (z1)2n+42n(z - 1)^{2n} + 4^{2n} is also reducible. Let z=4t+1z = 4t + 1. This shows 42n(t2n+1)4^{2n}(t^{2n} + 1) is reducible, and so are t2n+1t^{2n} + 1 and (s+1)2n+1(s+1)^{2n} + 1. However, note that
(s+1)2n+1=s2n+r=12n1(2nr)sr+2. (s+1)^{2n} + 1 = s^{2n} + \sum_{r=1}^{2n-1} \binom{2n}{r} s^r + 2.
The leading coefficient is odd, while all other coefficients are even. Also, the constant term is not a multiple of 4. By Eisenstein's criterion, we know that (s+1)2n+1(s+1)^{2n} + 1 is irreducible. This is a contradiction. Therefore, f(x)f(x) is irreducible.

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.