min real root of 2x^5 + 5x^4 + 5x^3 + ax^2 + bx + c = 0, given all roots reals
Source: 2010 Thailand Mathematical Olympiad day 1 p9
March 12, 2021
polynomialalgebra
Problem Statement
Let be real numbers so that all roots of the equation are real. Find the smallest real root of the equation above.