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

√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

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