多项式m(x)称为f(x)与g(x)的最小公倍式(记:[f(x),g(x)]=m0(x),m0(x)首系为1),如果满足:
(1) f(x)∣m(x),g(x)∣m(x);
(2) f(x)与g(x)的任一公倍式都是m(x)的倍式.
证明:[f(x),g(x)]=(f(x),g(x))f(x)g(x). (f(x),g(x)首系为1).
证: 记m(x)=(f(x),g(x))f(x)g(x)
显然(1)f(x)∣m(x),g(x)∣m(x)成立, 只需证明(2)成立。
设h(x)是f(x)与g(x)的公倍式(f∣h,g∣h),只需证明m(x)∣h(x).
实际上,(f(x),g(x))f(x)∣∣∣∣∣(f(x),g(x))h(x), (f(x),g(x))g(x)∣∣∣∣∣(f(x),g(x))h(x)
且((f(x),g(x))f(x),(f(x),g(x))g(x))=1
⟹(f(x),g(x))2f(x)g(x)∣∣∣∣∣(f(x),g(x))h(x)
⟹(f(x),g(x))f(x)g(x)∣∣∣∣∣h(x), 得证。