Maths Olympiad Prep

Library / /17 of 64

Algebra Difficulty 7.7 National olympiad, round 2 Find the answer

Let nn be an integer with n2n \geq 2. Over all real polynomials p(x)p(x) of degree nn, what is the largest possible number of negative coefficients of p(x)2p(x)^2?

A number or a short expression. Spacing and $ signs are ignored.

Solution

The answer is 2n22n-2. Write p(x)=anxn++a1x+a0p(x) = a_nx^n+\cdots+a_1x+a_0 and p(x)2=b2nx2n++b1x+b0p(x)^2 = b_{2n}x^{2n}+\cdots+b_1x+b_0. Note that b0=a02b_0 = a_0^2 and b2n=an2b_{2n} = a_n^2. We claim that not all of the remaining 2n12n-1 coefficients b1,,b2n1b_1,\ldots,b_{2n-1} can be negative, whence the largest possible number of negative coefficients is 2n2\leq 2n-2. Indeed, suppose bi<0b_i <0 for 1i2n11\leq i\leq 2n-1. Since b1=2a0a1b_1 = 2a_0a_1, we have a00a_0 \neq 0. Assume a0>0a_0>0 (or else replace p(x)p(x) by p(x)-p(x)). We claim by induction on ii that ai<0a_i < 0 for 1in1\leq i\leq n. For i=1i=1, this follows from 2a0a1=b1<02a_0a_1 = b_1<0. If ai<0a_i<0 for 1ik11\leq i\leq k-1, then 2a0ak=bki=1k1aiaki<bk<0 2a_0a_k = b_k - \sum_{i=1}^{k-1} a_i a_{k-i} < b_k < 0 and thus ak<0a_k<0, completing the induction step. But now b2n1=2an1an>0b_{2n-1} = 2a_{n-1}a_n > 0, contradiction. It remains to show that there is a polynomial p(x)p(x) such that p(x)2p(x)^2 has 2n22n-2 negative coefficients. For example, we may take p(x)=n(xn+1)2(xn1++x), p(x) = n(x^n+1) - 2(x^{n-1} + \cdots + x), so that p(x)2=n2(x2n+xn+1)2n(xn+1)(xn1++x)+(xn1++x)2.\begin{align*} p(x)^2 &= n^2(x^{2n} + x^n + 1) - 2n(x^n+1)(x^{n-1}+\cdots+x)\\ &\qquad + (x^{n-1} + \cdots + x)^2. \end{align*} For i{1,,n1,n+1,,n1}i\in \{1,\dots,n-1,n+1,\dots,n-1\}, the coefficient of xix^i in p(x)2p(x)^2 is at most 2n-2n (coming from the cross term) plus 2n+2-2n+2 (from expanding (xn1++x)2(x^{n-1} + \cdots + x)^2), and hence negative.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.