剰余の定理は多項式 を
で割った余りは
となる,というやつ.
因数定理は多項式 について
と
が
を因数にもつことが同値,というやつ.
両者を組み合わせると
多項式 について
は任意の
に対して
を因数にもつ
ことがわかる.この商を とおくと
for all
となる.つまり,因数定理は から
を取り出す定理である.
一方,平均値の定理 も
から
を取り出す定理であるから,因数定理の一般化が平均値の定理という見方もできる.
なお, となることからも因数定理と平均値の定理の関係が見えてくるだろう.