Или, строго, - конечная формальная сумма вида
∑ I c I x 1 i 1 x 2 i 2 ⋯ x n i n {\displaystyle \sum _{I}c_{I}x_{1}^{i_{1}}x_{2}^{i_{2}}\cdots x_{n}^{i_{n}}} , гдеВ частности, многочлен от одной переменной есть конечная формальная сумма вида
c 0 + c 1 x 1 + ⋯ + c m x m {\displaystyle c_{0}+c_{1}x^{1}+\dots +c_{m}x^{m}} , гдеС помощью многочлена выводятся понятия «алгебраическое уравнение » и «алгебраическая функция ».
Изучение и применение [ | ]
Изучение полиномиальных уравнений и их решений составляло едва ли не главный объект «классической алгебры».
С изучением многочленов связан целый ряд преобразований в математике: введение в рассмотрение нуля , отрицательных , а затем и комплексных чисел , а также появление теории групп как раздела математики и выделение классов специальных функций в анализе.
Техническая простота вычислений, связанных с многочленами, по сравнению с более сложными классами функций, а также тот факт, что множество многочленов плотно в пространстве непрерывных функций на компактных подмножествах евклидова пространства (см. аппроксимационная теорема Вейерштрасса), способствовали развитию методов разложения в ряды и полиномиальной интерполяции в математическом анализе .
Многочлены также играют ключевую роль в алгебраической геометрии , объектом которой являются множества, определённые как решения систем многочленов.
Особые свойства преобразования коэффициентов при умножении многочленов используются в алгебраической геометрии, алгебре , теории узлов и других разделах математики для кодирования или выражения многочленами свойств различных объектов.
Связанные определения [ | ]
- Многочлен вида c x 1 i 1 x 2 i 2 ⋯ x n i n {\displaystyle cx_{1}^{i_{1}}x_{2}^{i_{2}}\cdots x_{n}^{i_{n}}} называется одночленом или мономом мультииндекса I = (i 1 , … , i n) {\displaystyle I=(i_{1},\dots ,\,i_{n})} .
- Одночлен, соответствующий мультииндексу I = (0 , … , 0) {\displaystyle I=(0,\dots ,\,0)} называется свободным членом .
- Полной степенью (ненулевого) одночлена c I x 1 i 1 x 2 i 2 ⋯ x n i n {\displaystyle c_{I}x_{1}^{i_{1}}x_{2}^{i_{2}}\cdots x_{n}^{i_{n}}} называется целое число | I | = i 1 + i 2 + ⋯ + i n {\displaystyle |I|=i_{1}+i_{2}+\dots +i_{n}} .
- Множество мультииндексов I , для которых коэффициенты c I {\displaystyle c_{I}} ненулевые, называется носителем многочлена , а его выпуклая оболочка - многогранником Ньютона .
- Степенью многочлена называется максимальная из степеней его одночленов. Степень тождественного нуля доопределяется значением − ∞ {\displaystyle -\infty } .
- Многочлен, являющийся суммой двух мономов, называется двучленом или биномом ,
- Многочлен, являющийся суммой трёх мономов, называется трёхчленом .
- Коэффициенты многочлена обычно берутся из определённого коммутативного кольца R {\displaystyle R} (чаще всего поля , например, поля вещественных или комплексных чисел). В этом случае, относительно операций сложения и умножения многочлены образуют кольцо (более того ассоциативно-коммутативную алгебру над кольцом R {\displaystyle R} без делителей нуля) которое обозначается R [ x 1 , x 2 , … , x n ] . {\displaystyle R.}
- Для многочлена p (x) {\displaystyle p(x)} одной переменной, решение уравнения p (x) = 0 {\displaystyle p(x)=0} называется его корнем .
Полиномиальные функции [ | ]
Пусть A {\displaystyle A} есть алгебра над кольцом R {\displaystyle R} . Произвольный многочлен p (x) ∈ R [ x 1 , x 2 , … , x n ] {\displaystyle p(x)\in R} определяет полиномиальную функцию
p R: A → A {\displaystyle p_{R}:A\to A} .Чаще всего рассматривают случай A = R {\displaystyle A=R} .
В случае, если R {\displaystyle R} есть поле вещественных или комплексных чисел (а также любое другое поле с бесконечным числом элементов), функция f p: R n → R {\displaystyle f_{p}:R^{n}\to R} полностью определяет многочлен p. Однако в общем случае это неверно, например: многочлены p 1 (x) ≡ x {\displaystyle p_{1}(x)\equiv x} и p 2 (x) ≡ x 2 {\displaystyle p_{2}(x)\equiv x^{2}} из Z 2 [ x ] {\displaystyle \mathbb {Z} _{2}[x]} определяют тождественно равные функции Z 2 → Z 2 {\displaystyle \mathbb {Z} _{2}\to \mathbb {Z} _{2}} .
Полиномиальная функция одного действительного переменного называется целой рациональной функцией .
Виды многочленов [ | ]
Свойства [ | ]
Делимость [ | ]
Роль неприводимых многочленов в кольце многочленов сходна с ролью простых чисел в кольце целых чисел . Например, верна теорема: если произведение многочленов p q {\displaystyle pq} делится на неприводимый многочлен , то p или q делится на λ {\displaystyle \lambda } . Каждый многочлен, степени большей нуля, разлагается в данном поле в произведение неприводимых множителей единственным образом (с точностью до множителей нулевой степени).
Например, многочлен x 4 − 2 {\displaystyle x^{4}-2} , неприводимый в поле рациональных чисел, разлагается на три множителя в поле вещественных чисел и на четыре множителя в поле комплексных чисел.
Вообще, каждый многочлен от одного переменного x {\displaystyle x} разлагается в поле вещественных чисел на множители первой и второй степени, в поле комплексных чисел - на множители первой степени (основная теорема алгебры).
Для двух и большего числа переменных этого уже нельзя утверждать. Над любым полем для любого n > 2 {\displaystyle n>2} существуют многочлены от n {\displaystyle n} переменных, неприводимые в любом расширении этого поля. Такие многочлены называются абсолютно неприводимыми.
полином, выражение вида
Axkyl┘..wm + Bxnyp┘..wq + ┘┘ + Dxrts┘..wt,
где х, у, ..., w ≈ переменные, а А, В, ..., D (коэффициенты М.) и k, l, ..., t (показатели степеней ≈ целые неотрицательные числа) ≈ постоянные. Отдельные слагаемые вида Ахkyl┘..wmназываются членами М. Порядок членов, а также порядок множителей в каждом члене можно менять произвольно; точно так же можно вводить или опускать члены с нулевыми коэффициентами, а в каждом отдельном члене ≈ степени с нулевыми показателями. В случае, когда М. имеет один, два или три члена, его называют одночленом, двучленом или трёхчленом. Два члена М. называются подобными, если в них показатели степеней при одинаковых переменных попарно равны. Подобные между собой члены
А"хkyl┘..wm, B"xkyl┘..wm, ┘.., D"xkyl┘..wm
можно заменить одним (приведение подобных членов). Два М. называются равными, если после приведения подобных все члены с отличными от нуля коэффициентами оказываются попарно одинаковыми (но, может быть, записанными в разном порядке), а также если все коэффициенты этих М. оказываются равными нулю. В последнем случае М. называется тождественным нулём и обозначают знаком 0. М. от одного переменного х можно всегда записать в виде
P(x) = a0xn+ a1xn-1 + ... + an-1x+ an,
где a0, a1,..., an ≈ коэффициенты.
Сумму показателей степеней какого-либо члена М. называют степенью этого члена. Если М. не тождественный нуль, то среди членов с отличными от нуля коэффициентами (предполагается, что все подобные члены приведены) имеются один или несколько наибольшей степени; эту наибольшую степень называют степенью М. Тождественный нуль не имеет степени. М. нулевой степени сводится к одному члену А (постоянному, не равному нулю). Примеры: xyz + х + у + z есть многочлен третьей степени, 2x + у ≈ z + 1 есть многочлен первой степени (линейный М.), 5x2 ≈ 2x2 ≈ 3х2 не имеет степени, т. к. это тождественный нуль. М., все члены которого одинаковой степени, называется однородным М., или формой; формы первой, второй и третьей степеней называются линейными, квадратичными, кубичными, а по числу переменных (два, три) двоичными (бинарными), тройничными (тернарными) (например, x2 + y2 + z2 ≈ ху ≈ yz ≈ xz есть тройничная квадратичная форма).
Относительно коэффициентов М. предполагается, что они принадлежат определённому полю (см. Поле алгебраическое), например полю рациональных, действительных или комплексных чисел. Выполняя над М. действия сложения, вычитания и умножения на основании переместительного, сочетательного и распределительного законов, получают снова М. Таким образом, совокупность всех М. с коэффициентами из данного поля образует кольцо (см. Кольцо алгебраическое) ≈ кольцо многочленов над данным полем; это кольцо не имеет делителей нуля, т. е. произведение М., не равных 0, не может дать 0.
Если для двух многочленов Р(х) и Q(x) можно найти такой многочлен R(x), что Р = QR, то говорят, что Р делится на Q; Q называется делителем, a R ≈ частным. Если Р не делится на Q, то можно найти такие многочлены Р(х) и S(x), что Р = QR + S, причём степень S(x) меньше степени Q(x).
Посредством повторного применения этой операции можно находить наибольший общий делитель Р и Q, т. е. такой делитель Р и Q, который делится на любой общий делитель этих многочленов (см. Евклида алгоритм). М., который можно представить в виде произведения М. низших степеней с коэффициентами из данного поля, называется приводимым (в данном поле), в противном случае ≈ неприводимым. Неприводимые М. играют в кольце М. роль, сходную с простыми числами в теории целых чисел. Так, например, верна теорема: если произведение PQ делится на неприводимый многочлен R, a P на R не делится, то тогда Q должно делиться на R. Каждый М. степени, большей нуля, разлагается в данном поле в произведение неприводимых множителей единственным образом (с точностью до множителей нулевой степени). Например, многочлен x4 + 1, неприводимый в поле рациональных чисел, разлагается на два множителя
в поле действительных чисел и на четыре множителя ═в поле комплексных чисел. Вообще каждый М. от одного переменного х разлагается в поле действительных чисел на множители первой и второй степени, в поле комплексных чисел ≈ на множители первой степени (основная теорема алгебры). Для двух и большего числа переменных этого уже нельзя утверждать; например, многочлен x3 + yz2 + z3 неприводим в любом числовом поле.
Если переменным х, у, ..., w придать определённые числовые значения (например, действительные или комплексные), то М. также получит определённое числовое значение. Отсюда следует, что каждый М. можно рассматривать как функцию соответствующих переменных. Эта функция непрерывна и дифференцируема при любых значениях переменных; её можно характеризовать как целую рациональную функцию, т. е. функцию, получающуюся из переменных и некоторых постоянных (коэффициентов) посредством выполненных в определённом порядке действий сложения, вычитания и умножения. Целые рациональные функции входят в более широкий класс рациональных функций, где к перечисленным действиям присоединяется деление: любую рациональную функцию можно представить в виде частного двух М. Наконец, рациональные функции содержатся в классе алгебраических функций.
К числу важнейших свойств М. относится то, что любую непрерывную функцию можно с произвольно малой ошибкой заменить М. (теорема Вейерштрасса; точная её формулировка требует, чтобы данная функция была непрерывна на каком-либо ограниченном, замкнутом множестве точек, например на отрезке числовой оси). Этот факт, доказываемый средствами математического анализа, даёт возможность приближённо выражать М. любую связь между величинами, изучаемую в каком-либо вопросе естествознания и техники. Способы такого выражения исследуются в специальных разделах математики (см. Приближение и интерполирование функций, Наименьших квадратов метод).
В элементарной алгебре многочленом иногда называются такие алгебраические выражения, в которых последним действием является сложение или вычитание, например
Лит. : Курош А. Г., Курс высшей алгебры, 9 изд., М., 1968; Мишина А. П., Проскуряков И. В., Высшая алгебра, 2 изд., М., 1965.
После изучения одночленов переходим к многочленам. Данная статья расскажет о всех необходимых сведениях, необходимых для выполнения действий над ними. Мы определим многочлен с сопутствующими определениями члена многочлена, то есть свободный и подобный, рассмотрим многочлен стандартного вида, введем степень и научимся ее находить, поработаем с его коэффициентами.
Yandex.RTB R-A-339285-1
Многочлен и его члены – определения и примеры
Определение многочлена было надо еще в 7 классе после изучения одночленов. Рассмотрим его полное определение.
Определение 1
Многочленом считается сумма одночленов, причем сам одночлен – это частный случай многочлена.
Из определения следует, что примеры многочленов могут быть различными: 5 , 0 , − 1 , x , 5 · a · b 3 , x 2 · 0 , 6 · x · (− 2) · y 12 , - 2 13 · x · y 2 · 3 2 3 · x · x 3 · y · z и так далее. Из определения имеем, что 1 + x , a 2 + b 2 и выражение x 2 - 2 · x · y + 2 5 · x 2 + y 2 + 5 , 2 · y · x являются многочленами.
Рассмотрим еще определения.
Определение 2
Членами многочлена называются его составляющие одночлены.
Рассмотрим такой пример, где имеем многочлен 3 · x 4 − 2 · x · y + 3 − y 3 , состоящий из 4 членов: 3 · x 4 , − 2 · x · y , 3 и − y 3 . Такой одночлен можно считать многочленом, который состоит из одного члена.
Определение 3
Многочлены, которые имеют в своем составе 2 , 3 трехчлена имеют соответственное название – двучлен и трехчлен .
Отсюда следует, что выражение вида x + y – является двучленом, а выражение 2 · x 3 · q − q · x · x + 7 · b – трехчленом.
По школьной программе работали с линейным двучленом вида a · x + b , где а и b являются некоторыми числами, а х – переменной. Рассмотрим примеры линейных двучленов вида: x + 1 , x · 7 , 2 − 4 с примерами квадратных трехчленов x 2 + 3 · x − 5 и 2 5 · x 2 - 3 x + 11 .
Для преобразования и решения необходимо находить и приводить подобные слагаемые. Например, многочлен вида 1 + 5 · x − 3 + y + 2 · x имеет подобные слагаемые 1 и - 3 , 5 х и 2 х. Их подразделяют в особую группу под названием подобных членов многочлена.
Определение 4
Подобные члены многочлена – это подобные слагаемые, находящиеся в многочлене.
В примере, приведенном выше, имеем, что 1 и - 3 , 5 х и 2 х являются подобными членами многочлена или подобными слагаемыми. Для того, что бы упростить выражение, применяют нахождение и приведение подобных слагаемых.
Многочлен стандартного вида
У всех одночленов и многочленов имеются свои определенные названия.
Определение 5
Многочленом стандартного вида называют многочлен, у которого каждый входящий в него член имеет одночлен стандартного вида и не содержит подобных членов.
Из определения видно, что возможно приведение многочленов стандартного вида, например, 3 · x 2 − x · y + 1 и __formula__, причем запись в стандартном виде. Выражения 5 + 3 · x 2 − x 2 + 2 · x · z и 5 + 3 · x 2 − x 2 + 2 · x · z многочленами стандартного вида не является, так как первый из них имеет подобные слагаемые в виде 3 · x 2 и − x 2 , а второй содержит одночлен вида x · y 3 · x · z 2 , отличающийся от стандартного многочлена.
Если того требуют обстоятельства, иногда многочлен приводится к стандартному виду. Многочленом стандартного вида считается и понятие свободного члена многочлена.
Определение 6
Свободным членом многочлена является многочлен стандартного вида, не имеющий буквенной части.
Иначе говоря, когда запись многочлена в стандартном виде имеет число, его называют свободным членом. Тогда число 5 является свободным членом многочлена x 2 · z + 5 , а многочлен 7 · a + 4 · a · b + b 3 свободного члена не имеет.
Степень многочлена – как ее найти?
Определение самой степени многочлена базируется на определении многочлена стандартного вида и на степенях одночленов, которые являются его составляющими.
Определение 7
Степенью многочлена стандартного вида называют наибольшую из степеней, входящих в его запись.
Рассмотрим на примере. Степень многочлена 5 · x 3 − 4 равняется 3 , потому как одночлены, входящие в его состав, имеют степени 3 и 0 , а большее из них 3 соответственно. Определение степени из многочлена 4 · x 2 · y 3 − 5 · x 4 · y + 6 · x равняется наибольшему из чисел, то есть 2 + 3 = 5 , 4 + 1 = 5 и 1 , значит 5 .
Следует выяснить, каким образом находится сама степень.
Определение 8
Степень многочлена произвольного числа - это степень соответствующего ему многочлена в стандартном виде.
Когда многочлен записан не в стандартном виде, но нужно найти его степень, необходимо приведение к стандартному, после чего находить искомую степень.
Пример 1
Найти степень многочлена 3 · a 12 − 2 · a · b · c · a · c · b + y 2 · z 2 − 2 · a 12 − a 12 .
Решение
Для начала представим многочлен в стандартном виде. Получим выражение вида:
3 · a 12 − 2 · a · b · c · a · c · b + y 2 · z 2 − 2 · a 12 − a 12 = = (3 · a 12 − 2 · a 12 − a 12) − 2 · (a · a) · (b · b) · (c · c) + y 2 · z 2 = = − 2 · a 2 · b 2 · c 2 + y 2 · z 2
При получении многочлена стандартного вида получаем, что отчетливо выделяются два из них − 2 · a 2 · b 2 · c 2 и y 2 · z 2 . Для нахождения степеней посчитаем и получим, что 2 + 2 + 2 = 6 и 2 + 2 = 4 . Видно, что наибольшая из них равняется 6 . Из определения следует, что именно 6 является степенью многочлена − 2 · a 2 · b 2 · c 2 + y 2 · z 2 , следовательно и исходного значения.
Ответ : 6 .
Коэффициенты членов многочлена
Определение 9Когда все члены многочлена являются одночленами стандартного вида, то в таком случаем они имеют название коэффициентов членов многочлена. Иначе говоря, их можно называть коэффициентами многочлена.
При рассмотрении примера видно, что многочлен вида 2 · x − 0 , 5 · x · y + 3 · x + 7 имеет в своем составе 4 многочлена: 2 · x , − 0 , 5 · x · y , 3 · x и 7 с соответствующими их коэффициентами 2 , − 0 , 5 , 3 и 7 . Значит, 2 , − 0 , 5 , 3 и 7 считаются коэффициентами членов заданного многочлена вида 2 · x − 0 , 5 · x · y + 3 · x + 7 . При преобразовании важно обращать внимание на коэффициенты, стоящие перед переменными.
Если вы заметили ошибку в тексте, пожалуйста, выделите её и нажмите Ctrl+Enter
Понятие многочлена
Определение многочлена: многочлен - это сумма одночленов. Пример многочлена:
здесь мы видим сумму двух одночленов, а это и есть многочлен, т.е. сумма одночленов.
Слагаемые, из которых состоит многочлен, называются членами многочлена.
Является ли разность одночленов многочленом? Да, является, ведь разность легко приводится к сумме, пример: 5a – 2b = 5a + (-2b).
Одночлены тоже считают многочленами. Но в одночлене нет суммы, тогда почему его считают многочленом? А к нему можно прибавить ноль и получить его сумму с нулевым одночленом. Итак, одночлен - это частный случай многочлена, он состоит из одного члена.
Число ноль - это нулевой многочлен.
Стандартный вид многочлена
Что такое многочлен стандартного вида? Многочлен есть сумма одночленов и если все эти одночлены, составляющие многочлен, записаны в стандартном виде, кроме того среди них не должно быть подобных, тогда многочлен записан в стандартном виде.
Пример многочлена в стандартном виде:
здесь многочлен состоит из 2-х одночленов, каждый из которых имеет стандартный вид, среди одночленов нет подобных.
Теперь пример многочлена, который не имеет стандартный вид:
здесь два одночлена: 2a и 4a являются подобными. Надо их сложить, тогда многочлен получит стандартный вид:
Ещё пример:
Этот многочлен приведен к стандартному виду? Нет, у него второй член не записан в стандартом виде. Записав его в стандартном виде, получаем многочлен стандартного вида:
Степень многочлена
Что такое степень многочлена?
Степень многочлена определение:
Степень многочлена - наибольшая степень, которую имеют одночлены, составляющие данный многочлен стандартного вида.
Пример. Какова степень многочлена 5h? Степень многочлена 5h равна одному, ведь в этот многочлен входит всего один одночлен и степень его равна одному.
Другой пример. Какова степень многочлена 5a 2 h 3 s 4 +1? Степень многочлена 5a 2 h 3 s 4 + 1 равна девяти, ведь в этот многочлен входят два одночлена, наибольшую степень имеет первый одночлен 5a 2 h 3 s 4 , а его степень равна 9-ти.
Ещё пример. Какова степень многочлена 5? Степень многочлена 5 равна нулю. Итак, степень многочлена, состоящего только из числа, т.е. без букв, равна нулю.
Последний пример. Какова степень нулевого многочлена, т.е. нуля? Степень нулевого многочлена не определена.