Maths Olympiad Prep

Library / Belarusian Mathematical Olympiad /108 of 208

Belarusian Mathematical Olympiad

Algebra Difficulty 6.0 National Olympiad Prove it Belarus

Positive real numbers aa and bb satisfy the following conditions: the function f(x)=x3+ax2+2bx−1f(x) = x^3 + a x^2 + 2b x - 1 has three different real roots, while the function g(x)=2x2+2bx+ag(x) = 2x^2 + 2b x + a does not have real roots.
Prove that a−b>1a - b > 1.

Solution

Since the polynomial f(x)=x3+ax2+2bx−1f(x) = x^3 + a x^2 + 2b x - 1 has three different roots, the equation
x3+ax2+2bx−1=0(1) x^3 + a x^2 + 2b x - 1 = 0 \quad (1)
has three different solutions, denote them by x1x_1, x2x_2 and x3x_3. Vieta's formulas implies the equalities x1+x2+x3=−ax_1 + x_2 + x_3 = -a, x1x2+x1x3+x2x3=2bx_1 x_2 + x_1 x_3 + x_2 x_3 = 2b and x1x2x3=1x_1 x_2 x_3 = 1. Hence
x12+x22+x32=(x1+x2+x3)2−2(x1x2+x1x3+x2x3)=a2−4b. x_1^2 + x_2^2 + x_3^2 = (x_1 + x_2 + x_3)^2 - 2(x_1 x_2 + x_1 x_3 + x_2 x_3) = a^2 - 4b.
From the AM-GM inequality:
a2−4b=x12+x22+x32>3x12x22x32=3(2) a^2 - 4b = x_1^2 + x_2^2 + x_3^2 > 3 \sqrt{x_1^2 x_2^2 x_3^2} = 3 \quad (2)
(the inequality is strict, since the solutions of (1) are distinct).

The quadratic polynomial g(x)g(x) doesn't have roots, therefore its discriminant is negative, i.e. 4b2−8a<04b^2 - 8a < 0, whence 2a−b2>02a - b^2 > 0. Summing this inequality with (2) we obtain (2a−b2)+(a2−4b)>3(2a - b^2) + (a^2 - 4b) > 3, which is equivalent to (a+1)2−(b+2)2+3>3(a + 1)^2 - (b + 2)^2 + 3 > 3. Therefore,
(a+1+b+2)(a+1−b−2)>0. (a + 1 + b + 2)(a + 1 - b - 2) > 0.
Since aa and bb are positive, a+b+3>0a + b + 3 > 0, so the last inequality implies a−b−1>0a - b - 1 > 0.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.