2.1.2. Графический метод отделения корней

Действительные корни уравнения f(x)=0 можно определить как абсциссы точек пересечения графика функции с осью Ох. Если уравнение не имеет близких между собой корней, то этим способом корни легко определяются. На практике часто удобно тождественно преобразовать уравнение к виду , где и - более простые функции, чем функция . Тогда, построив графики и , искомые корни получаются как абсциссы точек пересечения этих графиков.

Пример 2.2

Отделить графически корни уравнения x·ln(x) -1=0. Преобразуем уравнение к виду 1/x=ln(x) и построим графики.

Рис 2.1. Графический метод отделения корней

Из графика видно, что .

2.2. Уточнение приближенных корней

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

Пусть уравнение (2.1) имеет на отрезке [a,b] один корень, а функция f(x) на данном отрезке непрерывна и f(a)·f(b)<0. Разделим отрезок [a,b] пополам точкой x₁=(а+b)/2. Если f(x₁)≠0 , то для продолжения вычислений выберем ту часть промежутка, где знаки функции различны. Концы полученного отрезка обозначим [a₁,b₁] и снова разделим отрезок [a₁,b₁] пополам точкой x₂=( a₁+ b₁)/2 и т. д. В результате на каком-то этапе получим или точный корень уравнения(2.1) или бесконечную последовательность вложенных друг в друга отрезков [a₁,b₁], [a₂,b₂],… [a_n,b_n],…таких, что

f(a_n)·f(b_n)<0, (n=1,2,…) (2.2)

b_n - a_n=2 ^-n·(b-a). (2.3)

Так как левые концы a₁, a₂,… ,a_n образуют монотонную неубывающую ограниченную последовательность, а правые концы b₁ b₂,…,b_n образуют монотонную невозрастающую ограниченную последовательность, а расстояние между ними в силу (2.2) стремится к нулю, то у последовательностей существует общий предел . Число ξ, которое является общим пределом последовательностей {a_n} и {b_n}, точный корень уравнения (2.1). Оценим погрешность решения на n-м шаге. Считаем до тех пор, пока длина промежутка не станет меньше заданной точности ε.

В качестве ответа возьмем середину отрезка [a_n,b_n].

.

Рис.2.2. К объяснению метода половинного деления

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

Пример 2.3. Найти, используя пакет Matchcad, методом половинного деления корень уравнения x⁴-x³-2x²+3x-3=0 на промежутке [1,2]

Функция koren(a,b,ε) возвращает длину отрезка, который будет меньше заданной точности ε, и значение корня на этом промежутке, если на концах отрезка [a,b] функция имеет противоположные знаки, или сообщение об отсутствии корня, в противном случае.

Метод легко реализуется на компьютере. Далее приводится листинг программы, написанной на языке, встроенном в систему Mathcad.

Рис. 2.3. Листинг программы в Mathcad, реализующей метод половинного деления для примера 2.3

2.2.2 Метод хорд

В этом методе нелинейная функция f(x) на отделенном промежутке

[a,b] заменяется хордой, проходящей через точки (a,f(a))и (b,f(b))

Рис.2.4. Метод хорд. Неподвижен правый конец промежутка b

Уравнение хорды: . Найдем точку пересечения хорды с горизонтальной осью. Полагая и , получим

_.

Точку x₁ принимаем за новую границу отрезка, где содержится корень. Через эту точку с координатами (x₁,f(x₁)) и соответствующую границу предыдущего интервала (b,f(b)) опять проводим хорду, находим и т.д., получая последовательность x₁,x₂,x₃,…x_n,…, сходящуюся к корню уравнения.

Вторая производная сохраняет постоянный знак на . Следовательно, возможны два случая. Если f(b)·f "(b)>0, то хорда имеет правый фиксированный конец, причем последовательность x₀,x₁,…x_n приближается к корню слева. За начальное приближение x₀, естественно, берут a

; ; ;

.

Рис.2.5. Метод хорд. Неподвижен левый конец промежутка a

Если f(a)·f "(a)>0, то хорда имеет левый фиксированный конец, причем последовательность x₀,x₁,…x_n … приближается к корню справа. За начальное приближение x₀, берут b

; ; ;

.

Для оценки точности можно воспользоваться формулой

,

где -точный корень, - приближенный корень, , на промежутке [a,b]. Считаем до тех пор пока, не выполнится условие . Если имеет место неравенство , то счет можно прекратить, когда.

Пример 2.4. Найти методом хорд корень уравнения x⁴-x-1=0

Решение находим, используя пакет Mathcad.

Функция монотонна на промежутках (-∞, 0.63), (0.63, ∞) и меняет на концах промежутков знак. Уравнение имеет два корня. Сузим промежутки отделения корней методом проб, т.е. подстановкой.

Первый корень принадлежит промежутку (-1,-0.5)

Второй корень принадлежит промежутку (1,1.5)

Будем находить корень на промежутке (-1,-0.5)

Вторая производная всюду положительна, функция положительна в точке a = -1, значит, этот конец неподвижен.

-максимальное, a -минимальное значение модуля производной

на промежутке

так как , множитель

нужно учитывать при оценке точности решения,

Нашли корень исходного уравнения с точностью .

Рис. 2.6. Вычисления в Mathcad, реализующие метод хорд для примера 2.4