Solution (source code)

= Solution

The <difference of two cubes> identity gives the real <polynomial factorization>
$$
\boxed{a^3-b^3=(a-b)(a^2+ab+b^2).}
$$
Expanding the right side cancels the two mixed terms of each degree. The quadratic factor satisfies $a^2+ab+b^2=(a+b/2)^2+3b^2/4$.