
Найдём нули функции:
 = x^4 - x^3 - 4x^2 - x + 1 \ ; )
Для этого решим уравнение:

По теореме Безу о модулях рациональных корней многочлена, которая гласит, что их числители являются делителями свободного слагаемого, а знаменатели – делителями старшего коэффициента, находим, что модуль возможного корня единственный:

Проверим:
 = (\pm1)^4 - (\pm1)^3 - 4 \cdot (\pm1)^2 \mp 1 + 1 = 1 \mp 1 - 4 \mp 1 + 1 = -2 \mp 2 \ ; )
Откуда ясно, что
 = -2 + 2 = 0 \ ; )
Итак

– один из корней указанного уравнения. По теореме Виета исследуемый многочлен должен делиться без остатка на
 \ , )
выделим этот множитель:
 - 2x^3 - 4x^2 - x + 1 = \\\\ = x^3 (x+1) - 2x^2(x+1) - 2x^2 - x + 1 = \\\\ = x^3 (x+1) - 2x^2(x+1) - 2x(x+1) + x + 1 = \\\\ = (x+1) ( x^3 - 2x^2 - 2x + 1 ) \ ; )
По теореме Безу о модулях рациональных корней многочлена, в применении уже к кубическому многочлену, стоящему в длинной скобке, находим, что модуль возможного корня единственный:

Проверим:
^3 - 2 \cdot (\pm1)^2 - 2 \cdot (\pm1) + 1 = \pm 1 - 2 \mp 2 + 1 = -1 \mp 1 \ ; )
Откуда ясно, что

– кратный корень,который подходит и в кубический многочлен.Итак

– двойной корень указанного уравнения. По теореме Виета исследуемый многочлен должен дважды делиться без остатка на
 \ , )
выделим этот множитель вторично:
 - 3x^2 - 2x + 1 = \\\\ = x^2(x+1) - 3x(x+1) + x + 1 = (x+1) ( x^2 - 3x + 1 ) \ ; )
Таким образом:
^2 ( x^2 - 3x + 1 ) \ ; )
И не составит никакого труда решить уравнение:
^2 ( x^2 - 3x + 1 ) = 0 \ ; )




По теореме Виета мы можем переписать исходное неравенство, как:

^2 ( x - \frac{ 3 - \sqrt{5} }{2} ) ( x - \frac{ 3 + \sqrt{5} }{2} ) > 0 \ ; )
С учётом знака и степени при старшем коэффициенте – функция, очевидно, монотонно уходит на

при

При переходе через

функция не меняет знака, так как корень чётный, однако нужно понимать, что сам корень не удовлетворяет строгому неравенству.При переходе через

функция меняет знак, а сами корни тоже не удовлетворяет строгому неравенству.Окончательно имеем:
 \cup ( -1 ; \frac{ 3 - \sqrt{5} }{2} ) \cup ( \frac{ 3 + \sqrt{5} }{2} ; +\infty) \ ; \ \Rightarrow \ f(x)>0 )
– неравенство удовлетворено.
 \ ; \ \Rightarrow \ f(x) < 0 )
– неравенство НЕ удовлетворено.О т в е т :