判断下列多项式在有理数域上是否可约：1)x²+1;2)x⁴-8x³+12x²+2;3)x⁶+x³+1;4)x^p+px+1，p为奇素数;5)x⁴+4kx+1，k为整数。