1. Теорема про ділення із лишком
Теорема (про ділення із лишком). Для даних поліномів
існують і єдині поліноми
і
такі, що





де
.

Приклад 1. Відомо, що залишок від ділення полінома
на
рівний
, від поділу
на
рівний
. Знайдіть залишок від ділення
на
.








Рішення. нехай

Тоді
,
. Звідси
,
.




Приклад 2. Визначити, чи буде поліном
ділитися на
.


Рішення. Нехай
. Тоді, як і в попередній задачі,
. Тепер продифференцируем рівність по
:




і
. Звідси випливає подільність.
- Корінь
кратності
.




2. Теорема Вієта
Теорема Вієта. Нехай коріння многочлена

рівні
. тоді


Приклад 3. Відомо, що рівняння

має
речових кореня, сума яких дорівнює
. Знайти
.



Рішення. За теоремою Вієта
. Залишилося перевірити, при якому
рівняння має
речових кореня.
.




3. Суми Ньютона
Нехай
,
. Позначимо
його коріння. І поліном
.
![f (x) = a_0x ^ n + a_1x ^ {n-1} + \ dots + a_n \ in \ mathbb {C} [x] f (x) = a_0x ^ n + a_1x ^ {n-1} + \ dots + a_n \ in \ mathbb {C} [x]](http://hijos.ru/wp-content/ql-cache/quicklatex-1b5b014f5a0d1312d4eabb3eac63060b.gif)



Визначення. вираз

називається
- ой сумою Ньютона полінома
.


Знайдемо вираз
через коефіцієнти
. Для цього розглянемо дріб


![\ Begin {array} {l} </ p> <p> \ displaystyle <br /> {f ^ {\ prime} (x) \ over f (x)} = {(x- \ lambda_2) (x- \ lambda_3) \ dots (x- \ lambda_n) + (x- \ lambda_1) (x- \ lambda_3) \ dots (x- \ lambda_n) \ over <br /> (x- \ lambda_1) (x- \ lambda_2) \ dots (x- \ lambda_n)} + \\ [3mm] <br /> \ displaystyle \ ldots + {(x- \ lambda_1) (x- \ lambda_2) \ ldots (x- \ lambda_ {n-1}) \ over (x- \ lambda_1) (x- \ lambda_2) \ dots (x- \ lambda_n)} = \ sum_ {j = 1} ^ n {1 \ over x- \ lambda_j}. <br /> \ end {array} \ Begin {array} {l} </ p> <p> \ displaystyle <br /> {f ^ {\ prime} (x) \ over f (x)} = {(x- \ lambda_2) (x- \ lambda_3) \ dots (x- \ lambda_n) + (x- \ lambda_1) (x- \ lambda_3) \ dots (x- \ lambda_n) \ over <br /> (x- \ lambda_1) (x- \ lambda_2) \ dots (x- \ lambda_n)} + \\ [3mm] <br /> \ displaystyle \ ldots + {(x- \ lambda_1) (x- \ lambda_2) \ ldots (x- \ lambda_ {n-1}) \ over (x- \ lambda_1) (x- \ lambda_2) \ dots (x- \ lambda_n)} = \ sum_ {j = 1} ^ n {1 \ over x- \ lambda_j}. <br /> \ end {array}](http://hijos.ru/wp-content/ql-cache/quicklatex-c0d36c1f5c464ec63a531badd605b951.gif)
Розкладемо тепер кожну дріб
за ступенями
:



і підставимо в першу рівність:
![\ Begin {array} {ll} <br /> \ displaystyle <br /> {f ^ {\ prime} (x) \ over f (x)} & <br /> \ displaystyle = {1 \ over x} + {\ lambda_1 \ over x ^ 2} + {\ lambda_1 ^ 2 \ over x ^ 3} + \ dots + {\ lambda_1 ^ k \ over x ^ {k + 1}} + \ ldots + \\ [3mm] <br / > & \ displaystyle <br /> + {1 \ over x} + {\ lambda_2 \ over x ^ 2} + {\ lambda_2 ^ 2 \ over <br /> x ^ 3} + \ dots + {\ lambda_2 ^ k \ over x ^ {k + 1}} + \ ldots + \\ [3mm] <br /> & \ displaystyle <br /> + {1 \ over x} + {\ lambda_n \ over x ^ 2} + {\ lambda_n ^ 2 \ over <br /> x ^ 3} + \ dots + {\ lambda_n ^ k \ over x ^ {k + 1}} + \ ldots = \\ [3mm] <br /> & \ displaystyle <br /> = {s_0 \ over x} + {s_1 \ over x ^ 2} + {s_2 \ over x ^ 3} + \ dots + {s_k \ over x ^ {k + 1}} + \ ldots <br /> \ end {array } \ Begin {array} {ll} <br /> \ displaystyle <br /> {f ^ {\ prime} (x) \ over f (x)} & <br /> \ displaystyle = {1 \ over x} + {\ lambda_1 \ over x ^ 2} + {\ lambda_1 ^ 2 \ over x ^ 3} + \ dots + {\ lambda_1 ^ k \ over x ^ {k + 1}} + \ ldots + \\ [3mm] <br / > & \ displaystyle <br /> + {1 \ over x} + {\ lambda_2 \ over x ^ 2} + {\ lambda_2 ^ 2 \ over <br /> x ^ 3} + \ dots + {\ lambda_2 ^ k \ over x ^ {k + 1}} + \ ldots + \\ [3mm] <br /> & \ displaystyle <br /> + {1 \ over x} + {\ lambda_n \ over x ^ 2} + {\ lambda_n ^ 2 \ over <br /> x ^ 3} + \ dots + {\ lambda_n ^ k \ over x ^ {k + 1}} + \ ldots = \\ [3mm] <br /> & \ displaystyle <br /> = {s_0 \ over x} + {s_1 \ over x ^ 2} + {s_2 \ over x ^ 3} + \ dots + {s_k \ over x ^ {k + 1}} + \ ldots <br /> \ end {array }](http://hijos.ru/wp-content/ql-cache/quicklatex-251fb38a18a1d60e83b41aa91940e146.gif)
Домножим обидві частини цієї рівності на
, отримаємо

тотожність

Прирівнюючи коефіцієнти при однакових ступенях
в цьому тотожність, отримуємо рівності:


Вирішуючи їх послідовно, отримуємо рекурсивні формули Ньютона для
:


Приклад 4. Довести, що

де


Рішення. Запишемо вирази для


Розглянемо ці рівності як систему лінійних рівнянь щодо
і висловимо
за формулами Крамера:



Далі, враховуючи, що знаменник дорівнює одиниці, переставляємо стовпці в чисельнику і приходимо до потрібного нам рівності.
Приклад 5. Обчислити суму

де
- корені полінома
.


Відповідь.
.

Рішення.

так як поліном
не має кратних коренів: його дискримінант
. Звідси відповідь.


4. Теорема Лагранжа
Розглянемо поліном

Теорема. Нехай числа
все різні. Для полінома
справедливі такі рівності Ейлера - Лагранжа :



Доведення. Побудуємо інтерполяційний поліном по наступній таблиці:

З одного боку, відповідь відома заздалегідь:
. З іншого боку, формула інтерполяційного полінома Лагранжа дає його ж у вигляді суми:


У цьому тотожність ступеня поліномів зліва і справа повинні бути однаковими.
Якщо
, то старший коефіцієнт правого полінома повинен звернутися в нуль. Якщо ж
, то повинні співпасти старші коефіцієнти обох полиномов.


5. результанти і дискримінант
для поліномів ![f (x), g (x) \ in \ mathbb {C} [x] f (x), g (x) \ in \ mathbb {C} [x]](http://hijos.ru/wp-content/ql-cache/quicklatex-a3f99c37cc6f0101d68a99d41346d503.gif)
![f (x), g (x) \ in \ mathbb {C} [x] f (x), g (x) \ in \ mathbb {C} [x]](http://hijos.ru/wp-content/ql-cache/quicklatex-a3f99c37cc6f0101d68a99d41346d503.gif)

(
) Складемо квадратну матрицю порядку
:



![\ Begin {minipage} [t] {6.5cm} <br /> \ mbox {} \ vskip-9.3mm <br /> $ M = \ left (\ begin {array} [l] {cccccccc} <br /> a_0 & a_1 & a_2 & \ ldots & \ ldots & a_n & 0 & 0 \\ <br /> 0 & a_0 & a_1 & \ ldots & \ ldots & a_ {n-1} & a_n & 0 \\ <br /> &&& \ ldots &&&& \\ <br /> 0 & 0 & \ ldots & a_0 & a_1 & \ ldots && a_n \\ <br /> 0 & 0 & \ ldots && b_0 & b_1 & \ ldots & b_m \\ <br /> 0 & 0 & \ ldots & b_0 & b_1 & \ ldots & b_m & 0 \\ <br /> &&& \ ldots &&&& \\ <br /> b_0 & \ ldots & \ ldots & b_m & 0 & \ ldots & 0 & 0 <br /> \ end {array} \ right) $ < br /> \ end {minipage} \ hfill <br /> \ begin {minipage} [t] {4.25cm} <br /> \ mbox {} \ vskip-9.8mm \ hskip16mm <br /> $ \ begin {array } {l} <br /> \ left. \ begin {array} {l} <br /> \\ \\ \\ \\ <br /> \ end {array} \ right \} m <br /> \ \ <br /> \ left. \ begin {array} {l} <br /> \\ \\ \\ \\ <br /> \ end {array} \ right \} n <br /> \ end {array }, $ <br /> \ end {minipage} \ Begin {minipage} [t] {6.5cm} <br /> \ mbox {} \ vskip-9.3mm <br /> $ M = \ left (\ begin {array} [l] {cccccccc} <br /> a_0 & a_1 & a_2 & \ ldots & \ ldots & a_n & 0 & 0 \\ <br /> 0 & a_0 & a_1 & \ ldots & \ ldots & a_ {n-1} & a_n & 0 \\ <br /> &&& \ ldots &&&& \\ <br /> 0 & 0 & \ ldots & a_0 & a_1 & \ ldots && a_n \\ <br /> 0 & 0 & \ ldots && b_0 & b_1 & \ ldots & b_m \\ <br /> 0 & 0 & \ ldots & b_0 & b_1 & \ ldots & b_m & 0 \\ <br /> &&& \ ldots &&&& \\ <br /> b_0 & \ ldots & \ ldots & b_m & 0 & \ ldots & 0 & 0 <br /> \ end {array} \ right) $ < br /> \ end {minipage} \ hfill <br /> \ begin {minipage} [t] {4.25cm} <br /> \ mbox {} \ vskip-9.8mm \ hskip16mm <br /> $ \ begin {array } {l} <br /> \ left. \ begin {array} {l} <br /> \\ \\ \\ \\ <br /> \ end {array} \ right \} m <br /> \ \ <br /> \ left. \ begin {array} {l} <br /> \\ \\ \\ \\ <br /> \ end {array} \ right \} n <br /> \ end {array }, $ <br /> \ end {minipage}](http://hijos.ru/wp-content/ql-cache/quicklatex-b7a7fbf63c45a29972c3922affc688f7.gif)
елементи вище
і
, і нижче
і
всі рівні нулю.




Визначення. вираз

називається результанти полиномов
і
(в формі Сильвестра).


Теорема. Для поліномів
і



Теорема. Для того щоб
і
мали спільне коріння, необхідно і достатньо виконання умови
.



Для того щоб поліном
мав разовий корінь необхідно і досить, щоб він мав спільне коріння зі своєю похідною
. Для цього необхідно і достатньо, щоб
.
![f (x) = a_0x ^ n + a_1x ^ {n-1} + \ ldots + a_n \ in \ mathbb {C} [x] f (x) = a_0x ^ n + a_1x ^ {n-1} + \ ldots + a_n \ in \ mathbb {C} [x]](http://hijos.ru/wp-content/ql-cache/quicklatex-e03dc86f961fb7c17f46568da753f305.gif)


відповідний визначник


ділитиметься на
(загальний множник елементів першого стовпця).

Визначення. Вираз
називається дискримінантом полінома
і позначається
:




Вправа. Доведіть, що

Тут
- коріння
.


Теорема. Поліном
має разовий корінь тоді і тільки тоді, коли
.


Приклад 6. Охарактеризувати число речових коренів полінома з речовими коефіцієнтами по знаку дискримінанту для полінома третього ступеня, для полінома четвертого ступеня і в загальному випадку.
Рішення. У загальному випадку, якщо дискримінант позитивний, то число пар комплексно-сполучених коренів парне, якщо дискримінант від'ємний, - то непарне.
Для полінома третього ступеня, якщо
, то все коріння речовинні, якщо
, то два кореня комплексно-зв'язані.


Для полінома четвертого ступеня при
або все коріння речові, або все коріння комплексні. При
є два речових кореня і одна пара сполучених комплексних.


завдання
1. Знайдіть многочлен
четвертого ступеня зі старшим коефіцієнтом одиницею, у якого число
є коренем кратності
, а залишок від ділення
на
рівний
.






2. Многочлен
з цілими коефіцієнтами представлений у вигляді


де
- різні цілі числа, а
- деякий многочлен. Чи може многочлен
мати цілі коріння?



3.
і
- різні речові числа. Знайдіть залишок від ділення полінома
на
.




4.
- поліном з цілими коефіцієнтами. Для деякого натурального
жодне з чисел
не ділиться на
. Доведіть, що поліном
не має цілих коренів.





5. Коріння полінома
-
. Знайдіть кубічне рівняння, коренями якого є
.



6. Довести, що якщо чотири різних точки кривої

лежать на одній прямій, то середнє арифметичне їх абсцис є константа. Знайдіть цю константу.
7. Нехай
. Нехай рівняння
має різні речові коріння. Доведіть, що ці корені є також корінням рівняння
. Знайдіть квадратне рівняння для двох інших коренів цього рівняння. Вирішіть




8. Знайдіть поліном
з речовими коефіцієнтами,
, такий, що суми квадратів коефіцієнтів
і
однакові для всіх
.





9. Речовий поліном
такий, що для будь-якого полінома
. Знайти всі такі поліноми
.




10. Нехай
- корені ступеня
з
. Знайти
.




11. Нехай
- многочлен
-го степеня, а
- його похідна. Складемо різниці між кожним з коренів рівняння
і кожним з коренів рівняння
.





Розрахуйте суму величин, зворотних отриманим різницям.
12. Довести, що якщо для деякого натурального


то поліном

має корінь між
і
.


13. Довести, що многочлени
і
не мають спільних комплексних коренів.


14. Нехай
- суми Ньютона полінома


Знайти поліном
такий, що його суми Ньютона рівні
.



Немає коментарів:
Дописати коментар