数学の問題を解いていると、突然「この不等式を証明せよ」という一文に出会うことがあります。
特に微分を使った不等式の証明は、高校数学の中でもつまずきやすい単元のひとつです。
なぜなら、単に計算をするだけでなく、関数の増減や極値、最大最小といった性質を論理的に組み立てる力が求められるからです。
今回は微分の不等式の証明方法について、基本的な考え方から具体的な手順、そして例題までを丁寧に解説していきます。
増減表の使い方やf'(x)の符号の読み取り方に自信がない方にも、わかりやすい内容になるよう心がけました。
この記事を読み終えるころには、微分を使った不等式の証明に対する苦手意識がぐっと減っているはずです。
それでは早速、本題に入っていきましょう。
微分の不等式の証明で最も大切な結論とは
それではまず、微分の不等式の証明において最も重要となる結論部分について解説していきます。
結論から言うと、微分を使った不等式の証明では差の関数を作り、その関数の増減を調べるという発想がすべての土台になります。
証明したい不等式がA大なりBという形であれば、Aマイナス引くBという新しい関数を定義することがスタート地点です。
この新しい関数をf(x)と置き、微分してf'(x)を求め、その符号を調べていくことで関数の増減がわかります。
増減がわかれば、ある区間でf(x)が常に0以上であることを示すことができ、それがそのまま元の不等式の証明になるのです。
微分による不等式証明の結論は、証明したい式を差の形に変形し、その関数の最小値が0以上であることを示すという一点に尽きます。
この発想さえ身につければ、多くの不等式証明は同じパターンで解けるようになるでしょう。
差の関数を作って増減を調べるのが基本
不等式の証明では、左辺と右辺をそのまま比較しようとすると難しく感じることが多いものです。
そこで有効なのが、左辺から右辺を引いた関数を新しく定義するという方法です。
例えばA以上Bを証明したいなら、f(x)イコールAマイナスBという関数を考えます。
この関数が常に0以上であることを示せれば、証明は完了します。
差を取るという発想は、微分に限らずさまざまな不等式証明で使われる基本テクニックといえるでしょう。
f'(x)の符号から不等式の証明ができる理由
なぜf'(x)の符号を調べることが不等式の証明につながるのでしょうか。
その理由は、導関数の符号が関数の増減を直接反映しているからです。
f'(x)がプラスであればf(x)は増加し、マイナスであれば減少します。
この性質を利用すれば、ある点でのf(x)の値がわかっている場合、その前後でf(x)がどう変化するかを追うことができます。
結果として、区間全体でf(x)が0以上であることを論理的に示せるようになるのです。
極値や最大最小を使う場合のポイント
差の関数の増減を調べた結果、極値や最大最小の値が重要な役割を果たすことがあります。
特に区間内に極小値が存在する場合、その極小値が0以上であることを確認できれば証明が成立します。
逆に極大値を利用する場面もあり、どちらを使うべきかは不等式の向きによって変わってくるでしょう。
このあたりの判断力は、実際に多くの例題を解くことで自然と身についていきます。
焦らず一つずつ丁寧に確認していくことが上達への近道です。
微分による不等式証明の基本手順
続いては、実際に微分を使って不等式を証明する際の基本的な手順を確認していきます。
手順を型として覚えておくと、初見の問題にも落ち着いて対応できるようになるでしょう。
大きく分けると、差の関数を定義する段階、導関数を求めて符号を調べる段階、そして増減表から結論を導く段階の三つです。
この流れを表にまとめると次のようになります。
| 手順 | 内容 | 注意点 |
|---|---|---|
| ステップ1 | 差の関数f(x)を定義する | 証明したい不等式の向きを間違えない |
| ステップ2 | f'(x)を求めて符号を調べる | 因数分解できる形に整理する |
| ステップ3 | 増減表を書いて結論を導く | 定義域や境界値の確認を忘れない |
この三段階をしっかり押さえておけば、多くの不等式証明問題に対応できるようになります。
ステップ1差の関数を定義する
まず最初に行うべきことは、証明したい不等式を差の形に変形することです。
例えばxが0より大きいときにeのx乗が1プラスxより大きいことを証明したいとしましょう。
f(x)イコール、eのx乗マイナス1マイナスxと定義します。
この時点でf(0)イコール0であることも確認しておくとよいでしょう。
差の関数を定義する際は、どちらからどちらを引くのかを明確にしておくことが大切です。
符号を間違えると、その後の議論すべてが崩れてしまうため注意が必要でしょう。
定義した関数が0以上になることを示せば、元の不等式の証明が完成する仕組みです。
ステップ2導関数を求めて符号を調べる
差の関数を定義したら、次にその関数を微分してf'(x)を求めます。
先ほどの例であればf'(x)イコールeのx乗マイナス1となります。
ここでxが0より大きい範囲を考えているため、eのx乗は1より大きい値を取ります。
つまりf'(x)は常にプラスであり、f(x)は単調に増加することがわかるのです。
この符号判定こそが、証明全体の中で最も頭を使う部分といえるでしょう。
因数分解や不等式の性質をフル活用しながら、慎重に符号を確認していきましょう。
ステップ3増減表から結論を導く
f'(x)の符号がわかったら、増減表を作成して関数全体の動きを可視化します。
先ほどの例では、xが0より大きい範囲でf'(x)がプラスなので、f(x)は単調増加です。
そしてf(0)イコール0であることから、xが0より大きい範囲ではf(x)は0より大きくなります。
これはつまり、eのx乗マイナス1マイナスxが0より大きい、すなわちeのx乗が1プラスxより大きいことを意味します。
このように増減表から数値的な結論を導き出す流れが、証明の締めくくりになるのです。
f'(x)の符号と関数の増減の関係を確認
続いては、証明の核となるf'(x)の符号と関数の増減の関係について、もう少し詳しく確認していきます。
この関係性を正しく理解しているかどうかで、証明のスピードと正確さが大きく変わってきます。
f'(x)がプラスのときの意味
f'(x)がある区間で常にプラスであるとき、その区間でf(x)は単調に増加します。
これはグラフで考えると、右肩上がりの曲線を描いているイメージです。
単調増加であることがわかれば、区間の左端での値さえ確定すれば、それより右側の値は常にそれ以上になると断言できます。
この性質は不等式証明において非常に強力な武器となるでしょう。
特に端点の値が0や特定の定数になる場合、証明の道筋が一気に見えてくることが多いです。
f'(x)がマイナスのときの意味
反対にf'(x)がマイナスであれば、f(x)はその区間で単調に減少します。
グラフで言えば右肩下がりの曲線であり、左端の値が最大値になるという性質を持ちます。
減少関数であることを利用すれば、ある点より右側の値は必ずそれ以下になることを示せます。
プラスの場合と考え方は表裏一体ですが、混同しないよう注意深く扱う必要があるでしょう。
符号を読み間違えると不等号の向きまで逆転してしまうため、慎重な計算が求められます。
増減表の書き方のコツ
増減表を書く際は、まずxの値と定義域の区切りを横一列に並べます。
次にf'(x)の符号をプラスマイナスで記入し、その下にf(x)の矢印を書き込んでいきます。
| x | 0 | 区間内 |
|---|---|---|
| f'(x) | 0 | プラス |
| f(x) | 0 | 増加 |
このように表として整理することで、頭の中だけで考えるよりもミスが格段に減ります。
複雑な問題ほど、手を動かして増減表を丁寧に書くことが結局は近道になるのです。
面倒に感じても省略せず、毎回書く習慣をつけておくとよいでしょう。
極値を利用した不等式の証明方法
続いては、極値を利用したタイプの不等式証明について確認していきます。
すべての問題が単調増加や単調減少だけで解けるわけではなく、途中に極値を持つケースも少なくありません。
極大値と極小値の性質
f'(x)が正から負に変わる点では極大値を、負から正に変わる点では極小値を取ります。
不等式の証明において重要になるのは、圧倒的に極小値のケースです。
なぜなら、区間内の最小値が0以上であることを示せれば、その区間全体でf(x)が0以上だと結論づけられるからです。
極大値については、上限を示したい場合に利用されることがあります。
どちらの極値を使うべきかは、証明したい不等式の向きに応じて判断していきましょう。
極値と端点の値を比較する
極値を求めたら、次に行うべきは端点の値との比較です。
区間の端点における値と極値のうち、どちらが小さいかを確認する必要があります。
この比較を怠ると、実は端点のほうが小さかったという見落としが起きてしまうかもしれません。
特に閉区間で証明する問題では、端点の確認を省略しないよう気をつけたいところです。
丁寧に比較することで、証明に穴がないかどうかを確実にチェックできます。
極値が不等式の鍵になる例
f(x)イコールxの2乗マイナス2xプラス3という関数を考えます。
f'(x)イコール2xマイナス2であり、xイコール1でf'(x)は0になります。
xが1より小さいときf'(x)はマイナス、xが1より大きいときf'(x)はプラスです。
したがってxイコール1で極小値を取り、その値はf(1)イコール2となります。
このように極小値が2であることがわかれば、すべてのxに対してf(x)が2以上であることが証明できます。
極値を経由することで、直接比較が難しい不等式でも見通しよく証明を進められるのです。
最大値と最小値を使った証明のテクニック
続いては、最大値と最小値を活用した不等式証明のテクニックについて確認していきます。
特に定義域が区間として限定されている問題では、この考え方が非常に有効になります。
最大最小を使う場面
最大値や最小値を使う場面は、証明したい不等式に上限や下限が絡んでいるときです。
例えば区間内でのf(x)の最大値がある定数以下であることを示したい場合が代表的でしょう。
このとき、単に増減を調べるだけでなく、極値と端点のすべての候補を比較する必要があります。
候補が複数ある場合は、そのすべてを数値として比較することが欠かせません。
比較を怠ると誤った結論を導いてしまう可能性があるため、慎重さが求められます。
区間ごとの最大最小の求め方
区間が指定されている場合、まずその区間内でf'(x)が0になる点を探します。
次に、その点と区間の両端における値をすべて計算します。
| 比較対象 | 値の例 | 役割 |
|---|---|---|
| 区間の左端 | f(a) | 最小最大の候補 |
| 極値の点 | f(c) | 最小最大の候補 |
| 区間の右端 | f(b) | 最小最大の候補 |
この三つの値のうち最も大きいものが最大値、最も小さいものが最小値です。
候補を漏れなく列挙することが、最大最小を使った証明の成否を分けるといえるでしょう。
最大最小と不等式の関係性
最大値や最小値がわかれば、それを不等式の証明に直結させることができます。
最小値が0以上であれば、区間内のすべてのxでf(x)が0以上だと言えます。
逆に最大値がある定数以下であれば、区間内のすべてのxでf(x)がその定数以下だと示せます。
この対応関係をしっかり理解しておけば、応用問題にも柔軟に対応できるようになるでしょう。
最大最小の議論は一見面倒に思えても、実は証明を最も確実にしてくれる方法なのです。
具体的な例題で証明の流れを確認
続いては、ここまで解説してきた考え方を踏まえて、具体的な例題を通して証明の流れを確認していきます。
実際に手を動かして解いてみることで、理解がより深まるはずです。
例題1基本的な不等式の証明
問題、xが0より大きいときsinxがxより小さいことを証明しなさい。
f(x)イコールxマイナスsinxと定義します。
f'(x)イコール1マイナスcosxとなり、cosxは常に1以下なのでf'(x)は常に0以上です。
さらにf(0)イコール0であることから、xが0より大きい範囲でf(x)は0より大きくなります。
したがってxマイナスsinxが0より大きく、sinxがxより小さいことが証明できました。
この例題は、差の関数を作るという基本パターンの典型例といえるでしょう。
初めて取り組む方は、まずこのような基本形から練習していくのがおすすめです。
例題2指数関数を含む不等式
問題、xが実数全体のときeのx乗が1プラスxより大きいか等しいことを証明しなさい。
f(x)イコールeのx乗マイナス1マイナスxと定義します。
f'(x)イコールeのx乗マイナス1であり、xイコール0でf'(x)は0になります。
xが0より小さいときf'(x)はマイナス、xが0より大きいときf'(x)はプラスです。
つまりxイコール0で極小値を取り、その値はf(0)イコール0となります。
極小値が0であることから、すべての実数xに対してf(x)が0以上であることがわかります。
これにより、eのx乗が常に1プラスx以上であることが証明されました。
指数関数を含む不等式では、このように極値を経由する証明パターンがよく登場します。
例題3対数関数を含む不等式
問題、xが0より大きいときlogxがxマイナス1以下であることを証明しなさい。
f(x)イコールxマイナス1マイナスlogxと定義します。
f'(x)イコール1マイナス1割るxであり、xイコール1でf'(x)は0になります。
xが1より小さいときf'(x)はマイナス、xが1より大きいときf'(x)はプラスです。
したがってxイコール1で極小値を取り、その値はf(1)イコール0となります。
極小値が0であることから、xが0より大きい範囲でf(x)は常に0以上だとわかります。
これはつまりxマイナス1マイナスlogxが0以上、すなわちlogxがxマイナス1以下であることを意味します。
対数関数の不等式でも、差の関数を作って極値を調べるという基本の型が変わらないことがよくわかるでしょう。
こうした例題を何度も繰り返し解くことで、初見の問題にも応用できる力が自然と身についていきます。
まとめ
今回は微分の不等式の証明方法について、手順と例題を交えながら詳しく解説してきました。
証明の出発点は常に、差の関数を作りその増減を調べるという発想にあります。
f'(x)の符号を正確に読み取り、増減表を丁寧に書くことが証明を成功させる最大のポイントです。
単調増加や単調減少だけでなく、極値や最大最小を利用する場面もしっかり押さえておく必要があるでしょう。
指数関数や対数関数を含む問題でも、基本の型は変わらないため、まずは典型パターンを繰り返し練習することをおすすめします。
最初は難しく感じても、手順を一つずつ丁寧になぞっていけば、必ず解けるようになるはずです。
今回の内容が、微分を使った不等式の証明に取り組む際の助けになれば幸いです。
