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

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

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

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

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

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

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

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

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

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

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

1) коммутативность a+b=b+a;
2) ассоциативность (a+b)+c=a+(b+c);
3) существование нуля: exists 0: forall ain Mquad a+0=a;
4) существование противоположного элемента: forall ane0 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_0ne0, то число n называется степенью многочлена. Степень нулевого многочлена не будем считать равной какому-либо конкретному числу, но будем считать, что она меньше степени любого ненулевого многочлена.

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

Условимся считать, что многочлен не меняется, если приписать к нему слагаемое 0cdot 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.

    [fstackrel{rm def}{=}gLongleftrightarrow a_0=b_0,a_1=b_1,ldots,a_n=b_n.]

Пример (метод неопределенных коэффициентов). Требуется найти значения A,B,C такие, чтобы выполнялось равенство

    [begin{array}{l} displaystyle {3x+1over x^3-1}={Aover x-1}+{Bx+Cover x^2+x+1}.\[3mm] displaystyle {0x^2+3x+1over x^3-1}={(A+B)x^2+(A-B+C)x+A-Cover x^3-1}, end{array}]

    [left{begin{array}{l} A+B=0,\ A-B+C=3,\ A-C=1. 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)lemax{ {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 выполняется равенство

    [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.

Ссылка на основную публикацию