Maths Olympiad Prep

Track / Stage 6 / 12 of 400 #1012 of 1964

Problem 1012

National olympiad, first round
Algebra Difficulty 6.0 Prove it

Example 6 Let n3n \geqslant 3. Prove that xn+4xn1+4xn2+x^{n}+4 x^{n-1}+4 x^{n-2}+ +4x+4\cdots+4 x+4 is irreducible.

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

Proof: Let f(x)=g(x)h(x)f(x) = g(x) h(x), where g,hg, h are polynomials with integer coefficients, not constants, and the leading coefficients are 1, then xng(x)h(x)(mod2)x^{n} \equiv g(x) h(x) (\bmod 2). Therefore, we can set
g(x)=xr+2(br1xr1++b0),h(x)=xnr+2(cnr1xnr1++c0),1r<n. \begin{array}{l} g(x) = x^{r} + 2\left(b_{r-1} x^{r-1} + \cdots + b_{0}\right), h(x) = \\ x^{n-r} + 2\left(c_{n-r-1} x^{n-r-1} + \cdots + c_{0}\right), 1 \leqslant r < n . \end{array}

By comparing the constant terms, we get
b0=c0=±1,xr2(cnr1xnr1++c0)+xnr2(br1xr1++b0)0(mod4). \begin{aligned} b_{0} & = c_{0} = \pm 1, x^{r} \cdot 2\left(c_{n-r-1} x^{n-r-1} + \cdots + c_{0}\right) \\ + x^{n-r} & \cdot 2\left(b_{r-1} x^{r-1} + \cdots + b_{0}\right) \equiv 0 (\bmod 4) . \end{aligned}

By comparing the coefficients of the lowest degree terms, we know r=nrr = n-r, i.e., n=2rn = 2r. Thus,
(cr1+br1)xr1++(b1+c1)x \left(c_{r-1} + b_{r-1}\right) x^{r-1} + \cdots + \left(b_{1} + c_{1}\right) x \equiv
0(mod2),b1+c10(mod2)0 (\bmod 2), b_{1} + c_{1} \equiv 0 (\bmod 2). The coefficient of the linear term in g(x)h(x)g(x) h(x) is 4(b1c0+c1b0)=4c0(b1+c1)4\left(b_{1} c_{0} + c_{1} b_{0}\right) = 4 c_{0}\left(b_{1} + c_{1}\right) \equiv 0(mod8)0 (\bmod 8), which contradicts the fact that the coefficient of the linear term in ff is 4.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.