三元三次輪換式

定理：若$x, y, z$皆為複數，則恆有

$$
x^3 + y^3 + z^3 - 3xyz = (x+y+z)\left( x^2 +y^2 + z^2 - xy - yz - zx \right).
$$

[證一]：直接對右端展開。

\begin{eqnarray*}
(x+y+z) \left( x^2 +y^2 + z^2 - xy - yz - zx \right)
&=& x^3 +xy^2 +xz^2 - x^2y -xyz - zx^2 \\
& & +x^2y + y^3 + yz^2 - xy^2 - y^2z - xyz \\
& & +x^2z + y^2z + z^3 -xyz - yz^2 -xz^2 \\
&=& x^3 + y^3 +z^3 - 3xyz

\end{eqnarray*}

[證二]：使用和的立方公式[$(p+q)^3 = p^3 = 3p^2q + 3pq^2 + q^3$]與立方和公式[$p^3 + q^3 = (p+q)(p^2 -pq + q^2)$]。從左端出發

\begin{eqnarray*}
x^3 + y^3 +z^3 - 3xyz
&=& (x^3 + y^3) + z^3 -3xyz \\
&=& (x^3 + 3x^2y + 3xy^2 + y^3) - 3x^2y - 3xy^2 + z^3 - 3xyz \\
&=& (x+y)^3 + z^3 - 3xy(x+y) - 3xyz \\
&=& [(x+y) + z] [(x+y)^2 - (x+y)z + z^2] - 3xy[(x+y) +z] \\
&=& (x+y+z)(x^2 + 2xy + y^2 - zx - yz + z^2) -3xy(x+y+z) \\
&=& (x+y+z)[(x^2 + 2xy + y^2 - zx - yz + z^2) - 3xy] \\
&=& (x+y+z)(x^2 + y^2 + z^2 - xy - yz - zx)
\end{eqnarray*}

(證明結束)

附註：

1. 楊維哲：「這幾乎是關於三元的需要熟悉的唯一的公式！」(湖濱高中數學講義之二—代數，五南出版，第18頁)

2. 為什麼要考慮這樣的因式分解呢？楊維哲在其書中沒有給出答案，而我所能想到的唯一一個答案是此因式分解可用於三元算幾不等式的證明之中，所以有一點必要性去研究這個式子。此外，如果直接從左端出發，大概也可以視為讓學生練習和的立方公式與立方和公式的一個好機會。

3. 因式分解嘛，當然我們可以假定所考慮的數系是隨便一個具么可換環(commutative ring)，不用像我上頭寫的「皆為複數」。但是其實把條件推的那麼極端，我看不出來有什麼好處，至少在高中教學面是毫無意義的。(上課時可以隨口亂啼，讓學生產生莫名其妙的崇拜)

警告：

如果令$c=0$，那麼本來的三元三次輪換式$a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca)$會變為
$$
a^3+b^3+0^3=(a+b+0)(a^2+b^2+0^2-ab-b \times 0 -0 \times a),
$$
也就是立方和公式
$$
a^3+b^3=(a+b)(a^2-ab+b^2).
$$
你要注意立方和公式根本是三元三次輪換式的特例！