带余式除法定理daiyushi chufadingli

对于数域F上任何两个多项式b_m≠0其中(x)≢0，存在F上唯一的一对多项式q(x)及r(x)，满足下列条件
❶r(x)的次数小于m，或者r(x)≡0;

❷恒等式f(x)≡q(x)(x)+r(x)成立.
多项式q(x)和r(x)各叫做不完全商及余式.这个定理是一元多项式分解理论的基础.
q(x)及r(x)的求法叫做多项式f(x)被(x)除的带余式除法.
显然，要使多项式f(x)能被(x)整除，其充分必要条件是f(x)除以(x)时所得的余式恒等于零.