令g(x)=1+x+x^2+...+x^(p-1),则f(x)=g'(x). 考察g(x+1)=x^(p-1)+C(p,1)x^(p-2)+C(p,2)x^(p-3)+...+C(p,p-1),其中C(n,m)是n取m的组合数.对f(x+1)=g'(x+1)和素数p使用Eisenstein判别法即得结论.
