2b^3+ 9a^2 d - 7abc <= 0 for f(x) = ax^3 + bx^2 + cx + d, f(0) < 0
Source: 2009 Grand Duchy of Lithuania, Mathematical Contest p2 (Baltic Way TST)
October 3, 2020
algebraCubicinequalities
Problem Statement
Let be a polynomial with real coefficients. Given that has three real positive roots and that , prove that .