■因数分解の算法(その31)
x^2−5x−6=(x+1)(x−6)
x^3+3x^2−x−3=(x−1)(x^2+4x+3)=(x−1)(x+1)(x+3)
それでは
[Q]f(x)=x^7+x^5−3x^4+x^3+x−3の因数分解は?
[A]f(x)=0を満たす整数はなく,解は無理数と虚数,計7個である.係数が整数の範囲での解は,
x^7+x^5−3x^4+x^3+x−3=(x^4+1)(x^3+x−3)
===================================
有限体上の因数分解についても書いておきたい.
x^2+1は整数環,有理数体,実数体上では既約であるが,F2[x]うえでは
(x+1)^2=x^2+2x+1=x^2+1
より可約である(x+1で割り切れる).
x^2+13x+42=(x+6)(x+7) on Z[x]
x^2+13x+42=(x+1)(x+2) on F5[x]
x^2+13x+37=x^2+3x+2=(x+1)(x+2) on F5[x]
===================================