f(x)=a0+a1x+・・・+anx^n,［ai］＜Z

既約分数r/sがf(x)の根ならばa0はrで割り切れる、anはsで割り切れる

an=1ならば、有理根は整数になる。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

f(x)=x^3+2x+1はQ上既約であるか？

f(r/s)=0

1はrで割り切れる、1はsで割り切れる

r/s=1または-1

f(1)=4,f(-1)=-2・・・矛盾→Q上既約

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝