§ 3.6. Формула Феррари

149 164 Первый шаг алгоритма нахождения корней многочлена четвертой степени

4 + 3 + 2 + +

также связан с заменой переменной. Сделаем подстановку

= − 4 , раскроем скобки и приведем подобные. Теперь задача сводится к нахождению корней неполного многочлена вида

4 + 2 + + .

162 ГЛАВА 3. УРАВНЕНИЯ СТАРШЕГО ПОРЯДКА

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

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

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

164 ГЛАВА 3. УРАВНЕНИЯ СТАРШЕГО ПОРЯДКА

Следовательно,

§ 3.7. Границы корней многочлена

161 168 В этом параграфе нас будут интересовать только вещественные корни многочлена. Мы уже знаем, что поиск корней многочленов степени выше второй – дело непростое. Даже если мы применяем численные методы, для начала

166 ГЛАВА 3. УРАВНЕНИЯ СТАРШЕГО ПОРЯДКА

Заметим, что условие | |> 1 здесь действительно выполняется. Последнее неравенство задает два интервала, на которых не может быть корней многочлена. В таком случае

При этом будем считать, что ̸= 0, т. е. = 0 не являет-

ся корнем исходного многочлена. Каждому корню нового

многочлена будет соответствовать корень = 1 исходного многочлена и наоборот. Теперь займемся границами корней многочлена в скобках. Пусть = {| 0|, | 1|, · · · | −1|}.

Следовательно, для корней многочлена всегда справедливо неравенство

корней многочлена 3 − 3 2 − 3 − 4.

Решение. С этим многочленом мы уже встречались на с. 154.

168 ГЛАВА 3. УРАВНЕНИЯ СТАРШЕГО ПОРЯДКА

§ 3.8. Интерполяционный многочлен

Лагранжа

164 173 Всем известно, что через две точки на плоскости

можно провести одну единственную прямую. Многие знают,

что через три точки, не лежащие на одной прямой, проходит

единственная парабола с уравнением = 2 + + . Воз-

никает вопрос: как построить многочлен, график которого

проходит через заданные точек плоскости? Рассмотрим

задачу для случая четырех точек: ( 1; 1), ( 2; 2), ( 3; 3) и

( 4; 4). Поскольку мы строим функцию, естественно потре-

бовать различные значения для = 1, 2, 3, 4; значения

могут совпадать. Теперь построим четыре вспомогательных

функции:

Нетрудно понять принцип их построения. Поскольку все

имеют различные значения, знаменатели дробей отличны от нуля. Каждая из четырех функций является много-

членом третьей степени от . А теперь попробуем в качестве аргумента ( ) подставить одно из значений , где

, = 1, 2, 3, 4.

{

1, если = ;

( ) =

0, если ̸= .

Осталось записать выражение:

( ) = 1 1( ) + 2 2( ) + 3 3( ) + 4 4( ).

Это и есть интерполяционный многочлен Лагранжа. Сумма многочленов третьей степени является многочленом степени не выше третьей, но может быть ниже третьей, если коэффициенты при старших членах сократятся. Из свойств вспомогательных функций следует: ( ) = . Таким образом, график построенного многочлена проходит через четыре заданные точки. Аналогичные рассуждения нетрудно воспроизвести и при построении многочлена по пяти и более точкам. Своим названием многочлен обязан выдающемуся французскому ученому Жозефу Луи Лагранжу, а под интерполяцией в математике подразумевают метод нахождения промежуточных значений функции по имеющемуся набору известных.

Пример 1. Построить многочлен Лагранжа, график кото- 204

рого проходит через точки (0; 2), (3; 3), (4; 4), (7; 10) и (8; 12).

170 ГЛАВА 3. УРАВНЕНИЯ СТАРШЕГО ПОРЯДКА

Решение. По известным значениям абцисс {0, 3, 4, 7, 10} по-

строим вспомогательные функции:

1( ) = ( − 3)( − 4)( − 7)( − 8); 672

2( ) = ( − 4)( − 7)( − 8); −60

3( ) = ( − 3)( − 7)( − 8); 48

4( ) = ( − 3)( − 4)( − 8); −84

5( ) = ( − 3)( − 4)( − 7). 160

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

( ) = 2 1( ) + 3 2( ) + 4 3( ) + 10 4( ) + 12 5( ).

На графике (рис. 31) видно, что кривая действительно проходит через точки (0; 2), (3; 3), (4; 4), (7; 10) и (8; 12). Обычно не требуется приведения подобных в выражении многочлена Лагранжа, но если раскрыть скобки и привести подобные, многочлен будет выглядеть так:

( ) = −168013 4 + 101840 3 − 1680653 2 + 263420 + 2.

Рис. 31. График многочлена Лагранжа

Сомневающиеся могут убедиться в том, что

(0) = 2, (3) = 3, (4) = 4, (7) = 10 и (8) = 12.

В курсе математики средней школы выводят уравнение прямой, проходящей через заданные точки ( 1; 1) и ( 2; 2):

Это же уравнение можно получить, сгруппировав по члены интерполяционного многочлена Лагранжа:

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

172 ГЛАВА 3. УРАВНЕНИЯ СТАРШЕГО ПОРЯДКА

на одной прямой точки? Из теории (с. 80) следует, что пря-

мая не может пересечь параболу более чем в двух точках.

204 Пример 2. Построить многочлен Лагранжа, график кото-

рого проходит через точки (1; 2), (3; 6) и (9; 18).

Решение. Построим три вспомогательных многочлена:

Раскрыв скобки в правой части равенства, придем к урав-

нению = 2 . Алгоритм «распознал», что ему вместо пара-

болы «подсунули» прямую.

Ответ: = 2 .

Рассмотрим еще одну задачу. Требуется найти квадратный

трехчлен, если известны его корни 1 и 2, а его график

проходит через точку ( 0; 0). В таком случае коэффици-

енты при вспомогательных многочленах, соответствующих

1 и 2, нулевые, поэтому достаточно построить один вспо-

могательный многочлен, соответствующий 0, и многочлен