如果一非零的整系数多项式能够分解成两个次数较低的有理系数多项式的乘积，那么它一定能分解成两个次数较低的整系数多项式的乘积

如果一非零的整系数多项式能够分解成两个次数较低的有理系数多项式的乘积，那么它一定能分解成两个次数较低的整系数多项式的乘积

证明

设整系数多项式 $f(x)$ 有分解式
$$f(x)=g(x)h(x)$$
其中 $g(x),h(x)$ 是有理系数多项式，且
$$\partial (g(x))<\partial (f(x)),\partial (h(x))<\partial (f(x)).$$
令
$$f(x)=a{f}_1(x),g(x)=r{g}_1(x),h(x)=s{h}_1(x)$$
这里 $f_1(x),g_1(x),h_1(x)$ 都是本原多项式，$a$ 是整数，$r,s$ 是有理数，于是
$$a{f}_1(x)=rs{g}_1(x)h_1(x)$$
由高斯引理（两个本原多项式的乘积还是本原多项式），得 $g_1(x)h_1(x)$ 是本原多项式，从而
$$rs=\pm a$$
这就是说，$rs$ 是一整数.因此，我们有
$$f(x)=(rs{g}_1(x))h_1(x)$$
这里 $rs{g}_1(x)$ 与 $h_1(x)$ 都是整系数多项式，且次数都低于 $f(x)$ 的次数

推论

设 $f(x),g(x)$ 是整系数多项式，且 $g_{(}x)$ 是本原的。如果 $f(x)=g(x)h(x)$，其中 $h(x)$ 是有理系数多项式，那么 $h(x)$ 一定是整系数的.

证明

令
$$f(x)=a{f}_1(x),h(x)=b{h}_1(x)$$
这里 $f_1(x),h_1(x)$ 都是本原多项式， $a$ 是整数，$b$ 是有理数
那么有：
$$a{f}_1(x)=bg(x)h_1(x)$$
又因为 $g(x)$ 也是本原多项式，所以 $a=\pm b$，$b$ 也是整数。因此$h(x)=b{h}_1(x)$ 也是整系数多项式