在有理数域上证明f(x)=x^4 1为不可约多项式