1. Степень суммы. Степень суммы двух многочленов меньше либо равна наибольшей из степеней слагаемых. (Лемма)

2. Коммутативность: $u\left(x\right)+v\left(x\right)=v\left(x\right)+u\left(x\right).$

Пусть $$u\left(x\right)+v\left(x\right)=s_{1}\left(x\right),\; v\left(x\right)+u\left(x\right)=s_{2}\left(x\right).$$ Рассмотрим коэффициенты $s_{1}\left(x\right)$ и $s_{2}\left(x\right).$ Они равны в силу коммутативности сложения чисел $\left(a_{i}+b_{i}=b_{i}+a_{i}\right),$ а значит, $s_{1}\left(x\right)=s_{2}\left(x\right),$ что доказывает коммутативность сложения многочленов.

3. Ассоциативность: $\left(u\left(x\right)+v\left(x\right)\right)+w\left(x\right)=u\left(x\right)+\left(v\left(x\right)+w\left(x\right)\right).$

Пусть коэффициенты $u\left(x\right),$ $v\left(x\right)$ и $w\left(x\right)$ равны $a_{i},$ $b_{i},$ и $c_{i}$ соответственно. Зададим их суммы: $$\left(u\left(x\right)+v\left(x\right)\right)+w\left(x\right)=f\left(x\right),$$ $$u\left(x\right)+\left(v\left(x\right)+w\left(x\right)\right)=g\left(x\right).$$ Для доказательства ассоциативности, докажем равенство $f\left(x\right)$ и $g\left(x\right).$ Рассмотрим общие формулы их коэффициентов: $$f_{i}=\left(a_{i}+b_{i}\right)+c_{i},$$ $$g_{i}=a_{i}+\left(b_{i}+c_{i}\right).$$ Аналогично коммутативности, равенство этих двух многочленов следует из ассоциативности операции сложения для чисел, из чего и следует ассоциативность сложения многочленов.

1. Степень произведения. Степень произведения двух многочленов равна сумме степеней множителей. (Лемма)

2. Коммутативность: $u\left(x\right)\cdot v\left(x\right)=v\left(x\right)\cdot u\left(x\right).$

Рассмотрим многочлены $u\left(x\right)$ и $v\left(x\right)$ из определения произведения. Пусть $$f\left(x\right)=u\left(x\right)\cdot v\left(x\right)=c_{n+m}x^{n+m}+c_{n+m-1}x^{n+m-1}+\ldots+c_{2}x^{2}+c_{1}x+c_{0},$$ $$g\left(x\right)=v\left(x\right)\cdot u\left(x\right)=d_{n+m}x^{n+m}+d_{n+m-1}x^{n+m-1}+\ldots+d_{2}x^{2}+d_{1}x+d_{0}.$$ Тогда, коэффициенты многочлена $f\left(x\right)$ равны $\displaystyle c_{i}=\sum_{\alpha+\beta=i}^{}a_{\alpha}b_{\beta},$ а многочлена $g\left(x\right)$ — $\displaystyle d_{i}=\sum_{\alpha+\beta=i}^{}b_{\beta}a_{\alpha}.$ Из очевидного равенства этих сумм вытекает равенство $f\left(x\right)$ и $g\left(x\right),$ а значит, $u\left(x\right)\cdot v\left(x\right)=v\left(x\right)\cdot u\left(x\right)$ и коммутативность доказана.

3. Ассоциативность: $\left(u\left(x\right)\cdot v\left(x\right)\right)\cdot w\left(x\right)=u\left(x\right)\cdot \left(v\left(x\right)\cdot w\left(x\right)\right).$

Пусть коэффициенты $u\left(x\right),$ $v\left(x\right)$ и $w\left(x\right)$ равны $a_{i},$ $b_{i},$ и $c_{i}$ соответственно, а именно: $$u\left(x\right)=a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots+a_{2}x^{2}+a_{1}x+a_{0},$$ $$v\left(x\right)=b_{m}x^{m}+b_{m-1}x^{m-1}+\ldots+b_{2}x^{2}+b_{1}x+b_{0},$$ $$w\left(x\right)=c_{s}x^{s}+c_{s-1}x^{s-1}+\ldots+c_{2}x^{2}+c_{1}x+c_{0}.$$ Теперь, зададим их произведения в нужном порядке: $$f\left(x\right)=u\left(x\right)\cdot v\left(x\right)=d_{n+m}x^{n+m}+d_{n+m-1}x^{n+m-1}+\ldots+d_{2}x^{2}+d_{1}x+d_{0},$$ $$g\left(x\right)=v\left(x\right)\cdot w\left(x\right)=r_{m+s}x^{m+s}+r_{m+s-1}x^{m+s-1}+\ldots+r_{2}x^{2}+r_{1}x+r_{0},$$ $$h\left(x\right)=\left(u\left(x\right)\cdot v\left(x\right)\right)\cdot w\left(x\right)=k_{n+m+s}x^{n+m+s}+\ldots+k_{2}x^{2}+k_{1}x+k_{0},$$ $$l\left(x\right)=u\left(x\right)\cdot \left(v\left(x\right)\cdot w\left(x\right)\right)=p_{n+m+s}x^{n+m+s}+\ldots+p_{2}x^{2}+p_{1}x+p_{0}.$$ Для доказательства ассоциативности, докажем равенство многочленов $h\left(x\right)$ и $l\left(x\right).$ Рассмотрим общую формулу коэффициента $h\left(x\right):$ $$\displaystyle k_{i}=\sum_{q+\gamma =i}d_{q}c_{\gamma }=\sum_{q+\gamma =i}\left( \sum_{\alpha +\beta =q}^{}\left(a_{\alpha }b_{\beta }\right)\cdot c_{\gamma }\right) = \sum_{\alpha +\beta +\gamma=i}a_{\alpha }b_{\beta }c_{\gamma }.$$ Теперь покажем, что общую формулу коэффициента $l\left(x\right)$ можно привести к такому же виду: $$\displaystyle p_{i}=\sum_{\alpha+q=i}a_{\alpha}r_{q}=\sum_{\alpha+q=i}\left( a_{\alpha}\cdot \sum_{\beta+\gamma=q}b_{\beta}c_{\gamma} \right)= \sum_{\alpha +\beta +\gamma=i}a_{\alpha }b_{\beta }c_{\gamma }.$$ Из равенства коэффициентов следует равенство многочленов, что и доказывает ассоциативность.