Аналитическое отделение корней

Аналитическое отделениекорней основано на следующей теореме.

Если функция f(x) непрерывна и монотонна на отрезке [a;b] и принимает на концах отрезка значения разных знаков, то на отрезке [a;b] содержится один корень уравнения f(x)=0.

Действительно, если условия теоремы выполнены, как это имеет место на отрезке [a;b] (рис. 6.2.2-3), то есть f(a)∙f(b)<0 и f'(x)>0 для xÎ [a;b], то график функции пересекает ось 0Х только один раз и, следовательно, на отрезке [a;b] имеется один корень уравнения f(x) = 0.

Аналогично можно доказать единственность корня на отрезке [c;d], на[d;e]и т.д

Рис. 6.2.2-3

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

1)установить область определения функции;

2)определить критические точки функции, решив уравнение f¢(x)=0;

3)составить таблицу знаков функции f(x) в критических точках и на границах области определения;

4)определить интервалы, на концах которых функция принимает значения разных знаков.

Пример 6.2.2-3. Отделить корни уравнения x - ln(x+2) = 0.

Область допустимых значений функции f(x) = x - ln(x+2) лежит в интервале (-2; ∞), найденных из условия x+2>0. Приравняв производную f¢(x)=1-1/(x+2) к нулю, найдем критическую точку х_k= -1. Эти данные сведены в табл. 6.2.2-1 и табл. 6.2.2-2 знаков функции f(x).

Таблица 6.2.2-1 Таблица 6.2.2-.2

Уравнение x - ln(x+2) = 0 имеет два корня (-2;-1]и [-1; ∞) . Проверка знака функции внутри каждого из полученных полуинтервалов (табл.6.2.2) позволяет отделить корни уравнения на достаточно узких отрезках [-1.9;-1.1]и [-0.9;2.0].