0 \ ; " alt=" x^4 - x^3 - 4x^2-x+1>0 \ ; " align="absmiddle" class="latex-formula">
Найдём нули функции:
Для этого решим уравнение:
По теореме Безу о модулях рациональных корней многочлена, которая гласит, что их числители являются делителями свободного слагаемого, а знаменатели – делителями старшего коэффициента, находим, что модуль возможного корня единственный:
Проверим:
Откуда ясно, что
Итак
– один из корней указанного уравнения. По теореме Виета исследуемый многочлен должен делиться без остатка на
выделим этот множитель:
По теореме Безу о модулях рациональных корней многочлена, в применении уже к кубическому многочлену, стоящему в длинной скобке, находим, что модуль возможного корня единственный:
Проверим:
Откуда ясно, что
– кратный корень,
который подходит и в кубический многочлен.
Итак
– двойной корень указанного уравнения. По теореме Виета исследуемый многочлен должен дважды делиться без остатка на
выделим этот множитель вторично:
Таким образом:
И не составит никакого труда решить уравнение:
0 > x_1 \ ; " alt=" x_{2,3} > 0 > x_1 \ ; " align="absmiddle" class="latex-formula">
По теореме Виета мы можем переписать исходное неравенство, как:
0 \ ; " alt=" x^4 - x^3 - 4x^2-x+1>0 \ ; " align="absmiddle" class="latex-formula">
0 \ ; " alt=" (x+1)^2 ( x - \frac{ 3 - \sqrt{5} }{2} ) ( x - \frac{ 3 + \sqrt{5} }{2} ) > 0 \ ; " align="absmiddle" class="latex-formula">
С учётом знака и степени при старшем коэффициенте – функция, очевидно, монотонно уходит на
при
При переходе через
функция не меняет знака, так как корень чётный, однако нужно понимать, что сам корень не удовлетворяет строгому неравенству.
При переходе через
функция меняет знак, а сами корни тоже не удовлетворяет строгому неравенству.
Окончательно имеем:
0 " alt=" x \in ( -\infty ; -1 ) \cup ( -1 ; \frac{ 3 - \sqrt{5} }{2} ) \cup ( \frac{ 3 + \sqrt{5} }{2} ; +\infty) \ ; \ \Rightarrow \ f(x)>0 " align="absmiddle" class="latex-formula">
– неравенство удовлетворено.
– неравенство НЕ удовлетворено.
О т в е т :