Let be a polynomial with real coefficients such that
Show that there exist two polynomials and with real coefficients such that .
Let be a polynomial with real coefficients such that
Show that there exist two polynomials and with real coefficients such that .
Let's start with the case where is of degree 2, with no real roots. In this case, we can write with and .
Now let's consider the case where has only real roots. The degree of is obviously even, otherwise would tend to as or . We work by induction on . If , is a positive constant, hence it is the square of a real number. If the result is true for a polynomial with all real roots of degree and is of degree with all real roots, let be a root of . If is a simple root of , then changes sign at , which is absurd since for all . Thus, is a multiple root of , and we can write , where is of degree , with all real roots, and always positive. By induction, there exist two polynomials and such that , then , which concludes the induction.
Finally, we handle the general case. Since has real coefficients, it can be written as a product of a polynomial with all real roots and polynomials of degree 2 with no real roots. Each of these polynomials can be written as a sum of two squares as we have shown before. To finish, it remains to see that if are four polynomials, we have
We can recover this formula by thinking of the equality in the complex numbers
which gives, by taking the norm and squaring