Let polynomials P(x) and Q(x) have the same degree. Let PQ(x) denote the polynomial such that its coefficients of even degree variables coincide with the corresponding coefficients of P(x) and its coefficients of odd degree variables coincide with the corresponding coefficients of Q(x). (For example, if P(x)=x3+2x2+4x+1 and Q(x)=3x3+x2+2, then PQ(x)=3x3+2x2+1, and QP(x)=x3+x2+4x+2.)
a) Prove that there exist P(x) and Q(x) such that they have no real roots but both PQ(x) and QP(x) have at least one real root.
b) Find the smallest degree of P(x) and Q(x) satisfying a).
Solution
a) Show, for example, that the polynomials P(x)=4x4+4x3+1andQ(x)=x4+4x+4 satisfy the condition. By Cauchy's inequality, for any real x the following inequalities hold: x4+x4+x4+1≥44x4⋅x4⋅x4⋅1=4∣x∣3,(1) x4+1+1+1≥44x4⋅1⋅1⋅1=4∣x∣.(2) From (1) it follows that P(x)=4x4+4x3+1≥x4+4(∣x∣3+x3)≥0, the last inequality turns to the equality only for x=0, but P(0)=1, so the polynomial P(x) has no real roots. Similarly, from (2) it follows that Q(x)=x4+4x+4≥4(∣x∣+x)+1>0, whence the polynomial Q(x) has no real roots. By definition, PQ(x)=4x4+4x+1иQP(x)=x4+4x3+4 It is easy to verify that PQ(−0.5)=−0.75<0 and PQ(0)=1>0. Also, QP(−2)=−12<0 and QP(0)=4>0. Therefore each of the polynomials PQ(x) and QP(x) has at least one real root.
b) It is evident that the polynomials P(x) and Q(x) satisfying the condition of a) must have even degree (since any odd degree polynomial has at least one real root). Show that the degree of these polynomials is greater than 2. Suppose, contrary to our claim, that there are the trinomials P(x)=a1x2+b1x+c1 and Q(x)=a2x2+b2x+c2 having no real roots. Then at least one of the trinomials PQ(x)=a1x2+b1x+c1 and QP(x)=a2x2+b2x+c2 has no real roots. Indeed, without loss of generality we can assume that ∣b2∣≥∣b1∣. Since the discriminant of the trinomial Q(x) is negative and ∣b2∣≥∣b1∣, we see that 0>b22−4a2c2≥b12−4a2c2. However, the last expression is a discriminant of the trinomial QP(x), so this trinomial has no real roots. The example of the polynomials from item a) shows the minimal degree of the polynomials is equal to 4.
Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.