Maths Olympiad Prep

Library / /7 of 15

Algebra Difficulty 5.0 AIME Prove it United States

Problem:

Let P(x)P(x) be a polynomial with real coefficients so that P(x)0P(x) \geq 0 for all real xx. Prove that there exist polynomials Q1(x)Q_{1}(x) and Q2(x)Q_{2}(x) with real coefficients such that P(x)=Q12(x)+Q22(x)P(x) = Q_{1}^{2}(x) + Q_{2}^{2}(x) for all xx.

Solution

Solution:

Since P(x)0P(x) \geq 0 for all xx, it can have no real roots except double roots, so we can write it as a product
P(x)=ck=1n(x2+pkx+qk) P(x) = c \prod_{k=1}^{n} \left(x^{2} + p_{k} x + q_{k}\right)
of quadratics with nonpositive discriminant, i.e. pk24qk0p_{k}^{2} - 4q_{k} \leq 0. But then completing the square in each quadratic lets us write it as a sum of two squares of polynomials
x2+pkx+qk=(x+pk2)2+(4qkpk22)2 x^{2} + p_{k} x + q_{k} = \left(x + \frac{p_{k}}{2}\right)^{2} + \left(\frac{\sqrt{4q_{k} - p_{k}^{2}}}{2}\right)^{2}
Thus, P(x)P(x) is a product of sums of two squares. But now we note that for any polynomials A(x),B(x),C(x),D(x)A(x), B(x), C(x), D(x) with real coefficients,
(A2(x)+B2(x))(C2(x)+D2(x))=(A(x)C(x)+B(x)D(x))2+(A(x)D(x)B(x)C(x))2 \left(A^{2}(x) + B^{2}(x)\right)\left(C^{2}(x) + D^{2}(x)\right) = (A(x)C(x) + B(x)D(x))^{2} + (A(x)D(x) - B(x)C(x))^{2}
i.e., a product of two sums of squares of polynomials is also a sum of two squares (Lagrange's identity for polynomials). Inductively applying this to the factors in P(x)P(x) shows that P(x)P(x) is also a sum of two squares.

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.