КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Подільність многочленів
а) Ділення з остачею Для розгляду теорії подільності многочленів від однієї змінної цілісне кільце R, якому належать усі коефіцієнти многочленів, потрібно замінити полем Р, для того, щоб для довільного елемента існував обернений елемент , або щоб разом із довільними двома елементами , поля Р до цього ж поля належала і їх частка . Цілісне кільце многочленів від однієї змінної з коефіцієнтами із поля Р позначають тепер P[x]. Два різні многочлени із P[x], як правило, не діляться один на одного. Однак для P[x] можна побудувати теорію подільності, аналогічну теорії подільності цілих чисел, якщо операцію ділення многочленів в P[x] замінити більш загальною операцією ділення з остачею. Вважається, що многочлен ділиться з остачею на многочлен , якщо в P[x] існують такі многочлени s(x) та r(x), що , причому або r(x)=0, або deg r<deg g. Теорема (про ділення з остачею). Довільний многочлен f(x) з кільця P[x] однозначно ділиться з остачею на будь-який ненульовий многочлен з цього кільця. Доведення. Встановимо можливість ділення з остачею. Нехай Якщо f(x)=0, то s(x)=0 і r(x)=0. Якщо n=deg f<deg g=m, то s(x)=0 і r(x)=f(x). Нехай nm. Виконаємо доведення методом індукції за n. При n=0 отримаємо m=0, f(x)=a0, g(x)=b0≠0, тому s(x)=, r(x)=0. Ясно, що s(x)P[x], бо P (ось де потрібна була заміна R на Р, здійснена на початку параграфа). Припустимо, що теорема вірна для всіх многочленів f(x) степеня, меншого за n, і доведемо її для многочленів степеня n. Розглянемо многочлен р(х)=f(x)– Cтарші члени обох многочленів справа є рівними аnхn, тобто взаємно знищаться. Тому deg p(x) < n і, за припущенням індукції, p(x) ділиться з остачею на g(x): p(x)=g(x)·s1(x)+r1(x), де s1(x),r1(x) P[x], r1(x)=0 або deg r1<deg g.
Звідси f(x) - = g(x)·s1(x)+r1(x), тобто f(x)=g(x)·s(x)+r(x),
де r(x)=r1(x)P[x], s(x)=s1(x), причому r(x)=0 або deg r<deg g. Можливість ділення f(x) на g(x) з остачею доведена. Покажемо єдиність частки s(x) і остачі r(x). Припустимо, що можливі два варіанти: f(x)=g(x)∙s(x)+r(x), deg r<deg g; f(x)=g(x)∙s*(x)+r*(x), deg r*<deg g. Віднімемо рівності: g(x)[s(x) – s*(x)]=r*(x) – r(x). За умовою g(x)0. Якщо б r(x)r*(x), то й s(x)s*(x). Але тоді отримується суперечність, оскільки степінь правої частини менший степеня лівої частини. Отже, r(x)=r*(x). Але тоді і s(x)=s*(x). Таким чином, частка і остача єдині.▲
Наслідок. Кільце P[x] многочленів над полем Р є евклідовим. На практиці ділення многочленів здійснюють відомим способом „ ділення кутом ”, в основі якого лежить метод, використаний при доведенні теореми про ділення з остачею. Оскільки частка s(x) і остача r(x) визначаються однозначно, то для їх знаходження можна користуватися і методом невизначених коефіцієнтів, який ґрунтується на прирівнюванні коефіцієнтів при однакових степенях x в лівій і правій частині рівності f(x)=g(x)∙s(x)+r(x), де s(x) шукають у вигляді многочлена із невизначеними коефіцієнтами степеня n–m, а r(x) – степеня m-1. Приклад.
Поділити f(x) на g(x) і знайти s(x) та r(x): f(x)=x4-2x3+x-1, g(x)=x2-2. 1) Ділення кутом:
Отже, s(x)=x2–2x+2, r(x)= –3x+3.
2) Ділення методом невизначених коефіцієнтів: x4–2x3+x–1=(x2–2)(A2x2+A1x+A0)+(B1x+B0)
Отже, s(x)=x2–2x+2, r(x)= –3x+3.
б) Ділення многочлена на лінійний двочлен Розглянемо важливий випадок ділення многочлена f(x) на лінійний двочлен x–α. Скористаємось методом невизначених коефіцієнтів.
anxn+an-1xn-1+…+a1x+a0=(x–α)(An-1xn-1+An-2xn-2+…+A1x+A0)+r. Тут r = const, оскільки deg r(x)=m–1=1–1=0. Прирівнявши коефіцієнти в обох частинах, отримаємо:
an=An-1 An-1=an, an-1=An-2-αAn-1 An-2=an-1+αAn-1, - - - - - - - - - - - - - - - - - - - - - - - - - - - - a1=A0-αA1 A0=a1+αA1, a0=r-αA0 r=a0+αA0. Із отриманих формул випливає, що поділити многочлен на лінійний двочлен можна за певною схемою, яка називається схемою Горнера.
Отже, s(x)=x4+x3-2x2-x-3, r= -2.
многочлена f(x)P[x] на x-α дорівнює f(α). Дійсно, згідно формули ділення з остачею f(x)=(x-α)s(x)+r. Підставимо x=α. Отримаємо f(α)=r, що й треба довести.▲
За допомогою багаторазового ділення многочлена f(x) на лінійний двочлен x-α з допомогою схеми Горнера можна дістати розклад многочлена f(x) за степенями двочлена x-α, який часто використовується в алгебрі та математичному аналізі. f(x)=(x-α)f1(x)+r0, f1(x)=(x-α)f2(x)+r1, f2(x)=(x-α)f3(x)+r2, - - - - - - - - - - - - - fn-1(x)=(x-α)fn(x)+rn-1. Ясно, що fn(x) є многочленом нульового степеня. Позначимо fn(x)=rn. Виключивши послідовно всі fi(x), i=1, 2, …, n-1, отримаємо
f(x)=rn(x-α)n+rn-1(x-α)n-1+…+r1(x-α)+r0. Таким чином, отримаємо подання многочлена f(x) як многочлена від змінної y=x-α. Приклад.
Знайти розклад многочлена f(x)=x5-3x3+x2-2x+1 за степенями двочлена x-1. f(x)=(x-1)5+5(x-1)4+7(x-1)3+2(x-1)2-4(x-1)-2. в) Подільність многочленів Важливим для розгляду є випадок ділення многочленів “без остачі”, або, інакше, “націло”. Тоді говорять, що f(x) ділиться на g(x). Позначають: f(x)g(x).
Дата добавления: 2014-01-11; Просмотров: 3019; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |