高等代数(一)-多项式02：一元多项式

§ 2 一元多项式
在对多项式的讨论中,我们总是以一个预先给定的数域 $P$ 作为基础. 设 $x$
是一个
符号 (或称文字), 我们有
定义 2 设 $n$ 是一非负整数. 形式表达式
$$a_n{x}^n+a_{n-1}{x}^{n-1}+\cdots +a_0,$$
其中 $a_0,a_1,\cdots ,a_n$ 全属于数域 $P$,称为系数在数域 $P$
中的一个一元多项式,或者简称为数域 $P$ 上的一元多项式.
在多项式 (1) 中, $a_k{x}^k$ 称为 $k$ 次项, $a_k$ 称为 $k$
次项的系数. 以后我们用 $f(x),g(x)$, $\cdots$ 或 $f,g,\cdots$
来代表多项式.
注意,我们这儿定义的多项式是符号或文字的形式表达式.
当这符号是未知数时,它是中学所学代数中的多项式.看应用需要,
这个符号还可代表其他待定事物.
为了能统一研究未知数和其他待定事物的多项式,我们才抽象地定义上述形式表达式.
并且还要对它们引人运算来反映各个待定事物所满足的运算规律,
统一研究以得到它们普遍的公共的性质.
定义 3 如果在多项式 $f(x)$ 与 $g(x)$ 中, 除去系数为零的项外,
同次项的系数全相等, 那么 $f(x)$ 与 $g(x)$ 就称为相等, 记为
$$\dot{f}(x)=g(x)\text{. }$$
系数全为零的多项式称为零多项式, 记为 0.
在 (1) 中, 如果 $a_n\ne 0$, 那么 $a_n{x}^n$ 称为多项式 (1)
的首项, $a_n$ 称为首项系数, $n$称为多项式 (1) 的次数.
零多项式是唯一不定义次数的多项式. 多项式 $f(x)$ 的次数记为
$$tial(f(x))\text{ (1). }$$
在中学所讲的代数中,两个多项式可以相加、相减、相乘.例如,
$$\begin{array}{rl}\left(2x^2-1\right)+\left(x^3-2x^2+x+2\right)& =x^3+x+1,\\ \left(2x^2-1\right)\left(x^2-x+1\right)& =2x^4-2x^3+2x^2-x^2+x-1\\ & =2x^4-2x^3+x^2+x-1.\end{array}$$
我们对形式表达式 (1), 可类似地引人这些运算, 为便于计算和讨论,
我们常常用和号来表达多项式.
设
f ( x ) = a n x n + a n − 1 x n − 1 + ⋯ + a 0 , g ( x ) = b m x m + b m − 1 x