First, some notation. The symbol $\mathbb{C}$ means the set of all complex numbers, similar to $\mathbb{R}$.
Question: Can we factor irreducibles?
Answer: yes, if you involve complex numbers.
$c$ is a zero if
Solving the equation: \begin{align} x^2 + 1 &= 0\\ x^2 &= -1\\ \sqrt{x^2} &= \pm \sqrt{-1}\\ x &= \pm i \end{align}
The solutions are $x = i$ and $x = -i$.
Therefore $x^2 + 1 = (x - i)(x - (-i)) = \boxed{(x - i)(x + i)}$
We just saw an irreducible $x^2 + 1$ break down into complex zeros.
Zeros must always exist if your resultant factors are allowed to have complex numbers (called a factorization over $\mathbb{C}$).
This is exactly what the next theorem says:
Recall the Real Factorization Theorem:\[P(x) = (\text{linear factors}) \cdot (\text{irreducible factors})\]
Breaking down the irreducibles into linear factors gives you a complete factorization over $\mathbb{C}$:
Next example looks at multiplicity.
We're looking for linear factors and irreducibles.
No zero was given, so let's use Chapter 1 methods. Use GCF first, pull out $3x$:
\begin{align} 3x^5 + 12x^3 + 12x &= 3x (x^4 + 4x^2 + 4) && \text{GCF} \\&= 3x\bigg(\big(x^2\big)^2 + 4x^2 + 4\bigg) && \text{Rewriting to substitute $y = x^2$} \\&= 3x\bigg(y^2 + 4y + 4\bigg) && \text{Substitute $y = x^2$} \\&= 3x(y+2)^2 && \text{Factoring quadratic} \\&= 3x(x^2+2)^2 && \text{Backsubstitute } y = x^2 \end{align}Now we need to check if the quadratic $(x^2 + 2)$ is irreducible or not.
We have $a = 1, b = 0, c = 2$, so \begin{align} b^2 - 4ac &= 0^2 - 4 \cdot 1 \cdot 2 \\&= -8 \\&< 0 \end{align} $x^2 + 2$ is irreducible. No zeros over $\mathbb{R}$.
A complete factorization over $\mathbb{R}$ is $\boxed{P(x) = 3x(x^2+2)^2}$
We know a CF over $\mathbb{C}$ just means to break down the irreducibles into linear factors from the CF over $\mathbb{R}$.
From part 2, we saw $x^2 + 2$ was the only irreducible. So we need to factor it.
Remember that $c$ is a zero if
Solving the equation: \begin{align} x^2 + 2 &= 0\\ x^2 &= -2\\ \sqrt{x^2} &= \pm \sqrt{-2}\\ x &= \pm i\sqrt{2} \end{align}
The solutions are $x = i\sqrt{2}$ and $x = -i\sqrt{2}$.
Therefore $x^2 + 2 = (x - i\sqrt{2})(x - (-i\sqrt{2})) = (x - i\sqrt{2})(x + i\sqrt{2})$
Now substitute into the CF over $\mathbb{R}$ and simplify: \begin{align} P(x) &= 3x(x^2 + 2)^2 \\&= 3x\bigg[(x - i\sqrt{2})(x + i\sqrt{2})\bigg]^2 && \text{Substituting} \\&= \boxed{3x(x-i\sqrt{2})^2(x+i\sqrt{2})^2} && \text{Using } (ab)^2 = a^2b^2 \end{align}
Notice that \[P(x) = \underbrace{3x}_{\text{multiplicity } 1} \cdot \underbrace{(x-i\sqrt{2})^2}_{\text{multiplicity } 2}\cdot \underbrace{(x+i\sqrt{2})^2}_{\text{multiplicity } 2}\]
Adding up the multiplicities $1 + 2 + 2 = 5$, which is the degree of $P(x)$!
In other words, the imaginary part sign was flipped.
Why?
The irreducibles are the only source of complex zeros.
Irreducibles are quadratics with $b^2 - 4ac < 0$, so the only source of complex zeros are from the quadratic formula \[x = \dfrac{-b \pm \sqrt{b^2 - 4ac}}{2a}\] in particular, the $\pm \sqrt{b^2 - 4ac}$.
This $\pm$ creates conjugate pairs!