II Международный конкурс научно-исследовательских и творческих работ учащихся

Старт в науке

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

• Авторы
• Руководители
• Файлы работы
• Наградные документы

Шабуневич Э.О. 1

---

1

Малков В.Н. 1

---

1

Работа в формате PDF

242.1 KB

Автор работы награжден дипломом победителя II степени

Диплом школьникаСвидетельство руководителя

Разложение многочлена пятой степени на квадратичные множители с помощью интерполяционного многочлена Лагранжа

1. Определение интерполяционного многочлена Лагранжа пятой степени.

Чтобы разложить приведенный многочлен пятой степени на множители необходимо выполнение равенства: f(x)=φ(x)·g(x). При этом степень многочленов φ(x) и g(x) должна быть не выше пятой.

Для определения целого многочлена не выше пятой степени с заданной таблицей значений существует формула интерполяционного многочлена Лагранжа (ИМЛ):

φ(x) = F(x)·_, где F(x)=(x-x₁)·(x-x₂)·(x-x₃)·(x-x₄)·(x-x₅)(x-x₆), Fʹ(x_k) значения производной функции F(x) в точках x_k.

Где необходимо задать на плоскости координаты шести точек.

Для определения множителей φ(x) и g(x) выберем произвольно шесть целых значений x= x₁; x₂; x₃; x₄; x₅; x₆ и станем подставлять их в равенство f(x)= φ(x)·g(x). Получим:

f(x₁)= φ(x₁)·g(x₁) ; f(x₂)= φ(x₂)·g(x₂); f(x₃)= φ(x₃)·g(x₃);

f(x₄)= φ(x₄)·g(x₄) ; f(x₅)=φ(x₅)·g(x₅); f(x₆)= φ(x₆)· g(x₆).

Эти равенства показывают, что каждое значение φ(x_k) искомого множителя φ(x) является делителем числа f(x_k).

Для построения множителя φ(x) воспользуемся ИМЛ и в качестве f(x_k) будем подставлять произвольные целые числа А_k, а значения x_k выберем в виде последовательных целых чисел близких к нулю, т.е.

x₁= -3; x₂= -2; x₃= -1; x₄=0; x₅=1; x₆=2.

В развернутом виде ИМЛ φ(x) выглядит так:

φ(x) = F(x)_, где F(x)=(x+3)·(x+2)·(x+1)·x·(x-1)·(x-2). (2).

Для построения множителя φ(x) с помощью ИМЛ необходимо задать числа А₁; А₂; А₃; А₄; А₅; А₆.

Определение: числа А₁; А₂; А₃; А₄; А₅; А₆ взятые из формулы ИМЛ записанные в ряд называются Лагранжевым рядом.

1. Разложение многочлена на линейные множителис помощью ИМЛ.

Теорема 1 (Обобщение схемы Горнера)

Многочлен φ(x) является линейным, если числа А₁; А₂; А₃; А₄; А₅; А₆ образуют возрастающую последовательность целых чисел.

Доказательство: приведем многочлен (2) к наименьшему общему знаменателю, т.е. к 120· F(x), получившийся числитель запишем в виде многочлена пятой степени у которого коэффициенты содержат числа А₁; А₂; А₃; А₄; А₅; А₆. Для того что бы многочлен (2) был линейным необходимо приравнять к нулю коэффициенты при «х» пятой, четвертой, третьей и второй степени, а коэффициент при «х» первой степени приравнять к 120. В результате получим следующую систему из пяти уравнений с шестью переменными:

-А₁+5·А₂-10·А₃+10·А₄-5·А₅+А₆=0

5·А₂-20·А₃+30·А₄-20·А₅+5·А₆=0

5·А₁-35·А₂+70·А₃-50·А₄+5·А₅+5·А₆=0

-5·А₂+80·А₃-150·А₄+80·А₄-5·А₆=0

-4·А₁+30·А₂-120·А₃+40·А₄+60·А₅-6·А₆=120.

Если зафиксировать число А₆ то все остальные выразятся следующими формулами: А₁=А₆-5; А₂=А₆-4; А₃=А₆-3; А₄=А₆-2; А₅=А₆-1.

Мы получили возрастающую последовательность целых чисел.

Из теоремы вытекает что линейный множитель имеет следующий вид: φ(x)=x+А₄ (3).

Определение: последовательность чисел заданных данными соотношениями А₁=А₆-5; А₂=А₆-4; А₃=А₆-3; А₄=А₆-2; А₅=А₆-1; А₆ называют линейным Лагранжевым рядом.

Определение: линейный Лагранжевый ряд называется «кандидатом» если все его числа А_k являются делителями соответствующих значений функции f(x_k), где k=1;2;3;4;5;6.

Для всех кандидатов строим линейный множитель φ(x) по формуле (3) и проверяем его на делимость с f(x).

Из теоремы вытекает что линейный множитель имеет следующий вид φ(x)=x+А₄ ,

где А₄ является делителем свободного члена т.е. f(0). Аналогично определяется линейный множитель приведенного многочлена по схеме Горнера.

Пример: f(x)= x⁵-8x⁴+2x³-16x²+x-8. По схеме Горнера найдем значение многочлена при х= -3; -2; -1; 0;1;2. Для этого составим таблицу 1:

Последний столбец таблицы 1 перепишем первой строкой таблицы 2. Выберем в этой строке число, имеющее наименьшее число делителей. В нашем примере это число -8. Запишем в столбик все его делители. Каждому делителю числа -8 запишем в строчку линейный Лагранжевый ряд. Из получившихся Лагранжевых рядов выберем «кандидатов». Построим с помощью «кандидатов» многочлен φ(x) по формуле (3) и проверим их на делимость с данным многочленом f(x)= x⁵-8x⁴+2x³-16x²+x-8.

Таблица 2:

В приведенной выше таблице 2 закрашены серым цветом прямоугольники, в которых находятся числа, не являющиеся делителями соответствующих значений функции f(x). В данной таблице находится строка или Лагранжевый ряд все числа, которого являются делителями соответствующих значений функции f(x). Этот ряд является единственным кандидатом. В этом ряде А₄= -8, подставляя в формулу φ(x)=x- А₄, находим φ(x)=x- 8.

Проверка:x⁵-8x⁴+2x³-16x²+x-8=(x-8)·(x⁴+2x²+1). Действительный кандидат выделим черным цветом.

1. Разложение многочленана квадратичные множители с помощью ИМЛ.

Теорема 2. Множитель φ(x) является квадратичным если числа А₁; А₂; А₃; А₄; А₅; А₆ связаны между собой следующими соотношениями:

А₁=5·(А₅+4)-4·А₆

А₂=4·(А₅+3)-3·А₆

А₃=3·(А₅+2)-2·А₆

А₄=2·(А₅+1)-1·А₆

Доказательство: Доказательство: приведем многочлен (1) к наименьшему общему знаменателю, т.е. к 120· F(x),получившийся числитель запишем в виде многочлена пятой степени у которого коэффициенты содержат числа А₁; А₂; А₃; А₄; А₅; А₆ . Для того что бы многочлен (1) был квадратичным необходимо приравнять к нулю коэффициенты при «х» пятой, четвертой и третьей степени, а коэффициент при «х» второй степени приравнять к 120. В результате получим следующую систему из четырех уравнений с шестью переменными:

-А₁+5·А₂-10·А₃+10·А₄-5·А₅+А₆=0

5·А₂-20·А₃+30·А₄-20·А₅+5·А₆=0

5·А₁-35·А₂+70·А₃-50·А₄+5·А₅+5·А₆=0

-5·А₂+80·А₃-150·А₄+80·А₅-5·А₆=120.

Если зафиксировать два числа А₅ и А₆ то все остальные выразятся следующими формулами:

А₁=5·(А₅+4)-4·А₆; А₂=4·(А₅+3)-3·А₆;

А₃=3·(А₅+2)-2·А₆; А₄=2·(А₅+1)-1·А₆.

Из теоремы вытекает, что квадратичный множитель выразится формулой φ(x)=x²+( А₆- А₅-3) ·x+ А₄. (4)

Определение: Последовательность целых чисел заданных следующими

соотношениями А₁=5·(А₅+4)-4·А₆ ; А₂=4·(А₅+3)-3·А₆ ; А₃=3·(А₅+2)-2·А₆ ; А₄=2·(А₅+1)-1·А₆ называется квадратичным Лагранжевым рядом

Определение: квадратичный Лагранжевый ряд называется «кандидатом» если все его числа А_k являются делителями соответствующих значений функции f(x_k), k=1;2;3;4;5;6.

Для всех кандидатов строим квадратичный множитель φ(x) по формуле (4) и проверяем его на делимость с f(x).

1. Упрощенный вид квадратичных Лагранжевых рядов.

Формулы квадратичного Лагранжевого ряда можно упростить. Для этого буквой «d» обозначим разность А₅- А₆, тогда числа квадратичного Лагранжевого ряда будут выглядеть более простыми формулами и удобными для их построения:

Пример: А₅=7; А₆=10 составить квадратичный Лагранжевый ряд.

Найдем d=7-10=-3, тогда по формулам таблицы найдем числа данного ряда:

Ответ: 15; 10; 7; 6; 7; 10.

Рассмотрим пример разложения приведенного многочлена пятой степени на множители: f(x)=x⁵-5x⁴+13x³-22x²+27x-20.

1. По схеме Горнера найдем значения функции при х=-3; -2;-1; 0;1;2. Для этого составим таблицу:

   	1	-5	13	-22	27	-20
   -3	1	-8	37	-133	426	-1298
   -2	1	-7	27	-76	179	-378
   -1	1	-6	19	-41	68	-88
   0	1	-5	13	-22	27	-20
   1	1	-4	9	-13	14	-6
   2	1	-3	7	-8	11	2

2. Определим, имеет ли данный многочлен, линейные множители. Для этого в строчку таблицы №3 запишем получившиеся значения функции. Из них выберем число, имеющее наименьшее число делителей. В нашем примере это число «2». Запишем в столбик все его целые делители. Для каждого делителя числа «2» в строчку запишем линейные Лагранжевые ряды. Из них выберем кандидатов и проверим на делимость с данным многочленом f(x).

Таблица №3:

В данной таблице №3 серым цветом отмечены клетки, в которых находятся числа, не являющиеся делителями соответствующих значений функции f(x). Пустые клетки заполнять нет необходимости, так как построенный квадратичный Лагранжевый ряд с числом в серой клетке заведомо не является «кандидатом». Из данной №3 таблицы видно, что «кандидатов» нет. Это значит что данный многочлен f(x)=x⁵-5x⁴+13x³-22x²+27x-20 на линейные множители не раскладывается.

1. Определим, имеет ли данный многочлен, квадратичные множители. Для этого в строчку таблицы №4 запишем получившиеся значения функции. Из них выберем два числа, имеющие наименьшее число делителей. В нашем примере это числа «2» и «-6» запишем их делители в столбики. Для каждой пары делителей чисел «2» и «-6» в строчку запишем квадратичные Лагранжевые ряды. Из них выберем кандидатов и проверим их на делимость с данным многочленом f(x).

Таблица №4:

В данной таблице №4 мы видим двух «кандидатов». С их помощью по формуле φ(x)=x²+( А₆- А₅-3) ·x+ А₄ найдем квадратные множители: φ₁(x)=x²-3х+ 4; φ₂(x)=x²+x-4.

Проверка показывает, что один из двух множителей является истинным это φ₁(x)=x²-3х+ 4, а другой множитель оказался посторонним.

Ответ: x⁵-5x⁴+13x³-22x²+27x-20=(x²-3х+ 4)·(x³-2x²+3x-5).

В данной таблице №4 получили 32 квадратичных Лагранжевых ряда. Это число определяется количеством различных пар делителей, как положительных, так и отрицательных, двух значений функции, которые расположены двумя столбиками по соседству.

1. Уменьшение числа квадратичных Лагранжевых рядов.

Если значения функции число делителей, которых минимально, расположены не по соседству, то можно воспользоваться следующей теоремой:

Теорема 3 Пустьизвестны А₄ и А₆ тогда А₅=(А₄+ А₆ ·1):2-1

Пустьизвестны А₃ и А₆ тогда А₅=(А₃+ А₆ ·2):3-2

Пустьизвестны А₂ и А₆ тогда А₅=(А₂+ А₆ ·3):4-3

Пустьизвестны А₁ и А₆ тогда А₅=(А₁+ А₆ ·4):5-4.

Доказательство: докажем последнее равенство А₅=(А₁+А₆·4):5-4. По определению квадратичных Лагранжевых чисел, А₁=5·(А₅+4)-4·А₆ подставим это число в исходное равенство получим А₅=(5·(А₅+4)-4·А₆+А₆·4):5-4=(5 ·А₅+20):5-4=А₅+4-4=А₅ что и требовалось доказать. Другие равенства доказываются аналогично.

Данная теорема позволяет уменьшить число квадратичных Лагранжевых рядов. Рассмотрим уже решенный нами примерf(x)=x⁵-5x⁴+13x³-22x²+27x-20

и решим его на случай когда мы рассматриваем квадратичные Лагранжевые ряды построенных с помощью делителей А₄ и А₆.

Таблица №5:

В данной таблице №5 мы получили 24 квадратичных Лагранжевых ряда. Так как в формуле сумму А₄ и А₆ необходимо делить на 2, поэтому делители А₄ и А₆ должны быть либо оба четными, либо оба нечетными. За счет этого уменьшилось число квадратичных Лагранжевых рядов. Если использовать данную теорему 3 для записи квадратичных Лагранжевых рядов, построенных с помощью А₁ и А₆, то число рядов уменьшится до 12.

Таблица №6:

В таблице №6 число квадратичных Лагранжевых рядов уменьшилось до 12, так как А₅ находится по формуле (4A₁+A₆):5-4 и А₅ как целое число должно быть меньше или равно -6. Во всех таблицах черная выделенная строка является «действительным кандидатом». Остальные кандидаты являются «мнимыми».

Для многочлена шестой степени можно доказать, что квадратичный множитель можно найти по формуле: φ(x)=x²+( А₇ - А₆ - 5) ·x+ А₄, где числа А₁; А₂; А₃; А₄; А₅; А₆; А₇ образуют квадратичный Лагранжевый ряд.

1. Выводы:

1. Данный метод разложения, использующий ИМЛ является обобщением «схемы Горнера».

2. Данным методом можно определить квадратичные множители для многочленов выше пятой степени.

3. Данным методом можно исследовать свойства Лагранжевых чисел для определения кубических многочленов в разложении многочленов пятой и выше степени.

1. Литература:

1. А. Н. Чеботарев «Основы теории Галуа», ОМТИ ГТТИ, 1934г., 1ч.

2. «Числа и многочлены», составитель А.А. Егоров – М.: бюро Квантум, 2000/ приложение к журналу «Квант» №6, 2000г.

12