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