a+b+c=0\ のとき,\ a^3+b^3+c^3+3(a+b)(b+c)(c+a)=0\ を証明せよ.条件付き等式の証明}}}} \\\\[.5zh] $a+b+c=0\ より \textcolor{red}{c=-\,(a+b)}$ \\[1zh] $\textcolor{cyan}{(左辺)}=a^3+b^3+\{\textcolor{red}{-\,(a+b)}\}^3+3(a+b)\{b\textcolor{red}{\,-\,(a+b)}\}\{\textcolor{red}{-\,(a+b)}+a\}$ \\[.2zh] $\phantom{(左辺)}=a^3+b^3-(a^3+3a^2b+3ab^2+b^3)+3(a+b)(-\,a)(-\,b)$ \\[.2zh] $\phantom{(左辺)}=-\,3a^2b-3ab^2+3ab(a+b)=-\,3a^2b-3ab^2+3a^2b+3ab^2=\textcolor{cyan}{0}$ \\\\[1zh] \betu\ \ [\textbf{\textcolor{blue}{\,対称性と因数分解公式を利用\,}}] \\[1zh] $a+b+c=0\ より \textcolor{red}{a+b=-\,c,\ \ b+c=-\,a,\ \ c+a=-\,b}$ \\[.5zh] $\textcolor{cyan}{(左辺)}=a^3+b^3+c^3+3(\textcolor{red}{-\,c})(\textcolor{red}{-\,a})(\textcolor{red}{-\,b})$ \\[.2zh] $\phantom{(左辺)}=a^3+b^3+c^3-3abc$ \\[.2zh] $\phantom{(左辺)}=\textcolor[named]{ForestGreen}{(a+b+c)(a^2+b^2+c^2-ab-bc-ca)}$ \\[.2zh] $\phantom{(左辺)}=\textcolor{cyan}{0}$ \bm{等式条件つきの証明は,\ 1文字消去が大原則}である. \\[.2zh] 1文字消去することで条件を使い切れば,\ 必ず証明できるはずである. \\[.2zh] ここではc=の形にして代入することにより,\ cを消去した.\ 後は普通に計算するだけである. \\[1zh] 本問のように式に対称性がある場合,\ \bm{対称性を生かす工夫をする}と楽に証明できる(別解). \\[.2zh] まず,\ 条件式を変形すると,\ \bm{2文字の和を1文字で表す}ことができる. \\[.2zh] これにより,\ 3(a+b)(b+c)(c+a)=-\,3abc\,となる. \\[.2zh] その後は因数分解公式(要暗記)を適用し,\ 再びa+b+c=0を利用する. \\[.2zh] 1文字消去でゴリ押しする解法と対称性を生かす解法の両方を習得しておいてほしい. \bunsuu1a+\bunsuu1b+\bunsuu1c=\bunsuu{1}{a+b+c}\ とする.$ \\[1zh] \hspace{.5zw}$nが奇数のとき,\ \bunsuu{1}{a^n}+\bunsuu{1}{b^n}+\bunsuu{1}{c^n}=\bunsuu{1}{(a+b+c)^n}\ が成り立つことを示せ.$ $\bunsuu1a+\bunsuu1b+\bunsuu1c=\bunsuu{1}{a+b+c} より \bunsuu{bc+ca+ab}{abc}=\bunsuu{1}{a+b+c}$ \\[1zh] $分母をはらうと (bc+ca+ab)(a+b+c)=abc$ \\[.2zh] $同値変形により (a+b)(b+c)(c+a)=0$ \\[.5zh] $よって \textcolor{red}{a+b=0\ \ または\ \ b+c=0\ \ または\ \ c+a=0}$ \\\\ $a+b=0\ のとき \textcolor{red}{a=-\,b}$ 与えられた条件式の形のままでは,\ 1文字消去も対称性を生かすのも困難である. \\[.2zh] まず,\ \bm{条件式を同値変形して簡潔な表現に変換する}ことを考える. \\[.2zh] 実質的に,\ 等式の証明というよりも\bm{対称式の因数分解}の問題である. \\[1zh] 複数の文字を含む因数分解は,\ 最も次数が低い文字で整理して行うのであった. \\[.2zh] a,\ b,\ cいずれについても2次なので,\ aで整理することにする. \\[.5zh] (bc+ca+ab)(a+b+c)=abc \\[.2zh] (bc+ca+ab)(a+b+c)-abc=0 \\[.2zh] \{(b+c)a+bc\}\{a+(b+c)\}-bca=0 (aの式とみてaで整理してから展開) \\[.2zh] (b+c)a^2+\{(b+c)^2+bc\}a+bc(b+c)-bca=0 \\[.2zh] (b+c)a^2+(b+c)^2a+bc(b+c)=0 \\[.2zh] (b+c)\{a^2+(b+c)a+bc\}=0 \\[.2zh] (b+c)(a+b)(a+c)=0 \\[.2zh] (a+b)(b+c)(c+a)=0 (循環するように整理) \\[1zh] さらに次の同値変形により,\ 条件が簡潔な表現になる. \\[.2zh] \bm{ABC=0\ \Longleftrightarrow\ A=0\ \ または\ \ B=0\ \ または\ \ C=0} \\[1zh] 後は,\ それぞれの場合について\bm{左辺と右辺をそれぞれ1文字消去}すると証明できる. \\[.2zh] 過程が全く同じなのですべて記述する必要はなく,\ 「同様に」で済ませておけばよい.
