ここからは，さきほど紹介した紫文字の公式について詳しく説明します。

a3+b3+c3−3abc=(a+b+c)(a2+b2+c2−ab−bc−ca)\begin{aligned} &a^3+b^3+c^3-3abc\\ &=(a+b+c)(a^2+b^2+c^2-ab-bc-ca) \end{aligned}​a3+b3+c3−3abc=(a+b+c)(a2+b2+c2−ab−bc−ca)​

教科書レベルを少し越えていますが，難関大を受験する人たちは覚えている有名な因数分解公式です。

「3つの3乗」が出てきたら，この公式を思い出しましょう。 特に ccc が具体的な数のときには左辺の形に気づきにくいので注意しましょう。

c=1c=1c=1 のとき

a3+b3+1−3ab=(a+b+1)(a2+b2+1−ab−b−a)\begin{aligned} &a^3+b^3+1-3ab\\ &=(a+b+1)(a^2+b^2+1-ab-b-a) \end{aligned}​a3+b3+1−3ab=(a+b+1)(a2+b2+1−ab−b−a)​

と因数分解できる。

この因数分解公式の応用例として，変数が3つの場合の相加相乗平均の不等式を証明します。

示したい不等式は x+y+z≥3xyz3x+y+z\geq 3\sqrt[3]{xyz}x+y+z≥33xyz​ です。根号を除くために変数変換すると，a3+b3+c3≥3abca^3+b^3+c^3\geq 3abca3+b3+c3≥3abc を示せば十分ということが分かります。

a, b, ca,\:b,\:ca,b,c が非負のとき，

a3+b3+c3−3abc=(a+b+c)(a2+b2+c2−ab−bc−ca)=(a+b+c)⋅12{(a−b)2+(b−c)2+(c−a)2}≥0\begin{aligned} &a^3+b^3+c^3-3abc\\ &=(a+b+c)(a^2+b^2+c^2-ab-bc-ca)\\ &=(a+b+c)\cdot \frac{1}{2}\{(a-b)^2+(b-c)^2+(c-a)^2\}\\ &\geq 0 \end{aligned}​a3+b3+c3−3abc=(a+b+c)(a2+b2+c2−ab−bc−ca)=(a+b+c)⋅21​{(a−b)2+(b−c)2+(c−a)2}≥0​

1行目から2行目の変形に因数分解公式を用いた。

上の議論から，a3+b3+c3≥3abca^3+b^3+c^3 \geq 3abca3+b3+c3≥3abc が成立する。

よって，x, y, zx,\:y,\:zx,y,z が非負のとき，

a=x3, b=y3, c=z3a=\sqrt[3]{x},\:b=\sqrt[3]{y},\:c=\sqrt[3]{z}a=3x​,b=3y​,c=3z​ を上の不等式に代入すると

x+y+z≥3xyz3x+y+z\geq 3\sqrt[3]{xyz}x+y+z≥33xyz​ となり，

相加相乗平均の不等式を得る。

ちなみに途中で使った変形：

(a2+b2+c2−ab−bc−ca)=12{(a−b)2+(b−c)2+(c−a)2}\begin{aligned} &(a^2+b^2+c^2-ab-bc-ca)\\ &=\dfrac{1}{2}\{(a-b)^2+(b-c)^2+(c-a)^2\} \end{aligned}​(a2+b2+c2−ab−bc−ca)=21​{(a−b)2+(b−c)2+(c−a)2}​

もよく見かけるので覚えておきましょう。背景となる不等式はこちら。 →有名不等式a^2+b^2+c^2≧ab+bc+caのいろいろな証明

2011年のSMO（シンガポール数学オリンピック）の問題ですが，難易度的には入試問題に出てもおかしくありません。

x,yx,yx,y に関する不定方程式 x3+y3−3xy=p−1x^3+y^3-3xy=p-1x3+y3−3xy=p−1 が自然数解を持つような素数 ppp の最大値を求めよ。

c=1c=1c=1 の場合の気づきにくいパターンですが，因数分解公式が適用できます。そして，さきほどの例と同じ式変形を用います。

不定方程式は以下と同値：

(x+y+1)(x2+y2+1−xy−x−y)=p (x+y+1)(x^2+y^2+1-xy-x-y)=p (x+y+1)(x2+y2+1−xy−x−y)=p

よって，ppp が素数なので左辺の2つめの因数は 111 である必要がある：

12{(x−y)2+(x−1)2+(y−1)2}=1 \dfrac{1}{2}\{(x-y)^2+(x-1)^2+(y-1)^2\}=1 21​{(x−y)2+(x−1)2+(y−1)2}=1

これを満たす自然数の組みは (x,y)=(1,2),(2,1),(2,2)(x,y)=(1,2),(2,1),(2,2)(x,y)=(1,2),(2,1),(2,2) のみ。

(x,y)=(2,2)(x,y)=(2,2)(x,y)=(2,2) が解となるときが p=5p=5p=5 で最大となる。