# Factorize real polynomials to quadratic factors. Proof without fundamental theorem of algebra.

I've shown that if $P(x) \in \mathbb{R}[X]$, then exist $Q_1(X), \dotsc, Q_k(X) \in \mathbb{R}[X]$ so that $P(X) = Q_1(X) \cdots Q_k(X)$ with $\deg Q_i \leq 2$ for all $1 \leq i \leq n$.

My proof - and every other I found - is based on the fundamental theorem of algebra. So I wonder, if it's possible to show this without use of the fundamental theorem? Explicitly, if it's possible to prove this within the real numbers? And if it's not - why?

Thanks!

It's pretty much equivalent to the fundamental theorem of algebra. It's easy to see that every quadratic polynomial with real coefficients splits in $\mathbf C$, so assuming the theorem you describe, we easily see that every real polynomial splits in $\mathbf C$. Conversely, as you already know, the fundamental theorem of algebra easily implies the other theorem.