Intereting Posts

Mean value theorem on Riemannian manifold?
Constructing a circle through a given point, tangent to a given line, and tangent to a given circle
Determining whether the extremal problem has a weak minimum or strong minimum or both
$E$ Lebesgue measurable implies $E^2$ Lebesgue measurable?
What is shortcut to this contest algebra problem about polynomial?
Taylor Series Remainder
Parallel vector fields imply a flat connection?
Iterating through the integerial points of $f(x)$
Evaluating $f(x) f(x/2) f(x/4) f(x/8) \cdots$
A ring without the Invariant Basis Number property
How to derive compositions of trigonometric and inverse trigonometric functions?
Proof that ideals in $C$ are of the form $M_c$ that should not involve Zorn's Lemma
Find the limit $\lim \limits_{n\to \infty }\cos \left(\pi\sqrt{n^{2}-n} \right)$
Proof of injective and continuous
Computing the Hilbert class field

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$?

- Prove that g has no roots
- Dividing factorials is always integer
- Is the square root of a negative number defined?
- Show that $\, 0 \leq \left \lfloor{\frac{2a}{b}}\right \rfloor - 2 \left \lfloor{\frac{a}{b}}\right \rfloor \leq 1 $
- $2^n=C_0+C_1+\dots+C_n$
- Can a (rational coefficient) polynomial have roots with two radicals?
- Direct formula for area of a triangle formed by three lines, given their equations in the cartesian plane.
- Is this a known algebraic identity?
- Solve this tough fifth degree equation.
- How can people understand complex numbers and similar mathematical concepts?

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.

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$

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.

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}. $$

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)$$

- Defining the Complex numbers
- $ p^{\frac1n} $ is irrational if $p $ is prime and $n>1$
- In what ways has physics spurred the invention of new mathematical tools?
- Simple doubt about complex numbers
- Show the given space is uncountable.
- Solve equation with unknown in exponents
- Is calculating the summation of derivatives “mathematically sound”?
- Second order partial of $f(x,y)=\frac{xy(x^2-y^2)}{x^2+y^2}$
- If there is a branch of $\sqrt{z}$ on an open set $U$ with $0 \notin U,$ then there is also a branch of $arg$ $z.$
- Example where Tietze Extension fails?
- Is every Compact $n$-Manifold a Compactification of $\mathbb{R}^n$?
- Integrating $\rm x^ae^{-bx}$.
- What kind of compactness does “expanding $\mathbb{R}$ by constants” have?
- Textbooks on set theory
- Möbius transformations on $D$ such that $f(D)=D$