■有既約性判定基準(その225)

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上既約

===================================

f(x)=x^4-x-1はQ上既約であるか?

f(1)=-1,f(-1)=1・・・1次式x3次式の分解はない

f(x)=(x^2+ax+b)(x^-ax+c),a,b,c<Z

f(x)=x^4+(b+c-a^2)x^2+a(c-b)x+bc

(b+c-a^2)=0

a(c-b)=1

bc=-1→(b,c)=(1,-1),(b,c)=(-1,1)

a(c-b)=+/-2a=1・・・矛盾→Q上既約

===================================

f(x)=x^4+x^2-1はQ上既約であるか?

f(1)=1,f(-1)=-1・・・1次式x3次式の分解はない

f(x)=(x^2+ax+b)(x^-ax+c),a,b,c<Z

f(x)=x^4+(b+c-a^2)x^2+a(c-b)x+bc

(b+c-a^2)=1

a(c-b)=0

bc=-1→(b,c)=(1,-1),(b,c)=(-1,1)

a(c-b)=+/-2a=-1・・・矛盾→Q上既約

===================================