Академический Документы
Профессиональный Документы
Культура Документы
В этой главе будет введено понятие, с которым долгое время связывалось основное
содержание алгебры, как раздела математики.
Определение 3.1. Пусть задано некоторое поле Р, Char ( P)=0 . Многочленом от буквы х
над полем Р называется формальное выражение вида
f ( x )=a n x n + an−1 x n−1 +⋯+a1 x +a 0 ,
где
a j ∈ P , j=0 , … , n , – коэффициенты многочлена; n ∈ N 0 – натуральное число или нуль;
j
x – буква, формальный символ. При этом отдельные формальные слагаемые вида a j x
0
называются членами многочлена. Слагаемое a 0=a0 x , т.е. считается, что x =1 . Будем
0
считать, что саму сумму можно дополнять слева членами с нулевыми коэффициентами.
Определение 3.2. Многочлен, все коэффициенты которого равны нулю, называется
нулевым и обозначается 0.
Определение 3.3. Наибольший показатель степени буквы х, при которой коэффициент
отличен от нуля, называется степенью многочлена и обозначается deg f ( x ) . При этом
соответствующий член многочлена называется старшим членом. Нулевой многочлен степени
не имеет.
Пример 3.1. Если n
a ≠0 в многочлене из определения 3.1, то deg f ( x )=n .
Как видно из определения, многочлен можно было бы определять как формальную сумму
его членов. Само понятие суммы определим позже, как и произведения и, в частности,
⏟
x j =x⋅x⋅⋯⋅x
считаем, что j , т.е. имеем дело с формальным произведением. Многочлены
обозначают чаще всего малыми буквами латинского алфавита с добавлением обозначения
формального символа: f ( x ), g( y ) и т.д. Множество всех многочленов от буквы х над полем
Р обозначают P [ x] . Если рассматриваются многочлены с ограничением на степень, то
используется такое обозначение: Pn [ x ]= { f ( x )∈ P [ x ]|deg f ( x )≤n } ∪ 0 . Многочленами
{ }
нулевой степени являются, по сути, ненулевые константы поля Р, хотя формально различают
многочлены и «числа».
Определение 3.4. Два многочлена называются равными, если совпадают их
коэффициенты при одинаковых степенях буквы.
Это, кстати, означает, что в записи f ( x )=0 все коэффициенты многочлена слева равны
нулю.
Алгебраические структуры на множестве многочленов
Делимость многочленов
Начнем этот параграф с аналога теоремы о делении с остатком для целых чисел.
или
.
Если , то deg (r 2 (x )−r 1 (x ))<deg g (x ) , но тогда и
, что приводит к противоречию. Следовательно, тогда
,
ибо P [ x] – целостное кольцо.
Теперь докажем существование представления. Сначала рассмотрим частные случаи.
1. Пусть . Тогда .
2. Пусть deg g ( x )=0 , таким образом, g( x )=c ∈ P , c≠0 . Тогда, как легко видеть,
.
3. И, наконец, опишем основной случай, когда deg f ( x )≥deg g( x )>0 . Пусть заданы
n n−1 m m−1
многочлены f ( x )=a n x + an−1 x +⋯+a1 x +a 0 и g( x )=bm x +bm−1 x +⋯+b1 x +b 0 . И
. Рассмотрим цепочку разностей
– старший коэффициент ,
n k <n k−1 ;
an nk −m
f k +1 ( x )=f k ( x )− k
g( x) x
, deg f k +1 (x )=n k +1 , nk +1 <m , k +1 k .
bm n <n
Последнее равенство обязательно появится, ибо степени номерных многочленов строго
убывают. Просуммируем полученные равенства. Имеем
f k +1 ( x )=f ( x )−
[ an
bm
x n−m+
an
bm
1
x
n1−m
+⋯+
an
bm
k−1
x
nk−1−m
+
an
bm
k
x
nk −m
] g( x )
.
Теперь обозначая
q ( x )=
[ an
bm
x n−m +
an
bm
1
x
n1−m
+⋯+
an
k−1
bm
x
nk−1−m
+
an
bm
k
x
nk −m
] и r ( x )=f k +1 ( x ) ,
получаем требуемое.
(∑ )
k
∘
f 1 ( x ) ⋮g( x )∧…∧f k ( x ) ⋮g( x ) ⇒ ∀ h1 ( x ), … , hk ( x ) f i ( x )⋅hi ( x ) ⋮g( x )
4. Если i =1 ;
∘
5. Каждый многочлен делится на многочлен нулевой степени;
∘ ¿
6. Если f ( x)⋮g ( x) , то f ( x)⋮(c⋅g( x)) , где c ∈ P ;
¿
7.
∘ f ( x )⋮g ( x )∧g( x )⋮f ( x )⇔ f ( x )=c 1⋅g( x )∨g( x )=c 2⋅f ( x ) , где c 1 , c 2 ∈ P ;
¿
8.
∘
f ( x)⋮g ( x) , где deg f ( x )=deg g( x ) ⇔ f ( x )=c 1⋅g ( x )∨g( x )=c 2⋅f ( x ) , c 1 , c 2 ∈ P ;
∘
9. Множество делителей многочлена f ( x ) совпадает с множеством делителей
¿
многочлена c⋅f ( x ) , где c ∈ P .
Эти свойства легко доказываются по определению с привлечением леммы 3.2.
Неприводимость
предшествующего коэффициента
b j−1 и сложением полученного с a j−1 .
5 3 2
Пример 3.5. Пусть f ( x )=2 x + x + 4 x −x−1 и α =1 . Тогда
2 0 1 4 -1 -1
1 2 2 3 7 6 5
5 3 2
Таким образом, q ( x )=2 x +2 x +3 x +7 x +6 , а r ( x )=f (1 )=5 .
∘
5. ( f ( x )+ g ( x ))' =f ' ( x )+g ' ( x ) ;
6.
( f ( x )⋅g( x ))' =f ' ( x )⋅g( x )+ f ( x )⋅g' ( x ) ;
[(f ( x ))k ] =k ( f ( x ))k −1⋅f (x ), k ∈ N ;
∘ ' '
7.
8.
∘ [( x )) k ] k ( x )) k 1 , k N .
где
α i≠α j для i≠ j , i , j=1 , … , s . Покажем, что числа k i , i=1 … , s , суть кратности
соответствующих корней. Действительно, пусть кратность корня
α i равна m i , тогда k i≤m i .
Покажем, что
k i <m i невозможно. Представим многочлен в виде
m
f ( x )=( x −α i ) i⋅f i ( x ) , f i ( x)⋮¯ ( x−α i ) .
k <m i получим
Если теперь разложить многочлен f i ( x ) на линейные множители, то при i
разложение f ( x ) существенно другое по сравнению с уже имеющимся , что противоречит
единственности данного представления. В итоге получается каноническое разложение
многочлена над полем комплексных чисел:
k k k
f ( x )=a n ( x−α 1 ) 1⋅( x−α 2 ) 2 ¿…⋅( x −α s ) s ,
s
∑ k j=deg f ( x )=n k i суть кратности соответствующих корней, i=1 … , s .
где i=1 ,а
Непосредственно видно, что f ( xi )=ci , i=1 , … , n+1 , а deg f ( x )≤n . Такой многочлен, как
было показано, определен однозначно. Соответствующая формула называется
интерполяционной формулой Лагранжа. Ее можно использовать для аналитического
описания результатов эксперимента, по выполненным измерениям в точках 1 2 n n+1 .x , x ,…,x ,x
Для уточнения функциональной зависимости проводят дополнительные измерения в
промежуточных точках (узлах).
n n−1
Следствие 7. Пусть f ( x )=a n x + an−1 x +⋯+a1 x +a 0 =an (x −α 1 )⋅( x−α 2 )⋅…⋅( x−α n )⋅¿ ¿
Укажем на связь между коэффициентами многочлена и его корнями 1 2 n. α ,α ,…,α
Перемножим скобки в правой части равенства и сравним полученные коэффициенты с
коэффициентами исходного вида многочлена. Имеем:
an−1
=−( α 1 + α 2 +α 3 +⋯+α n )
an ;
an−2
=α 1 α 2 +α 1 α 3 +⋯+α n−1 α n
an ;
an−3
=−(α 1 α 2 α 3 +α 1 α 2 α 4 +⋯+α n−2 α n−1 α n )
an ;
. . . . . . . . . . . . . . .
a1
=(−1)n−1 (α 1 α 2 …α n−1 +⋯+α 2 α 3 …α n )
an ;
a0
=(−1)n α 1 α 2 … α n−1 α n
an .
Эти формулы называются формулами Ф. Виета, по имени французского математика. Как
видим, они носят нелинейный характер и не дают возможности вычислять корни многочлена
по его коэффициентам. Правда, если известна дополнительная информация о корнях, то
иногда можно получить и корни. Сами по себе они (формулы) являются обобщением
соответствующих школьных формул для квадратного трехчлена.
Пример 3.8. Формулы Виета для кубического многочлена:
a2
=−( α 1 + α 2 + α 3 )
a3 ;
13
a1
=α 1 α 2 + α 1 α 3 + α 2 α 3
a3 ;
a0
=−α 1 α 2 α 3
a3 .
Лемма 3.6. Вещественный многочлен нечетной степени имеет, по крайней мере, один
вещественный корень.
14
Доказательство следует из канонического разложения многочлена.
Пример 3.8. Построить многочлены над полем С и полем R с корнями: двойной корень i ,
простой корень 1+i , двойной корень 3. Имеем над полем С:
f ( x )=(x −i)2⋅( x−1−i)⋅( x−3 )2=( x 3−(1+3i )x 2 +(−3+2i )x +1+i)⋅(x −3)2 =
x 5 +(−7 +3 i)x 4 +(3+20 i)x 3 +(10−38i )x 2 +(−33+12i) x+9+9 i .
Над полем R :
g( x )=(( x−i)⋅( x+ i) )2⋅( x−1−i)⋅( x−1+i)⋅( x−3)2 =
x 8 −6 x 7 +13 x 6 −24 x 5 + 41 x 4 −30 x 3 +47 x 2 −12 x +18 .
Эти же результаты можно получить, используя формулы Виета.