It is proved that the equation x ^ 5 + 5x + 1 = 0 has and only has one real root in the interval (- 1,0)

It is proved that the equation x ^ 5 + 5x + 1 = 0 has and only has one real root in the interval (- 1,0)

Let f (x) = x ^ 5 + 5x + 1
Then f '(x) = 5x ^ 4 + 5, the derivative is always greater than 0 on (- 1,0)
So f (x) is strictly increasing, because f (- 1) = - 1 - 5 + 1 = - 5 < 0, f (0) = 1 > 0 and f (x) is continuous on (- 1,0)
According to the mean value theorem, there must be t belonging to (- 1,0) and f (T) = 0. Because it is strictly increasing, this t must be unique