反证：假设有有理根,设为p/q(p,q为互质的整数,且q不等于0）,则(x-p/q)|f(x),因为f(x)为整系数多项式,且在有理数域可约,则可以得到qx-p|f(x)【本原多项式学了吧,如果一个非零整系数多项式能够分解成两个次数较低的有理系数多项式的乘积,那么它一定可以分解成两个次数较低的整系数多项式,这里f(x)=(x-p/q)g(x),推出f(x)=(qx-p)h(x)成立】,根据定理p|a0,q|an,可知p,q均为奇数f(1)=(q-p)h(1),又f(1)为奇数,h(1),为整数,则q-p为奇数（奇数可约只能是两个奇数之积）而p,q均为奇数,q-p一定为偶数,矛盾,即证因为(x-p/q)|f(x),所以qx-p|f(x)，这等于说f（x）/(x-p/q)的商，是q的整数倍吧..为什么啊，我是一个高中生，只是爱好数学，所以不大明白...谢谢！！哈哈，你是高中生，我还以为你是大一的，我是同济数学系大一的，高等代数里这种证明多的很，很自然的就用了一些定理，问一下高中考多项式吗？如果不能理解的话我也没办法，实在不行就上网查查嘛，嘿嘿……上面那个括号里面的定理就是解释这个的，因为f(x)是整系数的，至于为什么又要另一个定理关于本原多项式的高斯引理