So, as a part of a homework problem, I'm tasked with showing that $f(t) = t^4 + 2t^2 + 9$, despite having no roots in the rationals, is reducible over them. The former task - showing a lack of rational roots - is pretty easy, but the latter is proving an absolute pain.
And I suspect it's actually not reducible.
It is obvious that since $f$ has no rational roots, we know that, if $f$ is reducible, it must have a factorization $f = gh$ where $g,h$ are quadratics.
If we made the substitution $u = t^2$ then $f(u) = u^2 + 2u + 9$. This doesn't seem immediately factorizable by elementary methods (i.e. the whole "sum of factors of constant term sum to the linear coefficient" thing we learn in middle school). Okay so what now?
My immediate thought was to play around with the fundamental theorem of algebra just to simplify matters. So we find roots for $f$ in terms of $u$, which are $u = -1 + 4i \sqrt 2, \overline u = -1 - 4i \sqrt 2$.
Edit: As noted in one of the answers, by egreg, I actually did not find the correct roots in terms of $u$: I forgot to divide the coefficient of the root by two. And, of course, other answers have also noted I overlooked some factoring techniques. Oh well, such is life. In any event, note that this error rippled forward from here in my work and made everything more problematic.
Then by our substitution, the roots to $f$ in terms of $t$ are $\sqrt u, -\sqrt u, \sqrt {\overline{u}}, - \sqrt{\overline{u}}$. Thus by the fundamental theorem of algebra,
$$f(t) = (t-\sqrt u)(t-\sqrt {\overline{u}})(t+\sqrt u)(t+\sqrt {\overline{u}})$$
Surely, some pairing of these four factors in two groups of two will multiply together to give a quadratic in rational coefficients, yielding that $f$ is reducible. However, no matter how I pair them, I can't seem to make this work.
Consider our first factor.
- If you multiply it by the second, the linear coefficient is $-(\sqrt u + \sqrt{ \overline {u}})$. Wolfram gives this as $\sqrt{2\sqrt{33} - 2}$. Obviously not rational.
- If you choose the third, then you get a square root of a nonreal complex number as the constant term. Thus, it is not rational.
- If we choose the fourth, then we get the linear coefficient to be $\sqrt{ \overline {u}} - \sqrt u$. Wolfram gives this to be a purely imaginary number, same coefficient as before otherwise.
So no matter which way we pair the first factor it seems we cannot generate a quadratic with rational coefficients.
Does this mean there's some sort of mistake on the assignment, that this polynomial is irreducible? Am I overlooking something, making an error somewhere? (I've been dealing with this for a few hours now and it's not unrealistic, given how late the hour is, that I might have overlooked a flaw somewhere.)