factorize x^3-x
Let's factorize in ℝ: x3 -x
This expression can be factorized into: x·(x2 -1)
⇥Let's factor in ℝ: (x2 -1)
⇥For x2 -1, we recognize a difference of two squares: x2 -12. Apply a2 -b2 = (a -b)·(a + b), with a = x and b = 1
▷The factor (x2 -1) factors as: (x + 1)·(x -1)
ⓘ Factor out the common factor x
▶Factored expression:   x·(x + 1)·(x -1)