Даны

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

Множество общих делителей не пустое, так как будет общим делителем любых многочленов.

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

Существует ли для любых двух многочленов НОД, если существует, то однозначен или нет, как их находить? Ответ на эти вопросы – алгоритм Евклида.

Даны .

Сравним степени n и m. Многочлен большей степени делим на многочлен меньшей степени. Если их степени равны, то неважно, какой многочлен, на какой делить. По теореме о делении с остатком такие, что .

Если то процесс останавливается.

Если то делим на .

ст. < ст. <

делим на

, ст. < ст. <

Процесс деления конечен

Доказательство:

, - общий делитель.

(из последнего)

(из предпоследнего)

и т. д.

, - общий делитель.

Покажем, что - НОД

Пусть - общий делитель многочленов и

Из (1)

Из (2)

...

- НОД и .

Свойства НОД

1. НОД двух многочленов находится однозначно с точностью до числового множителя. (1)

Доказательство:

– общий делитель.

- общий делитель.

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

НОД и среди всех брать тот, у которого старший коэффициент равен 1 (нормированные).

Замечание: Учитывая свойство (1) при нахождении НОД с помощью алгоритма Евклида многочлены , , , , …, можно заменять другими многочленами, отличными числовыми множителями.

«Теорема о линейном представлении НОД двух многочленов»

Если , то

Над P: 1)

2) ст

ст

Доказательство:

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

из получаем

,

Из 2 равенства:

,

и т.д.

Из предпоследнего:

подставим, сгруппируем и получим:

На практике будем находить , начиная с конца. При этом допускать умножения на числа нельзя.

Докажем, что ст.

ст.

Пусть - одна из пар, удовлетворяет теореме

.

Пусть ст. , разделим по теореме о делении с остатком . Найдем часть .

ст.

подставим

Покажем, что степень многочлена ст.

Если бы степень этого многочлена была ст. , тогда степень пр-я на этот многочлен была бы .

ст.

ст. ,

d – делитель.

ст.

ст.

получаем противоречие

ст.

Через возьмем , а через .

Получим ,

где ст. , а ст. .