1. Многочлены, или полиномы

Определение. Множество M элементов называется полем, если для этих элементов определены действия: сложение и умножение и выполняются свойства

относительно сложения:

1) коммутативность a+b=b+a;
2) ассоциативность (a+b)+c=a+(b+c);
3) существование нуля: \exists 0:\ \forall a\in M\quad a+0=a;
4) существование противоположного элемента: \forall a\ne0 \exists (-a): a+(-a)=0;

относительно умножения:

5) коммутативность ab=ba;

6) ассоциативность (ab)c=a(bc);
7) существование единицы \exists 1: \forall a\in M\quad 1\cdot a=a;
8 ) для любого ненулевого элемента существование обратного \exists a^{-1}:\forall a\ne0\ a\cdot a^{-1}=1.

относительно сложения и умножения:

9) дистрибутивность (распределительный закон) a(b+c)=ab+ac;
10) в поле должно существовать хотя бы два элемента 1\ne0.

Определение. Множество M элементов называется кольцом, если для всех его элементов определены операции сложения и умножения, и выполняются свойства:\\

относительно сложения:

1) коммутативность a+b=b+a;
2) ассоциативность (a+b)+c=a+(b+c);
3) существование нуля: \exists 0:\ \forall a\in M\quad a+0=a;
4) существование противоположного элемента: \forall a\ne0 \exists (-a): a+(-a)=0;
относительно сложения и умножения:

5) дистрибутивность (распределительный закон) a(b+c)=ab+ac – правосторонний распределительный закон.

5′) дистрибутивность (распределительный закон) (b+c)a=ba+ca – левосторонний распределительный закон.

Поскольку коммутативности умножения не требуется, то распределительных закона два.

Кольцо называется коммутативным, если есть коммутативность умножения, ассоциативным, если ассоциативность, унитарным (или кольцом с единицей), если в нем есть 1.

Определение. Многочленом (полиномом) называется выражение вида

a_0x^n+a_1x^{n-1}+\ldots+a_{n-1}x+a_n,

где a_0,a_1,\ldots,a_n — элементы некоторого поля (\mathbb{Q}, \mathbb{ R}, \mathbb{C}), x — буква, a_j,j=0,1,\ldots,n – коэффициенты полинома, a_0 – старший коэффициент.

Если a_0\ne0, то число n называется степенью многочлена. Степень нулевого многочлена не будем считать равной какому-либо конкретному числу, но будем считать, что она меньше степени любого ненулевого многочлена.

Обозначение. {\rm deg}\,f — степень многочлена f.

Условимся считать, что многочлен не меняется, если приписать к нему слагаемое 0\cdot x^k.

Пусть f и g — многочлены над одним и тем же полем, пусть

f(x)=a_0x^n+a_1x^{n-1}+\dots+a_n,g(x)=b_0x^m+b_1x^{m-1}+\ldots+b_m.

Будем говорить, что f=g, если m=n и a_0=b_0,a_1=b_1,\ldots,a_n=b_n.

f\stackrel{\rm def}{=}g\Longleftrightarrow a_0=b_0,a_1=b_1,\ldots,a_n=b_n.

Пример (метод неопределенных коэффициентов). Требуется найти значения A,B,C такие, чтобы выполнялось равенство
\begin{array}{l}<br />
\displaystyle<br />
{3x+1\over x^3-1}={A\over x-1}+{Bx+C\over x^2+x+1}.\\[3mm]<br />
\displaystyle<br />
{0x^2+3x+1\over x^3-1}={(A+B)x^2+(A-B+C)x+A-C\over x^3-1},<br />
\end{array}
\left\{\begin{array}{l}<br />
A+B=0,\\<br />
A-B+C=3,\\<br />
A-C=1.<br />
\end{array}\right.
Отсюда A=4/3,B=-4/3,C=1/3.

Можно определить обычным образом сумму, разность, произведение многочленов и доказать, что при этом выполняются обычные законы действий.

Свойства степени многочлена

1) {\rm deg}\, (fg)={\rm deg}\, f+{\rm deg}\, g,
2) {\rm deg}\,(f+g)\le\max\{ {\rm deg}\, f,{\rm deg}\, g\}.

Задачи.

1) Найдите все значения параметров a и b такие, что многочлены P и Q равны, если

P(x)=x^3+(a+b)x^2+(b^2-a)x+b,

Q(x)=x^3+(2b-1)x^2+3x+3a-1.

2) Найдите все значения параметров a,b,c такие, что при всех x выполняется равенство

\displaystyle \frac{1}{(x^2+x+1)(x-2)}=\frac{ax+b}{x^2+x+1}+\frac{c}{x+2}.

3) Найдите все значения параметров a,b и c такие, что многочлен x^3+ax^2+bx+a является кубом двучлена x+c.

4) Найдите многочлен P третьей степени со старшим коэффициентом единицей и такой, что P(1)=0, P(2)=0, P(3)=1.

Комментариев: 2

  1. 1 Немного о теории Галуа | Математика, которая мне нравится:

    [...] ли корни многочленов с целыми коэффициентами в радикалах? Эти корни [...]

  2. 2 Tar.AS:

    Метод неопределённых коэффициентов просто прекрасен! Большое спасибо за идею.

    [Ответить]

Оставьте свой отзыв

Добавить изображение