Maths Olympiad Prep

Library / /495 of 520

Algebra Difficulty 6.3 National olympiad Prove it

Let PP be a polynomial with real coefficients such that

xR,P(x)0 \forall x \in \mathbb{R}, P(x) \geq 0

Show that there exist two polynomials AA and BB with real coefficients such that P=A2+B2P=A^{2}+B^{2}.

Solution

Let's start with the case where PP is of degree 2, with no real roots. In this case, we can write P(x)=ax2+bx+cP(x) = a x^2 + b x + c with a>0a > 0 and b24ac<0b^2 - 4ac < 0.

Now let's consider the case where PP has only real roots. The degree of PP is obviously even, otherwise PP would tend to -\infty as x+x \to +\infty or -\infty. We work by induction on deg(P)\operatorname{deg}(P). If deg(P)=0\operatorname{deg}(P) = 0, PP 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 2n2n and PP is of degree 2n+22n+2 with all real roots, let aa be a root of PP. If aa is a simple root of PP, then PP changes sign at aa, which is absurd since P(x)0P(x) \geq 0 for all xx. Thus, aa is a multiple root of PP, and we can write P(x)=(xa)2Q(x)P(x) = (x-a)^2 Q(x), where QQ is of degree 2n2n, with all real roots, and always positive. By induction, there exist two polynomials AA and BB such that Q=A2+B2Q = A^2 + B^2, then P(x)=((xa)A(x))2+((xa)B(x))2P(x) = ((x-a) A(x))^2 + ((x-a) B(x))^2, which concludes the induction.

Finally, we handle the general case. Since PP 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 A,B,C,DA, B, C, D are four polynomials, we have

(A2+B2)(C2+D2)=(ACBD)2+(AD+BC)2 \left(A^2 + B^2\right)\left(C^2 + D^2\right) = (A C - B D)^2 + (A D + B C)^2

We can recover this formula by thinking of the equality in the complex numbers

(a+ib)(c+id)=(acbd)+i(ad+bc) (a + i b)(c + i d) = (a c - b d) + i(a d + b c)

which gives, by taking the norm and squaring

(a2+b2)(c2+d2)=(acbd)2+(ad+bc)2 \left(a^2 + b^2\right)\left(c^2 + d^2\right) = (a c - b d)^2 + (a d + b c)^2

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