【標準】対称性のある式の因数分解

ここでは、対称性のある式の因数分解を見ていきます。対称性がある式は、どこから手をつければいいのかわかりづらいのですが、「1つの文字に着目する」という方針で解いていけばうまくいくことが多いです。

対称性を崩してしまうので抵抗がありますが、最終的にはまた対称性のある式に戻ります。

例題1

さっそく例を見ていきましょう。

$a$ を $b$ に、$b$ を $c$ に、$c$ を $a$ に変換しても、元の式に戻ります。対称性があってきれいな状態ですが、このままでは因数分解をすることができません。

そこで、まず、$a$ について整理することを考えます。
\begin{eqnarray} & & ab(a+b) +bc(b+c) +ca(c+a) +2abc \\[5pt] &=& a^2b+ab^2 +bc(b+c) +c^2a +ca^2 +2abc \\[5pt] &=& (b+c)a^2+(b^2+2bc+c^2)a +bc(b+c) \\[5pt] &=& (b+c)a^2+(b+c)^2a +bc(b+c) \\[5pt] &=& (b+c)\{a^2+(b+c)a +bc\} \\[5pt] &=& (b+c)(a+b)(a+c) \\[5pt] &=& (a+b)(b+c)(c+a) \\[5pt] \end{eqnarray}2行目から3行目は、$a$ について並べただけですね。そうすると、$b+c$ という共通項が出てくるので、これでくくります。波かっこの中はさらに因数分解することができるので、因数分解して巡回するように並びなおします。

元の式に対称性があったので、因数分解をした後も対称性のある式になりました。対称性が崩れるような式変形から始まるので少し抵抗はありますが、どれか1つの文字に着目しないと前に進みません。

例題2

先ほどと似ているところもありますが、次はこれを考えてみます。

これもきれいな形をしていますが、まずは $a$ について変形していく、という方針で解いていきます。
\begin{eqnarray} & & ab(a-b) +bc(b-c) +ca(c-a) \\[5pt] &=& a^2b-ab^2 +bc(b-c) +c^2a -ca^2 \\[5pt] &=& (b-c)a^2-(b^2-c^2)a +bc(b-c) \\[5pt] &=& (b-c)a^2-(b-c)(b+c)a +bc(b-c) \\[5pt] &=& (b-c)\{ a^2-(b+c)a +bc \} \\[5pt] &=& (b-c)(a-b)(a-c) \\[5pt] &=& -(a-b)(b-c)(c-a) \\[5pt] \end{eqnarray}最後は巡回するように変形していますが、下から2行目の段階で答えにしてもかまいません。

例題3

似たような方針で解けますが、次の問題も考えてみます。

これは例題1の問題に $abc$ が追加されたものです。途中までは同じような式変形です。
\begin{eqnarray} & & ab(a+b) +bc(b+c) +ca(c+a) +3abc \\[5pt] &=& a^2b+ab^2 +bc(b+c) +c^2a +ca^2 +3abc \\[5pt] &=& (b+c)a^2+(b^2+3bc+c^2)a +bc(b+c) \\[5pt] \end{eqnarray}ここまでは同じですが、ここから先はなかなか進めません。少し難しいですが、次のように変形してみます。 \begin{eqnarray} & & (b+c)a^2+(b^2+3bc+c^2)a +bc(b+c) \\[5pt] &=& (b+c)a^2+\{ (b+c)^2 +bc \}a +bc(b+c) \\[5pt] \end{eqnarray}ここから先は、たすき掛けです。試行錯誤すると、次の場合が成り立つことが分かります。 　$b+c$　　$bc$
　　　　×
　　$1$　　　$b+c$
このことから、続きはこうなります。
\begin{eqnarray} & & (b+c)a^2+\{ (b+c)^2 +bc \}a +bc(b+c) \\[5pt] &=& \{ (b+c)a +bc \} \{ a + (b+c) \} \\[5pt] &=& (ab+ac+bc)(a+b+c) \\[5pt] &=& (a+b+c)(ab+bc+ca) \\[5pt] \end{eqnarray}例題1に $abc$ が加わるだけで、だいぶ結果が変わります。出てくる式はどちらも対称性がありますね。

おわりに

ここでは、対称性のある式の因数分解を見てきました。どれか1つの文字に着目して変形していきましょう。対称性が一時的に崩れますが、最終的には対称性のあるきれいな式になります。