Многочлены над числовыми полями

 

Оглавление

Приложение 1..

 

 

Введение

 

Целью исследования является: изучить свойства многочленов над числовыми полями Q, R и C

Задачи, поставленные в  исследовании:

проанализировать учебную литературу по данному вопросу

систематизировать полученный материал;

научиться находить корни многочленов над числовыми полями Q, R и C.

Сделать подбор задач для  самостоятельного решения по теме: «Многочлены над числовыми полями Q, R и C»

Объектом исследования многочлены

Предмет исследования – многочлены над числовыми полями Q, R и C

Методы исследования, использованные в курсовой работе:

– анализ методических пособий,

– обобщение и систематизация полученных сведений.

Структура работы. Работа состоит  из оглавления, введения, двух глав, заключения и списка литературы, насчитывающего 10 наименований.

 

Глава 1.ПОНЯТИЕ МНОГОЧЛЕНА

1.1.Многочлены как функция действительной переменной.

Функция f(x) действительной переменной х называется многочленом, если она может быть представлена в виде

f(x) = a₀+a_lx + a₂x + ... + a_nxⁿ, (1)

где а₀,а₁,а₂, ..., а_п –какие-то действительные числа (некоторые из них могут равняться нулю). Например, функция

f(x) = 1 – х² + 2х⁴ = 1 + 0х + (-1)х² + 0х³ + 2х⁴ является многочленом, так как после раскрытия скобок она представляется в виде : f(х) = 1–х²+х³. частным случаем многочлена является постоянная функция f(х) = а, принимающая одно и то же значение а при всех значениях х. Выражение

а₀ + а₁х + а₂х² + ... + а_пх^п +0хⁿ⁺¹ +... + 0х^т

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

а₀ + а₁ х+ а₂х² + ... + а_пхⁿ = а₀ + а₁х + а₂х² + ... + а_пх^п + 0хⁿ⁺¹ +... + 0х^m . Обратно, можно доказать, что если при всех значениях х выполняется равенство

а₀ +a₁x + a₂x² + ... + а_пхⁿ = b₀ + b₁x + b₂x² +... + b_mx^m, где т > n, то b_к = а_k   при к=0, 1, 2, 3,..., nиb_k=0 при k=n+1,..., m.

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

Число а_к в выражении (1) называется коэффициентом многочлена f(x) при х^к.

Поскольку, не меняя многочлена f(x), к его выражению (1) можно приписать любое количество членов с нулевыми коэффициентами, то говорят также о коэффициентах многочлена f(x) при х^к, где к>п, считая их равными нулю. Многочлен, все коэффициенты которого равны нулю, называется нулевым многочленом..

Если многочлен (1) не является нулевым, то наибольшее из таких чисел к, что а_к.≠0, называется его степенью. Например, f(х) = 1-х² + 2х⁴ – многочлен

четвертой степени. Постоянные функции, отличные от нуля, – это многочлены нулевой степени.

Сумма, разность и произведение двух многочленов также являются многочленами. В самом деле, пусть

f(x)=a₀+a₁x + a₂x² + ... + a_nxⁿ, (2)

g(x) = b₀ +b₁x + b₂x² + ... + b_mx^m. (3)

Тогда

f(x) + g(x) = (a₀ + b₀) + (a₁ + b₁)x + (a₂ + b₂)x² + ... + (a_p + b_p )x^p (4)

f(x) – g(x) = (a₀ – b₀) + (a₁ – b₁)x + (a₂ – b₂)x² +... + (a_p – b_p)x^p,       (5)

где p=max{n,m} (наибольшее из чисел п, т), причем считается, что а_к=0 при к>n и b_k = 0 при к>т. Например,

(2 – 3х + x³ + 2х⁴) + (–1 + 3х + 2х² + х³) =

= (2 – 1) + (–3 + 3)х+ (0 + 2)х² + (1 + 1)х³ + (2+ 0)х⁴ = 1 + 2х² + 2х³ + 2х⁴.

 Произведение многочленов f(x) и g(x) равно сумме всевозможных произведений uv, где и – любой член многочлена f(x), а v –любой член многочлена g(x). После приведения подобных членов получается многочлен

f(x)g(x) = c₀+c₁x + c₂x² + ... + c_n+mx^n+m, (6)

где

c_kx^k = a₀ b_kx^k + a₁x b_k–1x^k–1 + a₂x² b_k–2x^k–2 + ... + a_kx^k b₀ = (a₀b_k + a₁b_k–1 + … +a₂b_k–2 + ... + a_kb₀)x^k,

так что

c_k = a₀b_k + a₁b_k–1 + a₂b_k–2 + ... + a_kb₀ (7)

Итак, сумма, разность и  произведение многочленов также  являются многочленами. Это означает, что многочлены образуют подкольцо в кольце всех функций действительной переменной х обозначается через R[x]. Символ R является обозначением поля действительных чисел. Поскольку кольцо всех функций коммутативно и ассоциативно, кольцо R[x] также обладает этими свойствами. В нем есть единичный элемент – постоянная функция f(x) = 1.

1.1.2. Алгебраическое определение кольца многочленов.

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

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

Пусть К - произвольное кольцо. Многочленом от х с коэффициентами из К называется формальное выражение вида

а₀ + а₁х + а₂х + ... + а_пхⁿ, (8)

где n –любое неотрицательное число и а₀,а₁,а₂,...,а_п– элементы кольца К.

Элемент а_к (к=0, 1, 2, 3, ..., n) кольца К называется коэффициентом многочлена (8) при х^k; для k>n коэффициент при х^к равен нулю. Для обозначения многочленов используют символы f(x), g(x).

Многочлены f₁(x) и f₂(x) считаются равными, если для любого к коэффициент многочлена f₁(x) при х^k равен коэффициенту многочлена f₂(x) при х^к. Равенство записывается обычным образом:

f₁(x)=f₂(x).

Для многочленов f(x) и g(x), заданных формулами (2) и (3) (где а₀,а₁,а_2:,...,а_п, b₀,b₁,b₂,...,b_m - элементы кольца К), их сумма f(x) +g(x) определяется по формуле (4) и произведение f(x)g(x) по формулам (6) и (7). Эти определения согласуются с данным выше определением равенства многочленов, т. е., если

f₁(х) = f₂(х) и g₁(х) = g₂ (х),

то 

f₁(x) + g₁(x) = f₂(x) + g₂(x) и f₁(x) g₁(x) = f₂(x) g₂(x),

 

 

1.1.3 Свойства операций сложения и умножения многочленов.

1° Коммутативность сложения. Пусть многочлены f(x) и g(x) заданы формулами (2) и (3). Тогда, согласно определению,

f(х) + g(x) = (а₀ + b₀) + (a₁ + b₁)х+ (а₂ + b₂)х² +...+ (а_р + b_р)х^р,

g(x) + f(x) = (b₀ + а₀) + (b₁ + а₁)х + (b₂ + а₂)х² + ... + (b_p + а_р)х^р,

где р = тах {п,т}. Так как в кольце К сложение коммутативно, то

а_к+b_к = b_к +а_к

(к=0, 1,2, ..., р) и, значит,

f(x)+g(x)=g(x)+f(x).

2° Ассоциативность сложения доказывается аналогично, исходя из ассоциативности сложения в кольце К.

3° Существование нуля. Нулем называется многочлен, все коэффициенты которого равны нулю и обозначается он символом 0. Этот многочлен играет роль нулевого (нейтрального по отношению к сложению) элемента.  В самом деле, из определения сложения многочленов ясно, что f(x)+0=f(x) для любого многочлена f(x).

4°Существование противоположного элемента. Пусть -f(x) – многочлен все коэффициенты которого противоположны соответствующим коэффициентам многочлена f(x) Ясно, что f(x)+(-f(x))=0, т.е. -f(x) – это многочлен, противоположный многочлену f(x).

5° Дистрибутивность умножения. Пусть даны три многочлена:

f(x) = а₀ +а₁х + а₂х² +... + а_пхⁿ,

g(x) = b₀ + b₁х + b₂х² + ... + b_тх^т,

h(x) = с₀ + с₁х + с₂х² +... + c_lx^l .

докажем, что

(f(x)+g(x))·h(x)=f(x)·h(x)+g(x)·h(x). (9)

Многочлен f(x) +g(x) задается формулой (4). Согласно определению умножения многочленов,

(f(х) + g(x))h(x) = d₀ + d₁x + d₂x² + ... + d_p+lx^p+l,

где

d_k = (a₀ + b₀)c_k + (a₁ + b₁ )c_k-1 +(a₂+b₂)c_k-2+  +(a_k+b_k)c₀.

Воспользовавшись дистрибутивностью в кольце К, d_k можно представить в виде суммы d_k ´+d_k",

где

d_k´ = a₀c_k + a₁c_k–1 + a₂c_k–2 +... + a_kc₀,

d_k" = b₀c_k + b₁c_k–1 + b₂c_k–2 + ... + b_kc₀.

d_k´ есть коэффициент при x^k многочлена f(x)h (x), a d_k´´ - коэффициент при x^k многочлена g(x)h(x). Отсюда следует равенство (9). Аналогично доказывается другое соотношение дистрибутивности:

h(x)·(f(x)+g(x))=h(x)·f(x)+h(x)·g(x). Свойства 1°-5° означают, что многочлены с коэффициентами из кольца К сами образуют кольцо относительно определенных операции  сложения и умножения. Это кольцо называется кольцом многочленов (от х) над К и обозначается через К[х].

Как и во всяком кольце, в кольце многочленов определена операция вычитания, обратная операции сложения. Разность многочленов f(x) и g(x), задаваемых формулами (2) и (3), находится по формуле (5). Это утверждение доказывается с помощью представления разности в виде

f(x)-g(x)=f(x)+(-g(x)).

Многочлены, не содержащие х т.е. выражения (8), в которых п=0, – это элементы кольца К. Их сложение и умножение производится так же, как в кольце К. иными словами, кольцо К является подкольцом кольца К[х].

Формальные слагаемые а₀,а₁х,а₂х²,...,а_nхⁿ называются членами многочлена (8); в частности, а₀ называется свободным членом.

Многочлен вида ax^k называется одночленом. Из определения сложения многочленов следует, что многочлен (8) равен сумме одночленов а₀,а₁х,а₂х² ,...,а_пх^п.

Таким образом, рассматривая каждый член многочлена как одночлен, можно истолковывать символ "+" в записи многочлена как знак сложения. При таком толковании записи многочлена его члены можно располагать в произвольном порядке.

Одночлен (-a)x^k противоположен одночленуax^k. Поэтому прибавление к какому–либо многочлену одночлена (-a)x^k равносильно вычитанию одночлена ax^k. Это позволяет в записи многочлена вместо +(-а)х^к писать -ах^к, рассматривая "-" как знак вычитания. Например, многочлен 1 +(-2)х+Зх² можно записать как 1-2х+Зх².

Пусть в кольце К имеется  единица и дан многочлен р(х)=1х. По формуле для произведения многочленов имеется: р(х)² =р(х)·р(х)=1х² , р(х)³=р(х)² р(х)=1х³ и т.д.

Вообще р(х)^к=р(х)^k–1 р(х) =1х^k.

Умножая в кольце К[х] многочлен 1х^к на элемент а кольца К, находим:

а·р(х)^к=ах^к.

Наконец, путем сложения нескольких таких равенств получаем, что

a_o+a₁·p(x)+a₂·p(x)²+... +a_n·p(x)ⁿ=a_o+a₁x+a₂x²+... +а_nхⁿ

 для любых а₀,а₁,а₂,...,а_п е К <К[х].

Правая часть этого  равенства есть, согласно определению  многочлена, просто формальное выражение, в то время как левая часть получена из элементов а₀,а₁,а₂,...,а_п и р(х) кольца К[х] путем фактического выполнения операций сложения и умножения в этом кольце. Поэтому (если в кольце К есть единица) можно отождествить букву х с многочленом, который обозначался через р(х) , и придать тем самым записи многочлена неформальный смысл.

1.1.4. Степень многочлена.

Степенью ненулевого многочлена f(x) = a₀+a_lx + a₂x² + ... + a_nxⁿ называется наибольшее из таких чисел к, что а_к ≠ 0; степень нулевого многочлена считается равной –∞. Степень многочлена f(x) обозначается ст. f(x)

Многочлен нулевой степени – это элементы кольца К, отличные от нуля. Всякий многочлен степени n>= 0 может быть записан в виде

a₀ + а₁х + а₂х² + ...+ а_n хⁿ,

где а_п ≠ 0. При этом а_nх^п называется его старшим членом, а а_п – старшим коэффициентом. Многочлен, старший коэффициент которого равен единице (если в кольце К есть единица), называется нормированным.

Рассматривая формулы (4) и (6), по которым определялись сумма  и произведение многочленов, видно, что формула для суммы не содержит членов, степень которых выше , чем max{n,m}, а формула для произведения – членов, степень которых выше, чем n+m.

Отсюда следует, что

ст. (f(x) +g(x)) <= max {ст. f(x), ст. g(x)},                                       (10)

ст.f(x)g(x) <=cт .f(x)+ст. g(x).                                                                    (11)

Для того чтобы эти неравенства были справедливы и тогда, когда среди многочленов f(x), g(x), f(x)+g(x), f(x)·g(x) имеются нулевые (степени которых, согласно определению, равны – ∞ ), нужно считать, что – ∞<п и – ∞+ n = –∞ для любого п.

1.1.5. Кольцо многочленов над областью целостности.

Чтобы умножение в  кольце К[х] обладало теми или иными свойствами, надо требовать выполнения соответствующих свойств в кольце К. чаще всего приходится иметь дело со случаем, когда К –область целостности, т.е. коммутативное ассоциативное кольцо с единицей и без делителей нуля.

В дальнейшем будут рассматриваться  только многочлены с коэффициентами из области целостности.

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

6°Коммутативность умножения легко вытекает непосредственно из определения. Сначала необходимо доказать

коммутативность умножения одночленов. Для одночленов ах^п и bх^mимеем:

axⁿ·bx^m=abx^n+m, bx^m·axⁿ=bax^n+m.

Так как в кольце К умножение коммутативно, то ab=ba и. значит,

axⁿ·bx^m=bx^m·axⁿ.

Пусть теперь f(x) и g(x) – произвольные многочлены. Многочлен f(x)·g(x) равен сумме всевозможных произведений вида uv, где и – член многочлена f(x), a v – член многочлена g(x).

Аналогично многочлен g(x)f(x) равен сумме всевозможных произведений вида uv=vu для любого члена и многочлена f(x) и любого члена v многочлена g(x). Следовательно, f(x)·g(x)=g(x)·f(x).

7°Ассоциативность умножения. Многочлен (f(x)g(x))h(x) равен сумме всевозможных произведений вида (uv)w, где и – член многочлена f(x), v – член многочлена g(x), w – член многочлена h(x). Аналогично многочлен f(x)(g(x)h(x)) равен сумме всевозможных произведений вида u(vw), где и, v, w имеют тот же смысл. Поэтому достаточно проверить, что (uv)w=u(vw) для любых одночленов и, v, w, т.е. доказать ассоциативность умножения одночленов. Для одночленов ахⁿ, bх^т, cx^p имеем:

(axⁿ·bx^m)·cx^p=abx^n+m·cx^p=(ab)cx^n+m+p,

ax^n·(bx^m·cx^p) =ax^n·bcx^m+p=a(bc)x^n+m+p.

Так как (аb)с=а(bс), то

(ахⁿ ·bx^m)·cx^p=ax^n··(bx^m·cx^p),

что и требовалось доказать.

8°. Существование единицы. Единицей (нейтральным элементом по отношению к умножению) в кольце К[х] является единица кольца К. В самом деле, из определения умножения многочленов ясно, что 1·f(x) =f(x) для любого многочлена f(x). В частности, 1·х^к=х^к . Поэтому в записи многочлена обычно опускают коэффициенты, равные единице.

9° Отсутствие делителей нуля. Пусть даны два ненулевых многочлена:

f(x) = а₀ + а₁х + а₂х² + ...+ а_пхⁿ,

g(x) = b₀+b_lx + b₂x² + ... + b_mx^m.

Необходимо доказать, что их произведение также равно нулю.

Поскольку

f(x)g(x) =a₀b₀+(a₀b₁ +a_Ib₀)x+...+ (a_n-1b_m+a_nb_m._–1)x^n+m-1+a_nb_mx^n+m,

то коэффициент многочлена f(x)g(x) при х^п+т равен a_nb_m.. Так как в кольце К нет делителей нуля, то а_пb_т≠0 и, значит, f(x)g(x) ≠ 0.

Из этих рассуждений  следует также, что

ст. f(x)g(x) = ст. f(х)+ст. g(x). (12)

Эта формула является уточнением неравенства (11) для случая, когда в кольце К нет делителей нуля, (формула (12) справедлива и тогда, когда один из многочленов f(x), g(x) или они оба равны нулю, если считать, что –∞ + п = –∞ для любого п).

Свойства 6°-9° означают, что кольцо К[х] является областью целостности. Таким образом, доказана следующая теорема:

Теорема l. Кольцо многочленов над областью целостности само

является областью целостности.

1.1.6 Деление с остатком на двучлен х–x_о.

 В кольце многочленов деление в обычном смысле слова невозможно. Например, в кольце R[x] многочлен х² нельзя разделить на х+1, т.е. не существует такого многочлена g(x), что x²=g(x)(x+1) (если бы такой многочлен существовал, то при х = –1 получилось бы невозможное равенство 1=g(–1)·0). Однако во многих случаях выполнимо деление с остатком.

Теорема 2. Пусть f(x) - многочлен с коэффициентами из кольца К. Для любого х₀ ℮ К многочлен f(x) можно единственным образом представить в виде f(x)=g(x)(x-x₀)+c, (14)

где g(x) ℮ К[х],с ℮ К; при этом с = f(х₀).

Доказательство Если f(х) = а ℮ К, то можно взять g(x)=0, c=a, это единственная возможность. Пусть теперь ст. f(x) =n>0. Разложим многочлен f(x) по убывающим степеням х:

f(x) =^:a₀xⁿ+a₁x^n-1+a₂x^n-2+... +a_n-1x+a

 Если представление f(x) в виде (14) возможно, то ст. g(x)=n–1. Запишем g(x) с неопределенными коэффициентами:

g(x) =b_ox^n-1+b₁x^n-2 +...+ b_n-2x+b_n-1

Подставляя выражения для f(х) и g(x) в (14), получается:

a_oxⁿ+a₁x^n-1+a₂x^n-2+...+a_n-1x+a_n= b₀xⁿ+ (b₁–x₀b₀)x^n-1+(b₂–x₀b₁)x^n-2+...+(b_n-1–x_ob_n-2)x+(c–x_ob_n-1),

откуда, в силу определения  равенства двух многочленов,

b_о=а_о b₁=a₁+x_ob_o, b₂=a₂+x₀b₁ b_n-1 =a_n-1+x_ob_n-2 с=а_п+x_оb_n-1……………(15)

Эти формулы позволяют последовательно  находить b₀,b₁ ,b₂ ,..., b_n-1. и с.

Проведенное рассуждение доказывает, что многочлен g(x) и элемент с,

удовлетворяющие соотношению (14), существуют и определены однозначно.

Для доказательства того, что c=f(x₀), надо вычислить, пользуясь равенством (14), значение многочлена f(x) в точке х₀. Поскольку первое слагаемое в правой части обращается в нуль, то f(x_o)=c. Теорема доказана.

Элемент х₀ кольца К называется корнем многочлена f(x) e К[х], если f(x_o)=0. Из теоремы 2 получается следующее следствие:

 Следствие (Теорема Безу). Многочлен f(x) делится на х–х_о в кольце К[х] тогда и только тогда, когда х₀ – его корень.

Действительно,f(x) делится на х–х₀ тогда и только тогда, когда в равенстве (14) с=0, но так как c=f(x₀), то условие с=0 равносильно тому, что х₀ – корень многочлена f(x).

Нахождение многочлена g(x) и элемента с, удовлетворяющих соотношению (14), называется делением с остатком многочлена f(x) на х-х₀. При этом g(x) называется неполным частным, а с – остатком.. Формулы (15) дают практический способ деления с остатком многочлена f(x) на х–х_о.

Вычисления удобно располагать  по следующей схеме, называемой схемой Горнера :

	aо	a1	а2	…	an-i	an
xо	bо	bi	b2	…	bn-i	bn

Элементы нижней строки вычисляются последовательно по формулам (15): b_о=а₀ , а каждый последующий элемент сумме элемента, находящегося над ним, и предыдущего элемента нижней строки, умноженного на х₀. Так как c=f(x_o), то этой схемой можно пользоваться и для вычисления значения многочлена в точке x_о.

1 2 КОРНИ МНОГОЧЛЕНА

Определение. Корнем многочлена f(x) из Р[х] называется такое значение а неизвестного х, при котором значение многочлена равно нулю: f(a)=0.

Теорема. Число корней многочлена f(x) из Р[х] не превосходит степени многочлена, если даже считать каждый корень столько раз, какова его кратность.

Кратные корни. Пусть f (x) — многочлен с коэффициентами из поля Р и х₀ — его корень. Согласно теореме Безу , многочлен f(x) делится на х-х₀. Может случиться, что f(x) делится не только на х-х₀, но и на (х-х₀)² или даже на более вы- высокую степень х-х₀. Наибольшее целое число k такое, что f(x) делится на (х-х₀)^k к, называется кратностью корня х₀ многочлена f(х). Иначе говоря, кратность корня х₀ равна k, если f(х). делится на (х-х_о)^k , но не делится на (х-х_о)^k+1. Если k > 1, то говорят что х₀ - кратный корень; если k = 1, то х₀ называется простым корнем многочлена f(x).

Удобно считать, что  приведенное выше определение кратности  корня применимо и для k= 0. В таком случае корень кратности 0 — это элемент поля Р, вообще не являющийся корнем многочлена f(x).

 

1.3 ТЕОРИЯ ДЕЛИМОСТИ В КОЛЬЦЕ МНОГОЧЛЕНОВ. РАЗЛОЖЕНИЕ НА НЕПРИВОДИМЫЕ МНОЖИТЕЛИ

1.3.1 Основная теорема.

 Как и во всяком  кольце главных идеалов, в кольце Р[х] многочленов над полем Р каждый необратимый элемент может быть разложен на простые множители, причем это разложение единственно с точностью до перестановки множителей и замены их ассоциированными элементами .

Ненулевой элемент области целостности  называется простым, если он необратим и не может быть разложен в произведение двух необратимых элементов. Простые элементы кольца Р[х] называются неприводимыми многочленами. Поскольку необратимые элементы кольца Р[х], отличные от нуля,–это многочлены положительной степени, то неприводимый многочлен–это такой многочлен положительной степени, который не может быть разложен в произведение двух многочленов положительной степени. (Многочлен, который может быть разложен в произведение двух многочленов положительной степени, называется приводимым). Можно также сказать, что неприводимый многочлен — это такой многочлен положительной степени, который не может быть разложен в произведение двух многочленов меньшей степени. В самом деле, если в разложении f = gh оба множителя g, h имеют положительную степень, то каждый из них имеет степень, меньшую, чем степень f, и обратно.

Учитывая это определение и  смысл понятия «ассоциированность»  для многочленов, приходим к следующей  теореме.

Теорема 1. Всякий многочлен f ℮Р [х], не являющийся элементом поля Р, может быть разложен в произведение неприводимых многочленов:

f = р₁р₂...р_т,                                                                                                 (1)

причем eслu f=q₁q₂...q_l – другое такое разложение, то l= т и при подходящей нумерации множителей имеют место paвeнcтво

q_i=c_ip_x(i = 1,2,…,m), где с_i ℮Р,с≠0.

Если вынести за скобки старшие  коэффициенты всех неприводимых множителей какого-либо разложения многочлена f ℮P[x], то многочлен f представится в виде

f= ар₁р₂...р_т(а ℮Р,а≠0),                                                                             (2)

где p₁,p₂..._,p_m– нормированные неприводимые многочлены. Такое представление многочлена f будем называется его нормированным разложением на неприводимые множители.

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

 

1.3.2. Кратность неприводимого делителя.

Пусть р — какой-нибудь (неприводимый делитель многочлена f ℮P[x]. Может случиться, что f делится не только на р, но и на р² или даже на более высокую степень p. Наибольшее из таких чисел к, что f делится на р^к, называется кратностью неприводимого делителя р многочлена f Иными словами, кратность равна к, если f делится на р^к, но не делится на р^k+1. Если р – неприводимый многочлен, не являющийся делителем многочлена f то удобно считать, что р – неприводимый делитель кратности 0.

Сравнивая определение кратности  неприводимого делителя с определением кратности корня, можно увидеть, что кратность корня х₀ многочлена f ℮Р[х]есть не что иное, как кратность неприводимого делителя х–х₀ этого многочлена. (Многочлен х–х₀, очевидно, неприводим, так как не может быть разложен в произведение двух многочленов положительной степени.)

Теорема 2. Кратность неприводимого делителя р многочлена f равна числу множителей, ассоциированных с р, в любом разложении многочлена f на неприводимые множители.

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

Доказательство. Пусть р – неприводимый делитель кратности к многочлена f Тогда

f = p^к f₁, (3)

где f₁ не делится на р. Разложим многочлен f₁ на неприводимые множители:

f₁ = q₁q₂…q_l.

В этом разложении не будет  множителей, ассоциированных с р. Для многочлена f получится тогда разложение на неприводимые множители:

f = P^kq₁q₂…q_l

в котором будет ровно к множителей, ассоциированных с р. В силу теоремы 2 столько же множителей, ассоциированных с р, будет в любом разложении многочлена f на неприводимые множители.

(Если ст. f₁ = 0, то равенство (3) уже дает разложение многочлена f на неприводимые множители и в нем имеется ровно к множителей, ассоциированных с р.)

1.3.3. Неприводимые многочлены.

Неприводимые  многочлены играют роль, аналогичную роли простых чисел в арифметике. Естественно поставить вопрос: какие же существуют неприводимые многочлены? Ответ на этот вопрос зависит от поля Р.

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

По теореме Безу многочлен, имеющий корень х₀, делится на х–х₀.

Степень частного при  этом будет на единицу меньше степени  самого многочлена. Поэтому всякий многочлен степени ≥ 2, имеющий корень в поле Р, приводим.

В общем случае только часть неприводимых множителей в  разложении многочлена f будет первой степени (или же таких множителей не будет вовсе). Из теоремы 2 следует, что множитель х–х₀ присутствует в нормированном разложении многочлена f на неприводимые множители тогда и только тогда, когда х₀ – корень многочлена f; при этом кратность множителя х – х₀ равна кратности корня х₀ . Таким образом, число множителей первой степени в разложении многочлена f на неприводимые множители равно числу его корней (с учетом кратностей).

Какие же все-таки существуют неприводимые многочлены, кроме многочленов  первой степени? Для выяснения этого  вопроса необходимо сопоставить прежде всего следующие два свойства многочлена f ℮ Р[х]:

(I)f приводим;

(II)f имеет корень (в поле Р).

 Выше уже отмечалось, что из (II) следует (I). Обратное, вообще говоря, неверно. Например, многочлен х⁴ + 2х² + 1 = (х² + 1)² приводим в кольце R[x], но, очевидно, не имеет действительных корней. Однако для многочленов степеней 2 и 3 из (I) следует (II), потому что если такой многочлен f разлагается в произведение двух многочленов положительной степени, то один из них непременно должен быть первой степени и, значит, многочлен f имеет корень. Таким образом, многочлен степени 2 или 3 неприводим тогда и только тогда, когда он не имеет корней (в поле Р).

Например, в кольце R[x] неприводим многочлен х² + 1 и вообще всякий многочлен второй степени, не имеющий действительных корней. В кольце Q[x] неприводим, например, многочлен х³–2, поскольку единственный действительный корень этого многочлена иррационален.

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

 

Глава 2.МНОГОЧЛЕНЫ НАД ПОЛЯМИ КОМПЛЕКСНЫХ, ДЕЙСТВИТЕЛЬНЫХ И РАЦИОНАЛЬНЫХ ЧИСЕЛ

2.1. МНОГОЧЛЕНЫ НАД ПОЛЕМ КОМПЛЕКСНЫХ ЧИСЕЛ

2.1.1.Формулировка основной теоремы.

 Необходимость рассмотрения комплексных чисел связана с тем, что уравнение х² + 1 = 0 не имеет корней в поле действительных чисел. Можно было бы ожидать, что какие-то другие алгебраические уравнения с действительными (и тем более с комплексными) коэффициентами не имеют корней и в поле комплексных чисел. Однако это не так. Справедлива следующая теорема:

Теорема 1. Всякое алгебраическое уравнение положительной степени с числовыми коэффициентами * имеет корень в поле комплексных чисел. Впервые доказанная в 1799 г. великим немецким математиком Гауссом, эта теорема известна как «основная теорема алгебры». Необходимо отметить, однако, что это название теоремы, несмотря „на ее важность для всех разделов алгебры, связанных с числами, все же не может в настоящее время пониматься буквально, так как современная алгебра не ограничивается изучением операций над числами. Существует много доказательств «основной теоремы алгебры», причем ни одно из них не является в полной мере алгебраическим. Это связано с тем, что в самой конструкции поля действительных чисел и тем самым поля комплексных чисел заложены неалгебраические элементы. Доказательство основной теоремы. Рассмотрим уравнение