Определение. Если каждый из двух многочленов делится без остатка на третий,
то он называется общим делителем первых двух.
Наибольшим общим делителем (НОД) двух многочленов называется их общий
делитель наивысшей степени.
Определение. Если многочлен делится на каждый из двух многочленов, то он
называется общим кратным этих двух многочленов.
Наименьшим общим кратным (НОК) двух многочленов называется их общее
кратное наименьшей степени.
НОД и НОК можно находить с помощью разложения на неприводимые
множители.
НОД будет равен произведению всех неприводимых многочленов, входящих в
разложения этих многочленов, причем в наименьшей степени,
НОК будет равен произведению всех неприводимых многочленов, входящих в
разложения этих многочленов, причем в наибольшей степени
Пример 1 Найти НОД и НОК многочленов и .
Решение. Разложим оба многочлена на множители:
Из разложения видно, что искомым НОДом будет многочлен (х– 1), а НОК – многочлен (x-1)(x+1)(x2+x+1)
Пример 2 Найти НОД и НОК многочленов и .
Решение. Разложим оба многочлена на множители.
Для многочлена возможными рациональными корнями будут
числа1,2,3 и6. С помощью подстановки убеждаемся, что х= 1 является корнем. Разделим многочлен на (х– 1) по схеме Горнера.
1 –6 11 –6
1 1 1 – 6 = –5 –5 + 11 = 6 6–6=0
Следовательно, , где разложение квадратного трехчлена было произведено по теореме Виета.
Для многочлена возможными рациональными корнями будут
числа1,2,3 и6. С помощью подстановки убеждаемся, что х= 1 является корнем. Разделим многочлен на (х– 1) по схеме Горнера.
1 0 –7 6
1 1 1 – 0 = 1 1 – 7 = –6 –6 + 6 = 0
Следовательно, , где разложение
квадратного трехчлена было произведено по теореме Виета.
Сравнив разложение многочленов на множители, находим, что искомым НОД
будет многочлен (х– 1)(х– 2), а НОК будет многочлен (x-1)(x-2)(x-3)(x-4)
Аналогично можно находить и НОД для нескольких многочленов.
Тем не менее, метод нахождения НОД путем разложения на множители доступен
не всегда. Способ, позволяющий находить НОД для всех случаев, называется алгоритмом Евклида.
Схема алгоритма Евклида такова. Один из двух многочленов делят на другой,
степень которого не выше степени первого. Далее, за делимое всякий раз берут тот многочлен, который служил в предшествующей операции делителем, а за делитель берут остаток, полученный при той же операции. Этот процесс прекращается, как только остаток окажется равным нулю. Покажем этот алгоритм на примерах. Алгоритм Евклида. Пусть даны многочлены f(x) и g(x), степень f(х)≥степени g(x). Делим f(x) на g(x), получаем остаток r1(x). Делим g(x) на r1(x), получаем остаток r2(x). Делим r1(x) на r2(x). Так продолжаем деление до тех пор, пока не совершится деление нацело. Тот остаток rk(x), на который нацело делится предыдущий остаток rk-1(x), и будет наибольшим общим делителем многочленов f(x) и g(x).
Сделаем следующее замечание, полезное при решении примеров.
Применяя алгоритм Евклида к многочленам для нахождения НОД, мы можем, чтобы избежать дробных коэффициентов, умножить делимое или сократить делитель на любое не равное нулю число, причем, не только начиная какое-либо из последовательных делений, но и в процессе самого этого деления. Это будет приводить к искажению частного, но интересующие нас остатки будут приобретать лишь некоторый множитель нулевой степени, что, как мы знаем, допускается при разыскивании делителей.
Пример 3. Найти НОД многочленов f(x)=x3–x2–5x–3,
g(x)=x2+x–12. Делим f(x) на g(x):
Первый остаток r1(x) после сокращения на 9 будет х–3. Делим g(x)
на r1(x):
Деление произошло нацело. Следовательно, r1(x)=х–3 есть НОД
многочленов x3–x2–5x–3 и x2+x–12.
Пример 4. Найти НОД многочленов f(x)=3x3+2x2–4x–1,
g(x)=5x3–3x2+2x–4. Умножаем f(x) на 5 и делим 5f(x) на g(x): Первый остаток r1(x) будет 19х2–26х+7. Делим g(x) на первый остаток, предварительно умножив g(x) на 19:
Умножаем на 19 и продолжаем деление:
Сокращаем на 1955 и получаем второй остаток r2(x)=х-1. Делим
r1(x) на r2(x):
Деление совершилось нацело, следовательно, r2(x)=х-1 есть НОД
многочленов f(x) и g(x).
Теорема 1. Для многочленов f(x) и g(x) их НОК равно
произведению этих многочленов, деленных на НОД этих 𝑓(𝑥)𝑔(𝑥) многочленов, то есть НОК(f(x), g(x)) = НОД (𝑓(𝑥),𝑔(𝑥))