全ては \(y\) 軸に関する対称性を偶関数と言い換え,
その式を書くことからはじまる.
つまり \(f(x) = f(-x)\) と書いて,
偶関数であることを示すと明示する.
これでまず部分点は来るはずだ.
苦手な人ほどこういう手で細かく点を稼いでいこう.

問題の条件は 4 次関数を考えている以外に
【\(y\) 軸に対して対称な 2 点において】しかない.
これをどこまで使い切れるかが勝負だ.
これを使うしかないのだから, まず式を書いていく.
\(\alpha > 0\) として \(\pm \alpha\) で極値を取るとしよう.
\(\alpha > 0\) とまでする必要はないが \(\alpha \neq 0\) の条件は絶対に必要だ.
これがなくては \(y = x^4\) も許されてしまい,
\(y\) 軸に対称な 2 点で極値を取れなくなってしまう.
もちろんこのときも \(y\) 軸について対称で【重複を込めて 2 点】という解釈もあるが,
それだとこの問題が解けなくなってしまう.

\begin{align} f(\alpha) = f(- \alpha), \quad f'(\alpha) = f'(- \alpha) = 0. \end{align}ここで後者は極値を取ることから来ている.
これを \(\alpha \neq 0\) の条件下で解けばいい.

極値の条件があるから導関数の形がある程度決まっているわけで,
そこから攻める手もある.
これが本の【解答 2】の戦略だ.

当然 (1) の結果を使う.
まず関数を偶関数にしてしまおう.

\begin{align} f(x) = ax^4 + cx^2 + e. \end{align}3 つの係数を決めないといけないから 3 つ条件が必要だ.
\(x = \pm 1\) のときの極小値 \(-1\) から 4 つ出て,
極大値 4 から条件が 1 つ出るから 5 つの条件があるように見えるかもしれないが,
偶関数であることを導くのに 2 つ条件を使っているから,
残る条件はちょうど 3 つだ.

極大値の条件で意外とはまるかもしれない.
極大値 4 はいいとして, どこで取るかが書かれていないからだ.
少し考えれば当たり前ではあるが,
この問題の捻ってあるところでもある.
4 次関数の幾何学的特徴にも関わるので,
きちんと頭に入れておこう.
極大値の条件さえクリアすればあとは単純な連立 1 次方程式の問題なので,
どうとでもなるはず.

極値の値の条件と対称性から関数の形がかなり絞り込めるので,
それを使った別解もある.
詳しくは本の【解答 2】を見てほしい.
(1) と違って今度は導関数ではなく元の関数の形を絞り込むのがポイント.