Maths Olympiad Prep

Library / /28 of 52

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+2bx1f(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 ab>1a - b > 1.

Solution

Since the polynomial f(x)=x3+ax2+2bx1f(x) = x^3 + a x^2 + 2b x - 1 has three different roots, the equation
x3+ax2+2bx1=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)22(x1x2+x1x3+x2x3)=a24b. 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:
a24b=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. 4b28a<04b^2 - 8a < 0, whence 2ab2>02a - b^2 > 0. Summing this inequality with (2) we obtain (2ab2)+(a24b)>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+1b2)>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 ab1>0a - b - 1 > 0.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.