剰余の定理
多項式に関する剰余の定理（じょうよのていり、）は、多項式 ("x") をモニックな（つまり最高次の係数が1である）二項一次多項式 "x" − "a" で割ったときの剰余は ("a") であるという定理。とくに、 ("a") = 0 ならば ("x") が "x" − "a" を因数にもつことが分かる（因数定理）。