How to show that $A^3+B^3+C^3 - 3ABC = (A+B+C)(A+B\omega+C\omega^2)(A+B\omega^2+C\omega)$ indirectly? I found this amazingly beautiful identity here. How to prove that $A^3+B^3+C^3 - 3ABC = (A+B+C)(A+B\omega+C\omega^2)(A+B\omega^2+C\omega)$ without directly multiplying the factors? (I've already verified it that way). Moreover, how could someone possibly find such a factorization using complex numbers? Is it possible to find such a factorization because $A^3+B^3+C^3 - 3ABC$ is a symmetric polynomial in $A,B,C$?
 A: HINT:
If $A+Bw+Cw^2=0$ where $w$ is one of the three cube roots of unity 
$\implies -A=Bw+Cw^2$
Cubing we get, $(-A)^3=(Bw+Cw^2)^3$
$\implies  -A^3=B^3w^3+C^3w^6+3\cdot Bw\cdot Cw^2(Bw+Cw^2)=B^3+C^3+3BC(-A)$
$\implies A+Bw+Cw^2$ is a factor of $A^3+B^3+C^3-3ABC$
A: You can consider it as a polynomial in $A$ and attempt to factor it. So you want to find polynomials in $B$ and $C$, say $r,s,t$, such that 
$$(A + r)(A+s)(A+t)=A^3-A(3BC)+B^3+C^3.$$ 
In particular, you need $r+s+t=0$, and you similarly have information about $rs+st+tr$ and $rst$. It's not hard to see that the roots are linear polynomials in $B$ and $C$, so they have the form $a+bB+cC$ for a constant $a$. You can plug this representation into the three equations you got from looking at the coefficients and solve. 
If you need help getting started on the resulting equations, note that $rst$ has no constant term, so at least one of the roots has no constant term.
A: $(a^3+b^3+c^3) = (a+b+c)(a^2 +b^2+c^2-ab-bc-ac)$

$1+\omega + \omega^2 = 0 \implies \omega+\omega^2 = -1$

$= (a+b+c)(a^2 + b^2 + c^2 +ab(\omega+\omega^2)+bc(\omega+\omega^2)+ac(\omega+\omega^2)) = (a+b+c)(a(a+b\omega^2+c\omega)+b\omega(a+b\omega^2+ c\omega)+ c\omega^2 (a+ \dfrac b\omega+c\omega)$
Now, note that $\dfrac{1}{\omega}= \omega^2$
And after substituting this we get the desired identity. 
A: This is a $3\times3$ circulant determinant which is a special case of a group determinant ($G=C_3$).
Let $\{X_g\}$ be a set of formal variables indexed by elements of a group $G$, then $\Phi(G):=\det(X_{gh^{-1}})$ we define to be the group determinant. KCd has a set of notes concerning these objects in the history of representation theory, and includes two proofs of the factorization
$$\Phi(G)=\prod_{\chi\in\widehat{G}}\left[\sum_{g\in G}\chi(g)X_g\right]$$
for finite abelian groups $G$. The first proof shows each linear factor divides $\Phi(G)$ by invoking matrix row operations, the other exhibits the factors as eigenvalues of a linear transformation.
More generally invoking the Wedderburn decomposition yields for arbitrary finite $G$
$$\Phi(G)=\prod_{\rho~\rm irred}\det\left(\sum_{g\in G}X_g\rho(g)\right)^{\deg\rho}. $$
A: Expanding on Potato's answer:
First lets make $a^3 + b^3 + c^3 -3abc\ $ a polynomial in $a$ so we get $a^3 - a3bc + b^3 + c^3$. This has $3$ roots so lets express it as $(a+p)(a+q)(a+r)$. But also know: $$a^3 + b^3 + c^3 -3abc = (a+b+c)(a^2 + b^2 + c^2 -ab -bc - ac)$$
Therefore lets say $p=b+c$. So our polynomial is now: $(a+q)(a+r)(a+b+c)$. Expanding this expression and equating the co-efficients of $a$ we get the following equations:
$$r+q + b+c = 0 $$
$$qr+br+bq+cr+cq = -3bc$$
$$bqr + cqr = b^3 + c^3$$
Doing sum of roots on the third equation we can get:
$$qr = b^2 - bc +c^2$$
subbing the this equation into the second equation we get:
$$(b+c)^2 + br+bq+cr+cq = 0$$
$$(b+c)^2 = -(b+c)(q+r)$$
$$b+c = -(q+r)$$
Now, since $b+c$ is real and lets assume $q$ and $r$ are complex, this means $r$ is the conjugate of $q$. So let $q=x+yi$. Therefore we get:
$$-2x = b+c$$
$$qr = |q|^2 = x^2+y^2 = b^2+c^2-bc$$
So we have $x = -(b+c)/2$ and substituting this in the above equation we get $y = \frac{\sqrt{3}}{2}(b-c)$.
This means:
$$q= -\frac{b+c}{2} + \frac{\sqrt{3}}{2}(b-c)i$$
$$ = -\frac{b}{2} + \frac{\sqrt{3}}{2}bi + -\frac{c}{2} - \frac{\sqrt{3}}{2}ci$$
$$ = bw^2 + cw$$
where w is the complex cubic root of unity. Hence this means that:
$$ r = cw^2 + bw$$
Therefore:
$$a^3 + b^3 + c^3 -3abc = (a+b+c)(a+  bw + cw^2)(a+bw^2 + cw)$$
A: We know $(A+B)\mid(A^n+B^n)$ for $n$ odd. What about with three terms? Compute
$$\mod A+B+C:\quad A^3+B^3+C^3\equiv-(B+C)^3+B^3+C^3\equiv-3BC(B+C)\equiv 3ABC.$$
So $(A+B+C)\mid(A^3+B^3+C^3-3ABC)=f(A,B,C)$. Further
$$f(A,B,C)=f(A,\omega B,\bar{\omega}C)=f(A,\bar{\omega}B,\omega C)=\rm etc.$$
by inspection so both $A+\omega B+\bar{\omega}C$ and $A+\bar{\omega}B+\omega C$ are also factors.
This argument exploits divisibility properties and inherent symmetry. It is generalized by the first proof (using matrix operations) mentioned in my other answer to compute $\Phi(G)$ for $G$ abelian.
