factorize the expression x^3+8
1) Let's factor in ℝ: x3 + 8
⇥1.1) The roots of x3 + 8 are the solutions of x3 = -8
⇥The (complex) solutions are: 83·exp(i·2kπ + π3) for k from 0 to 2
⇥
kExponential solutionTransformed and simplified as
02exp(i·2·0·π + π3) = 2exp(iπ3)2·(cos(π3) + i·sin(π3)) = 1 + i·3
12exp(i·2·1·π + π3) = 2exp(iπ)2·(cos(π) + i·sin(π)) = -2
22exp(i·2·2·π + π3) = 2exp(i·5π3)2·(cos(5π3) + i·sin(5π3)) = 1 -i·3
⇥For the real solutions, factorization gives: x + 2
⇥1.2) Perform the Euclidean division of (x3 + 8) by (x + 2)
⇥
Current expressionDivide
leading terms
QuotientQuotient × divisorRemainder after subtracting
x3 + 8x3xx2x2·(x + 2) = x3 + 2x2(x3 + 8) -(x3 + 2x2) = -2x2 + 8
-2x2 + 8-2x2x-2x-2x·(x + 2) = -2x2 -4x(-2x2 + 8) -(-2x2 -4x) = 4x + 8
4x + 84xx44·(x + 2) = 4x + 8(4x + 8) -(4x + 8) = 0
⇥So the result of the Euclidean division is: x2 -2x + 4
ⓘ The other roots, 1 -i·3, 1 + i·3, are not real: x2 -2x + 4 cannot be factored in ℝ
▶Factors found: (x + 2)·(x2 -2x + 4)