$A(x)$ を1次以上の多項式, $\alpha$ を定数とする。 このとき, $A(x)$ を $(x-\alpha)$ で割ったときの余りを $R$ とすれば % \[ R=A(\alpha) \] % が成り立つ。 これを\ommindex{剰余の定理}{じょうよのじょていり}という。 %

$A(x)$ を1次以上の多項式, $\alpha$ を定数とする。 このとき, $A(x)$ が $(x-\alpha)$ で割りきれるための必要十分条件は % \[ A(\alpha)=0 \] % となることである。 これを\ommindex{因数定理}{いんすうていり}という。