Problem:
Let be a polynomial with real coefficients so that for all real . Prove that there exist polynomials and with real coefficients such that for all .
Problem:
Let be a polynomial with real coefficients so that for all real . Prove that there exist polynomials and with real coefficients such that for all .
Solution:
Since for all , it can have no real roots except double roots, so we can write it as a product
of quadratics with nonpositive discriminant, i.e. . But then completing the square in each quadratic lets us write it as a sum of two squares of polynomials
Thus, is a product of sums of two squares. But now we note that for any polynomials with real coefficients,
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 shows that is also a sum of two squares.