Метод половинного деления

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

Метод половинного деления позволяет получить последовательность вложенных друг в друга отрезков [a_1;b₁], [a₂;b₂], …,[a_i;b_i],…, [a_n;b_n], таких что f(a_i).f(b_i) < 0, где i=1,2,…,n, а длина каждого последующего отрезка вдвое меньше длины предыдущего:

Рис.6.2.3-1

Последовательное сужение отрезка вокруг неизвестного значения корня обеспечивает выполнение на некотором шаге n неравенства |b_n - a_n| < e. Поскольку при этом для любого хÎ[a_n;b_n] будет выполняться неравенство | - х| <, то с точностью любое

может быть принято за приближенное значение корня, например его середину отрезка

В методе половинного деления от итерации к итерации происходит последовательное уменьшение длины первоначального отрезка [a₀;b₀]в два раза (рис. 6.2.3-1). Поэтому на n-м шаге справедлива следующая оценка погрешности результата:

(6.2.3-1)

где - точное значение корня, х_nÎ [a_n;b_n] – приближенное значение корня на n-м шаге.

Сравнивая полученную оценку погрешности с заданной точностью , можно оценить требуемое число шагов:

(6.2.3-2)

Из формулы видно, что уменьшение величины e (повышение точности) приводит к значительному увеличению объема вычислений, поэтому на практике метод половинного деления применяют для сравнительно грубого нахождения корня, а его дальнейшее уточнение производят с помощью других, более эффективных методов.

Рис. 6.2.3-2. Схема алгоритма метода половинного деления

Схема алгоритма метода половинного деления приведена на рис. 6.2.3-2. В приведенном алгоритме предполагается, что левая часть уравнения f(x)оформляется в виде программного модуля.

Пример 6.2.3-1. Уточнить корень уравнения x³+x-1=0 с точностью =0.1, который локализован на отрезке [0;1].

Результаты удобно представить с помощью таблицы 6.2.3-3.

Таблица 6.2.3-3

После четвертой итерации длина отрезка |b₄-a₄| = |0.688-0.625| = 0.063 стала меньше величины e, следовательно, за приближенное значение корня можно принять значение середины данного отрезка: x = (a₄+b₄)/2 = 0.656.

Значение функции f(x) в точке x = 0.656 равно f(0.656) = -0.062.