特集記事(高校)

高校

2026.04.09

【#4】大山壇のmath雑談~入試問題演習~「関数の最大・最小(2)」《数学Ⅱ》

 代々木ゼミナール講師の大山が,大学入試問題を紹介しながら,ワンポイントレッスンをしていく連載記事です。
 以前の連載記事『大山壇の入試問題Pick Up !』とテーマが重複することもあるかもしれませんが,主に高校生・大学受験生に向けた内容にしていきます。生徒のみなさんにとっての演習に,先生方にとっては日々の指導の参考に,少しでも役立てば幸いです。

 今回も「関数の最大・最小」をメインテーマとして,3次関数の最大・最小有名不等式の利用を扱います。
 2次関数は平方完成するだけでグラフの様子を把握できたけど,3次以上の関数ではそうはいきません。原則として,微分を使うことになります。
 また,既知の不等式を利用して最大・最小を考えることができる場合があるので,そういった問題を紹介しましょう。

4.1 3次関数の最大・最小

 3次以上の関数では,特別な場合を除いて,微分が原則です。\(f(x)\) を微分して \(f'(x)\) を求め,\({\color{#0693e3}\boldsymbol {f'(x)}}\) の符号を調べることで \(f(x)\)の増減を把握しましょう。まずはシンプルな問題のこちら。

【#4】大山壇のmath雑談~入試問題演習~「関数の最大・最小(2)」《数学Ⅱ》01

 大山は,\(f'(x)\) の符号を調べるために \({\color{#0693e3}\boldsymbol {y = f'(x)}}\)のグラフを描くことをオススメします(解答参照)。もう少し正確に言えば,\(f'(x)\) の符号を調べたい部分 \(g(x)\) だけを取り出して,\(y = g(x)\) のグラフを描いて調べることがオススメです。
 さて,この問題は,極大値をとる \(x\) の値がややメンドウな形になるわけですが,そんなときには次の3つの手法が有効です。

(手法1)そのまま代入する気合いと根性作戦

 3次関数ぐらいなら,直接代入計算でも大して時間かかりません。この程度の計算ができないようでは,どうせ他の場面で困ります。頑張りましょう!

(手法2)次数下げの利用

 極値をとる \(x\) の値を \(\alpha\) とおくと,\(f'(\alpha) = 0\) が成り立つので,\({\color{#0693e3}\boldsymbol {f(x)}}\)\({\color{#0693e3}\boldsymbol {f'(x)}}\) で割ることで \(f(\alpha)\) の値を比較的安全な計算で求めることができます。(解答では,係数をラクに処理できるよう \(\cfrac{f'(x)}{3}\) で割っています。)
 このような計算を次数下げと言います。

(手法3)立方完成の利用

 あまりメジャーな方法ではありませんが,2次関数の平方完成と同様に,3次関数なら立方完成が有効です。任意の3次関数 \(f(x) = ax^3 + bx^2 + cx + d\) は

\(\boldsymbol{f(x) = a(x – p)^3 + m(x – p) + n}\)

という形に変形できます。すると,\(y = f(x)\) のグラフは \({\color{#0693e3}\boldsymbol {y = ax^3 + mx + n}}\)のグラフを \({\color{#0693e3}\boldsymbol {x}}\)軸正の方向に \({\color{#0693e3}\boldsymbol {+p}}\) 平行移動したものと言えるので,関数 \(g(x) = ax^3 + mx + n\) の最大・最小を求めればOKということになります。ただし,定義域も一緒にズラすことを忘れずに!

解答例はこちら

 そして,2次関数同様,文字定数が含まれるときは場合分けが発生することが多くあります。次の問題は「(1)(2)が何の為にあるのか」が分かると,(3)をスムーズに解けるようになっています。

【#4】大山壇のmath雑談~入試問題演習~「関数の最大・最小(2)」《数学Ⅱ》03

 グラフの概形を考えるというよりも,最大・最小をとる可能性があるのは,端点と極値であることに注目して大小を比べてあげると効率よく解くことができます。(解答例はこちら

4.2 有名不等式の利用 その1

 成り立つことが知られている不等式(有名不等式)を利用して,関数の最大・最小を求めることができる場合があります。その一つが相加平均と相乗平均の大小関係です。

《相加平均と相乗平均の大小関係》
\(A \gt 0\) かつ \(B \gt 0\) のとき
\(\boldsymbol {\cfrac{A + B}{2} \geqq \sqrt{AB}}\)
等号成立条件は \(\boldsymbol {A = B}\) である。
(証明)\(A \gt 0\) かつ \(B \gt 0\) のとき,\(A = (\sqrt{A})^2\),\(B = (\sqrt{B})^2\) と書けるので
\(\begin{align*} \cfrac{A + B}{2} – \ \sqrt{AB} &= \cfrac{A + B – 2\sqrt{AB}}{2} \\ &= \cfrac{(\sqrt{A})^2 + (\sqrt{B})^2 – 2\sqrt{A}\sqrt{B}}{2} \\ &= \cfrac{(\sqrt{A} – \sqrt{B})^2}{2} \end{align*}\)
とできる。ここで,\(\sqrt{A}\) と \(\sqrt{B}\) は実数なので,\(\cfrac{(\sqrt{A} – \sqrt{B})^2}{2} \geqq 0\) である。したがって\( \\[13pt]\)
\(\cfrac{A + B}{2} – \ \sqrt{AB} \geqq 0 \quad \therefore \quad \cfrac{A + B}{2} \geqq \sqrt{AB} \\[13pt] \)
等号成立条件は \((\sqrt{A} \ – \ \sqrt{B})^2 = 0\) すなわち \(A = B\) である。

 数学Ⅲを学習しない人は,分数形の関数が出てきたら高確率でこれを使うだろうと認識しておきましょう。ただし,等号成立条件に注意しましょう!(以前の連載記事『【#10】大山壇の入試問題Pick Up!「不等式の意味」』を参照)

 というわけで,分数形の関数の最大値問題です。

【#4】大山壇のmath雑談~入試問題演習~「関数の最大・最小(2)」《数学Ⅱ》05

 数学Ⅲ学習者は,数学Ⅲの微分を利用してもOKなので,練習だと思ってチャレンジしてみましょう!(解答例はこちら

4.3 有名不等式の利用 その2

 二つ目の有名不等式はコーシー・シュワルツの不等式です。

《コーシー・シュワルツの不等式》
実数 \(a, b, c, x, y, z\) に対して
\(\boldsymbol {(a^2 + b^2 + c^2)(x^2 + y^2 + z^2) \geqq (ax + by + cz)^2}\)
等号成立条件は \(\boldsymbol {a : b : c = x : y : z}\) である。

 まずは,気合と根性のゴリ押し計算による証明です。

(証明)実数 \(a, b, c, x, y, z\) に対して
\(\begin{align*} &(a^2 + b^2 + c^2)(x^2 + y^2 + z^2) – (ax + by + cz)^2 \\ &= (a^2x^2 + a^2y^2 + a^2z^2 + b^2x^2 + b^2y^2 + b^2z^2 + c^2x^2 + c^2y^2 + c^2z^2) \\ & \quad \quad- (a^2x^2 + b^2y^2 + c^2z^2 + 2abxy + 2bcyz + 2cazx) \\ &= (a^2y^2 + b^2x^2 – 2abxy) + (b^2z^2 + c^2y^2 – 2bcyz) + (c^2x^2 + a^2z^2 – 2cazx) \\ &= (ay – bx)^2 + (bz – cy)^2 + (cx – az)^2 \\ &\geqq 0 \end{align*}\)
であるから
\((a^2 + b^2 + c^2)(x^2 + y^2 + z^2) \geqq (ax + by + cz)^2\)
等号成立条件は
\(ay \ – \ bx = 0\) かつ \(bz \ – \ cy = 0\) かつ \(cx \ – \ az = 0\)
\(\therefore\quad a : b = x : y\) かつ \(b : c = y : z\) かつ \(c : a = z : x\)
\(\therefore\quad a : b : c = x : y : z\)

 次はベクトルを利用した証明です。なお,大山は座標とベクトルの混同を避けるため,座標は \((x, y, z)\) といった横ベクトル表記,ベクトルは \(\begin{pmatrix} x \\ y \\ z \end{pmatrix}\) といった縦ベクトル表記を用いています。

(証明2)実数 \(a, b, c, x, y, z\) に対して
\(\vec{p} = \begin{pmatrix} a \\ b \\ c \end{pmatrix}, \quad \vec{q} = \begin{pmatrix} x \\ y \\ z \end{pmatrix} \\[25pt] \)
とし,なす角を \(\theta\) とすると,\(-1 \leqq \cos \theta \leqq 1\) なので
\(|\vec{p}|^2 |\vec{q}|^2 \geqq |\vec{p}|^2 |\vec{q}|^2 \cos^2 \theta = (\vec{p} \cdot \vec{q})^2 \)
が成りたつ。ここで
\(|\vec{p}|^2 = a^2 + b^2 + c^2, \quad |\vec{q}|^2 = x^2 + y^2 + z^2, \quad \vec{p} \cdot \vec{q} = ax + by + cz\)
であるから
\((a^2 + b^2 + c^2)(x^2 + y^2 + z^2) \geqq (ax + by + cz)^2\)
等号成立条件は \(\cos^2 \theta = 1\) すなわち \(\cos \theta = \pm 1 \) なので
\(\vec{p} /\!/ \vec{q} \quad \therefore \quad a : b : c = x : y : z\)

 そして次は,ややテクニカルな証明です。

(証明3)実数 \(t\) についての2次関数 \(f(t)\) を
\(\begin{align*} f(t) &= (at – x)^2 + (bt – y)^2 + (ct – z)^2 …① \\ &= (a^2 + b^2 + c^2)t^2 – 2(ax + by + cz)t + (x^2 + y^2 + z^2) …② \end{align*}\)
とすると,①より,すべての実数 \(t\) に対して \(f(t) \geqq 0\) が成り立つ。
したがって,②の判別式 \(D\) に注目して \(D \leqq 0\) が成りたつ。ゆえに
\(\cfrac{D}{4} = (ax + by + cz)^2 – (a^2 + b^2 + c^2)(x^2 + y^2 + z^2) \leqq 0\) \(\\[5pt]\) \(\therefore \quad (ax + by + cz)^2 \leqq (a^2 + b^2 + c^2)(x^2 + y^2 + z^2)\)
等号成立条件は \(D = 0\) なので,①より
\(at – x = bt – y = ct – z = 0 \) となる \(t\) が存在する。
\(\therefore\quad a : b : c = x : y : z\)

 さて,このコーシー・シュワルツの不等式を利用するとラクに解けるのが次の問題です。

【#4】大山壇のmath雑談~入試問題演習~「関数の最大・最小(2)」《数学Ⅱ》07

 大山には \(2x + y + 2z\) が

\(\vec{p} = \begin{pmatrix} 2 \\ 1 \\ 2 \end{pmatrix}\) と \(\vec{q} = \begin{pmatrix} x \\ y \\ z \end{pmatrix}\)

内積に見える特殊能力が備わっている…というのは冗談ですが,\(ax + by +cz\) の形の式が内積に見えるようになると視界が開ける場面は多々あります。

 そんなわけで,本問でコーシー・シュワルツの不等式を試してみようと思えるのです。(解答例はこちら


 第4回は以上になります。
 大山は絶賛花粉症です(何の脈絡もありません…)。目をこすりこすりPC画面を覗きながら書く次回の内容は,「漸化式」を予定しています。お楽しみに♪

【大山 壇(おおやま だん)先生 プロフィール】
宇都宮北高校,東北大学理学部数学科卒。
2006年度から代々木ゼミナールの講師となり,現在は新宿本部校と札幌校に出講しています。対面・映像の授業の他にも,テキスト・模試・解答速報の作成なども行っています。
もっと毒をはいている大山を見たい方は,X(旧Twitter)をどうぞ!→ @dan_oyama_0206
《著書》
・『全国大学入試問題正解』(旺文社)解答執筆(京大,一橋大,東北大など)
・『整数 分野別標準問題精講』(旺文社)
・『全レベル問題集③』(旺文社)
・『全レベル問題集⑤』(旺文社)
・『大山壇の基本から身につける計算力IA』(KADOKAWA)
・『大山壇の基本から身につける計算力IIB』(KADOKAWA)

その他のコンテンツ