Многочлены и их корни (2)



Скачать 127.53 Kb.
Дата20.10.2012
Размер127.53 Kb.
ТипДокументы

Многочлены и их корни (2)


Лемма о модуле старшего члена. Если дан многочлен п-й степени (п  1),

f(x) = a0x n + a1x n – 1+ a2x n – 2 ++ an

с произвольными комплексными коэффициентами и если k – любое положительное действительное число, то для достаточно больших по модулю значений неизвестного х справедливо неравенство

ç a0x n ç > k ç a1x n – 1+ a2x n – 2 ++ anç (1)

то есть модуль старшего члена будет больше модуля суммы всех остальных членов во сколько угодно раз.

Доказательство. Пусть А – наибольший из модулей коэффициентов a1, aan: А = max (ça1 çça2 ç  çan ç).
Тогда

ça1x n – 1+ a2x n – 2 ++ anç  ça1ççxç n – 1+ ça2ççxç n – 2 ++ çanç 

 Аx ç 1+ çx ç 2 ++ 1) = А x çn – 1)/( çx ç– 1)

При çx ç> 1 выполняется условие (çx çn – 1)/( çx ç– 1) < çx çn / (çx ç– 1) , откуда следует

ç a1x n – 1+ a2x n – 2 ++ anç < Аçx ç/ (çx ç– 1) 

Таким образом, неравенство (1) будет выполняться, если х удовлетворяет условию çx ç> 1 и неравенству

kАçx ç/ (çx ç– 1) ça0x n ç = ça0ççx n ç,

то есть, если верно неравенство

çx ç  1+ Ak/ ça0ç (2)

Последнее неравенство – более сильное, чем çx ç> 1, следовательно, при х, удовлетворяющем (2), неравенство (1) справедливо.

Лемма о возрастании модуля многочлена. Для всякого многочлена f(x) с комплексными коэффициентами, степень которого не меньше единицы, и всякого положительного действительного числа М, сколь угодно большого, можно подобрать такое положительное действительное число N, что при çxç > N, будет çf(x)ç > М.

Пусть

f(x) = a0x n + a1x n – 1+ a2x n – 2 ++ an

Очевидна справедливость соотношений

çf(x)ç = ça0x n + a1x n – 1+ a2x n – 2 ++ anç  

 ça0x n ç – ça1x n – 1+ a2x n – 2 ++ anç (3)

Теперь применим лемму о модуле старшего члена, положив = 2. По этой лемме существует такое число N1, что при çхç > N1, будет справедливо

ça0x n ç > 2ça1x n – 1+ a2x n – 2 ++ anç

Отсюда

ça1x n – 1+ a2x n – 2 ++ anç < ça0x n ç/2

Теперь можно сказать, что из (3) следует, что

çf(x)ç > ça0x n ç – ça0x n ç/2 = ça0x n ç/2 

Правая часть этого неравенства будет больше М при



Таким образом, при будет выполняться çf(x)ç > М.

Лемма Даламбера. Если при х = х0 многочлен f(x) степени п, п  1, не обращается в нуль, то есть çf(x)ç > 0, то можно найти такое приращение h, в общем случае комплексное, при котором

çf(x0 + h)ç < çf(x0)ç.

Доказательство. Выпишем формулу Тейлора для многочлена f(x) при произвольном h:



По условию х0 не является корнем многочлена f(x). Однако х0 может оказаться корнем для f (x), а также и для некоторых производных более высокого порядка. Пусть производная k-го порядка является первой, не имеющей х0 своим корнем, то есть f(k)(x0)  0, а все производные f(x) более низкого порядка в точке x0 в нуль обращаются. Такое k существует, так как, если a0 является старшим коэффициентом многочлена f(x), то f(n)(x0) = n! a0  0. Таким образом,



Некоторые из чисел f(+ 1)( x0),, f( 1)( x0) могут равняться нулю, но это не существенно.

Поделим обе части последнего равенства на величину f(x0), по условию отличную от нуля, и введём обозначение



В результате получится

=



Переходя к модулям, получим

(4)

Чтобы прийти к нужному результату, будем специально подбирать модуль и аргумент приращения h.

Так как



представляет собой многочлен без свободного члена, то по лемме о многочлене с равным нулю свободным членом можно подобрать такое 1, что при çhç < 1 будет выполняться неравенство

(5)

С другой стороны, при



будет выполняться неравенство

(6)

Если модуль h выбран по условию

çhç < min(1, 2), (7)

то неравенство (4) превращается в строгое неравенство

(8)

Для выбора аргумента h потребуем, чтобы число ckhk было отрицательным действительным числом, то есть чтобы

arg(ckhk) = argck + kargh = 

или

(9)

Теперь число ckhk будет отличаться от своего модуля знаком:

ckhk = –çckhkç

и, используя неравенство (6), можно утверждать, что

ç1 + ckhkç = ç1 – çckhkçç = 1 – ckhk

Таким образом, при выборе h на основании условий (7) и (9) неравенство (8) принимает вид

,

а отсюда следует



то есть,

,

и лемма Даламбера доказана.

Основная теорема алгебры комплексных чисел. Всякий многочлен с любыми числовыми коэффициентами, степень которого не меньше единицы, имеет хотя бы один комплексный корень, в общем случае комплексный.

Примем без доказательства теорему из теории функций комплексного переменного.

Если действительная функция g(x) комплексного переменного х непрерывна во всех точках замкнутого круга E, то в круге Е существует такая точка х0, что для всех х из Е имеет место неравенство g(x) > g(x0). Точка х0, следовательно, является точкой минимума для g(x) в круге Е.

Приведенная теорема имеет простую и понятную геометрическую интерпретацию.

Доказательство основной теоремы. Рассмотрим многочлен f(x) степени п, п  1. Очевидно, что f(0) = ап, где ап – свободный член многочлена. Применим к многочлену лемму о возрастании модуля многочлена, полагая М = f(0) = ап. По этой лемме существует такое N, что при х  > N будет выполняться f(х) > f(0). Построим замкнутый круг Е, ограниченный окружностью радиуса N, с центром в точке 0. К этому кругу применим выше приведенную теорему о существовании точки минимума. По этой теореме существует в круге Е некоторая точка х0, которая и является точкой минимума многочлена f(x) в этом круге. Из этого следует, что f(х0)  f(0).

Можно заключить, что х0 будет точкой минимума для çf(х)ç для всей комплексной плоскости, так как если точка х1 не принадлежит кругу Е, то х1 > N, и поэтому f(х1)  f(0)  f(х0). Отсюда следует, что f(х0) = 0, то есть х0 является корнем многочлена f(x). Если бы это условие не выполнялось, то есть f(х0)  0, то по лемме Даламбера существовала бы такая точка х*, что çf(x*)ç < çf(х0) ç, но это противоречит только что установленному свойству точки х0.

Следствия из основной теоремы.

  1. Многочлен f(x) п-й степени можно разложить в произведение п линейных множителей.

Доказательство. Основная теорема позволяет утверждать, что многочлен f(x) с комплексными коэффициентами имеет корень , комплексный или действительный. Поэтому многочлен можно представить в виде



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



Продолжая далее, придём окончательно к разложению многочлена в произведение линейных множителей

(1)

Разложение (1) является для многочлена f(x) единственным с точностью до порядка сомножителей.

Доказательство. Если бы существовало другое разложение:

, (2)

то было бы верно равенство

(3)

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

Чтобы доказать совпадение разложений (1) и (2), нужно доказать, что если среди корней есть s равных , то и среди корней содержатся корни, равные , причём их ровно s. Если же число этих корней t, причём > s, то поделив обе части равенства (3) на , получим из равенства (3) равенство двух разложений, в правой части которого содержится хотя бы один множитель , а в левой части такого множителя нет. Таким образом, при х =  правая часть равенства обращается в нуль, а левая в нуль не обращается, что и доказывает справедливость теоремы (очевиден способ доказательства в предположении, что < s).

Объединяя в разложении (1) одинаковые множители , это разложение можно переписать в виде

(4)

Здесь . Число ki называется кратностью корня i. Теперь можно сделать важный вывод: всякий многочлен f(x) степени п, п  1, с любыми числовыми коэффициентами имеет п корней, если каждый из корней считать столько раз, какова его кратность.

Теорема. Если многочлены f(x) и g(x), степени которых не превосходят п, имеют равные значения при более чем п значениях неизвестного, то f(x) = g(x).

Доказательство. Многочлен f(x) – g(x) имеет при наших предположениях более п корней, но его степень не превосходит п, откуда следует, что f(x) – g(x) = 0.

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



Этот многочлен называется интерполяционным многочленом Лагранжа.

Пусть многочлен с действительными коэффициентами

f(x) = a0x n + a1x n – 1+ a2x n – 2 ++ an

имеет комплексный корень a, то есть

a0a n + a1a n – 1+ a2a n – 2 ++ an  = 0

Это равенство не нарушится, если все числа заменить сопряженными, то есть приходим к равенству

,

то есть .

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

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

, (5)

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

Пусть эти корни имеют соответственно кратности k и l и пусть l. Тогда делится на l-ю степень многочлена



Многочлен q(x), как частное от деления двух многочленов с действительными коэффициентами, также имеет действительные коэффициенты, но в противоречие с доказанным выше, он имеет число своим корнем, тогда как не является для него корнем. Отсюда следует, что l.

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

Любой многочлен с действительными коэффициентами представим, причём единственным образом (с точностью до порядка сомножителей) в виде произведения своего старшего коэффициента а0 и нескольких многочленов с действительными коэффициентами, линейных вида х – , соответствующих его действительным корням, и квадратных вида (5), соответствующих парам сопряженных комплексных корней.

Похожие:

Многочлены и их корни (2) icon2 Приближение функций многочленами [10 часов]
Аппроксимация мнк в различных базисах: базис «алгебраических» многочленов, ортогональные базисы (многочлены Лежандра, «факториальные»...
Многочлены и их корни (2) iconTригонометрические многочлены
Однажды автор этой книжки решил попробовать решать тригонометрические уравнения угадыванием корней(т е сначала угадывать корни, а...
Многочлены и их корни (2) iconПрограмма междисциплинарного экзамена по специальности 010101 "Математика"
Корни и канонические разложения многочленов над полями вещественных и комплексных чисел. Неприводимые многочлены над полями
Многочлены и их корни (2) iconУчебно-методическое пособие Саранск 2012 Многочлены от нескольких неизвестных. Симметрические многочлены
Задача 45. Указать системы показателей и степень следующих одночленов от неизвестных
Многочлены и их корни (2) iconМногочлены и их корни
Здесь коэффициенты будем считать произвольными комплексными числами. Многочленом нулевой степени будем считать отличное от нуля комплексное...
Многочлены и их корни (2) iconВычислить приближенно корень уравнения Корни уравнения называются еще нулями функции
Найти все корни уравнения точно удается лишь в частных случаях. Однако существует множество численных методов, позволяющих отыскать...
Многочлены и их корни (2) iconКорни многочленов. Производные и кратные корни
...
Многочлены и их корни (2) icon«Квадратные корни»
Способствовать развитию самостоятельного применения знаний при преобразовании выражений, содержащих квадратные корни
Многочлены и их корни (2) iconПомни корни свои
Цели: показать исторические корни русского и других славянских народов; выявить их место на древней географической карте Европы;...
Многочлены и их корни (2) iconУрок по теме «Корни многочлена. Теорема Безу» (2 урока)
«Корни многочлена» и разобрать теоремы Безу и Виета в ходе самостоятельной работы
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org