5. Разложение многочленов над полем r в произведение неприводимых множителей

Уравнения с действительными коэффициентами являются распространенным частным случаем алгебраических уравнений с комплексными коэффициентами. Так поле R – подполе поля С, то все результаты пункта 4 остаются в силе и для многочленов над полем R, т.е. всякий многочлен n- степени с действительными коэффициентами имеет ровно n комплексных корней. Но иногда особый интерес представляют именно действительные корни уравнений с действительными коэффициентами. Конечно, уравнения с действительными коэффициентами вообще могут не иметь действительных корней, например, уравнение .

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

Теорема 8. Если комплексное число является корнем многочлена с действительными коэффициентами

, (19)

то сопряженное комплексное число тоже является корнем этого многочлена.

□ Вычислим и отметим в этом числе действительную и мнимую части

т.к. – корень , то , отсюда .

Найти аналогично . Так как все коэффициенты многочлена – действительные числа, то и поэтому

(20)

Сравнивая (19) и (20), видим, что можно получить из всех чисел, заменой их на сопряженное. Т.к. над этими числами выполняются только операции сложения и умножения, то на основании свойств комплексно сопряженных чисел, и является сопряженными комплексными числами, т.е. . Но так как , то . ■

Теорема 9. Если комплексное число является корнем к – й кратности многочлена с действительными коэффициентами, то сопряженное комплексное число также является корнем той же кратности многочлена .

□ Так как – корень кратности к многочлена , то

(21)

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

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

Теорема 10. Каждый многочлен с действительными коэффициентами, степень которого превышает 2, приводим над полем R.

□ Пусть – некоторый корень многочлена . Возможны два случая.

а) – действительное число. Тогда по теореме Безу в поле R справедливо представление , причем и степень . В этом случае теорема справедлива: приводим над R.

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

А это значит, что .

Учитывая, что и – действительные числа, видим, что делится на многочлен второй степени с действительными коэффициентами. Т.к. – многочлен степени выше второй, то степень Т.о., многочлен является приводимым над R. ■

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

Это утверждение непосредственно вытекает из теорем 7 и 10.

Пример 1. Многочлен не имеет ни одного действительного корня. Его корнями являются попарно сопряженные комплексные числа.

Значит

– разложение над полем С.

А разложение над R имеет вид: