■既約性判定基準(その169)
√2+√3を解とする最小多項式は
x=√2+√3
x^2=5+2√6
x^2-5=2√6
x^4-10x^2+25=24
x^4-10x^2+1=0
より、x^4-10x^2+1で与えられる。
Q(√2+√3)=Q(√2,√3)でありその拡大次数は4である。
|Q(√2,√3):Q|=4
===================================