導數(shù)在不等式證明中的應用

高珍妹

【摘要】不等式的求解證明方法很多，靈活運用不等式的性質與不等式的求解證明方法是解決許多問題的關鍵。本文歸納了根據(jù)所給不等式的特征來利用導數(shù)證明的一些方法，并介紹了其具體的證明思路.

【關鍵詞】導數(shù) ?不等式 ?證明

引言

數(shù)學問題的解決關鍵在于我們對待數(shù)學問題的方法，如果在學習數(shù)學的過程中，我們能有意識地將數(shù)學問題系列化，解決數(shù)學問題的方法系列化，那么解決數(shù)學問題的能力將會得到升華。本文歸納了幾種根據(jù)不等式的結構特征構造函數(shù)，將不等式問題轉化為函數(shù)的問題，從而應用導數(shù)的性質證明不等式的方法.

一、用導數(shù)定義證明不等式

定理定義

定義一（導數(shù)定義）

導數(shù)定義：設函數(shù)y=f（x）在點x0的某個鄰域內(nèi)有定義，若極限 ? 存在，則稱函數(shù)f（x）在點x0可導，稱該極限為

函數(shù)f（x）在點x0的導數(shù)，記作f`（x0）.

令 ， ，

則 .

證明方法和思路

找出x0，使得 ?恰為所要證明不等式的一邊;

利用導數(shù)的定義并結合已知條件去研究.

適用范圍

用導數(shù)定義證明不等式，應仔細觀察問題中的條件與結論之間的關系.有些不等式符合導數(shù)的定義，因此可利用導數(shù)的定義將其形式轉化，以達到化繁為簡的目的.

利用導數(shù)的定義得：

由于 .所以

即 .

二、拉格朗日（Lagrange）中值定理證明不等式法

定理定義

定理一（拉格朗日中值定理）：若函數(shù)f（x）滿足下列條件：

（1）f（x）在閉區(qū)間[a、b]上連續(xù);

（2）f（x）在開區(qū)間（a、b）內(nèi)可導，則在（a、b）內(nèi)至少存在一點ζ ，使得 ? ? ?.

證明方法和思路

構造輔助函數(shù)f（x），并確定f（x）施用拉格朗日中值定理的區(qū)間（a、b）;

運用拉格朗日中值定理得到等式;

根據(jù) ，消去 .

適用范圍

當所證的不等式中含有函數(shù)值與一階導數(shù)，或函數(shù)增量與一階導數(shù)時，可用拉格朗日中值定理來證明.

三、用函數(shù)的單調性證明不等式

定理定義

定理二： 若函數(shù)f（x）在（a、b）上可導，則f（x）在（a、b）上遞增（遞減）的充要條件是：

.

定理三： 設函數(shù)f（x）在（a、b）連續(xù)，在（a、b）內(nèi)可導，如果在（a、b）內(nèi)f′（x）>0（或f′（x）<0），那么f（x）在（a、b）上嚴格單調增加（或嚴格單調減少）.

定理四： 設函數(shù)f（x）在（a、b）內(nèi)可微，若f′（x）>0（或f′（x）<0）），則f（x）在（a、b）內(nèi)嚴格遞增（或嚴格遞減）.

證明方法和思路

構造輔助函數(shù)f（x），并確定f（x）所在區(qū)間（a、b）;

求f′（x），確定f（x）在區(qū)間（a、b）上的單調性，從而證明不等式.

適用范圍

利用函數(shù)單調性證明不等式，不等式兩邊的函數(shù)必須可導;對所構造的輔助函數(shù)f（x）應在某閉區(qū)間上連續(xù)，開區(qū)間內(nèi)可導，且在閉區(qū)間的某端點處f（x）的值為0，然后通過在開區(qū)間內(nèi)f′（x）的符號來判斷f（x）在閉區(qū)間上的單調性.

四、函數(shù)的極值與最值證明不等式

定理定義

定理五（極值的第一充分條件）：設f（x）在x0連續(xù)，在U0（x0;δ）內(nèi)可導，

若當 ? ? ? ? 時 ? ? ? ? ? ? ? ，當 ? ? ? ? ? ? ? ? ? ? ? ? ? 時 ? ? ? ? ? ? ? ?，則f（x）在x0取得極大值;

若當 ? ? ? ? ? ? ? ? ? 時 ? ? ? ? ? ? ? ? ，當 ? ? ? ? ? ? ? ? ? ? ? ? ? 時 ? ? ? ? ? ? ? ，則f（x）在x0取得極小值.

定理六（極值的第二充分條件）：設f（x）在x0的某領域

內(nèi)一階可導，在x=x0處二階可導，且f′（x0）=0， ? ? ? ? ，若 ? ? ? ? ? ? ? ? ，則f（x）在x0取得極大值;若 ? ? ? ? ? ? ? ? ，則f（x）在x0取得極小值.

定理七（極值的第三充分條件）：設f（x）在x0的某鄰域內(nèi)存在直到n-1階導函數(shù)，在x0處n階可導，

且 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?， ? ? ? ? ? ? ? ? ? ?，則

當n為偶數(shù)時，f（x）在x0取得極值，且當 ? ? ? ? ? ? ? ? ? ? ?時取極大值， ? ? ? ? ? ? ? ? ? 時取極小值.

當n為奇數(shù)時，f（x）在x0處不取極值.

證明方法和思路

構造輔助函數(shù)f（x），并取定其區(qū)間.求出f（x）在所設區(qū)間上的極值與最大、最小值.

適用范圍

所設函數(shù)f（x）在某閉區(qū)間上連續(xù)，開區(qū)間內(nèi)可導，但在所討論的區(qū)間上不是單調函數(shù)時.

只能證不嚴格的不等式而不能證出嚴格的不等式.

五、用柯西中值定理證明不等式

定理定義

定理八 ?（柯西中值定理）：設函數(shù)f（x）和g（x）滿足：

在[a、b]上都連續(xù);在（a、b）上都可導; f′（x）和g′（x）不同時為零; ? ? ? ? ? ? ? ? ? ? ? ? .

則存在 ? ? ? ? ? ? ? ?，使得 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? .

證明方法和思路

構造兩個輔助函數(shù)f（x）和g（x），并確定條件區(qū)間[a、b];

運用柯西中值定理得到等式;

運用ζ與a、b的關系，對柯西公式進行加強不等式.

適用范圍

當不等式含有兩個函數(shù)的函數(shù)值及其一階導數(shù)，或兩個函數(shù)的函數(shù)增量及其一階導數(shù)時，可用柯西中值定理證明.

六、用函數(shù)的凹凸性證明不等式

定理定義

定義二：

凹凸函數(shù)定義：設f（x）為定義在區(qū)間I上的函數(shù)，若對I上的任意兩點x1，x2和任意實數(shù) ? ? ? ? ? ? ? ?總有

，

則稱f（x）為I上的凸函數(shù).反之，如果總有

，

則稱f（x）為I上的凹函數(shù).

定理九：設f（x）為區(qū)間I上的二階可導函數(shù)，則在I上f（x）為凸函數(shù)（或凹函數(shù)）的充要條件是

.

命題（詹森不等式）：若f（x）在[a、b]上為凸函數(shù)，則對任意的 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ， ? ? ? ? ? ? ? ? ? ? ? ?， ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 有 .

定理十：若函數(shù)f（x）在[a、b]內(nèi)有二階導數(shù)，則任意的 ?，

有

，即

當且僅當x1=x2=L xn時，不等式中等號成立.

定理十一：若函數(shù)f（x）在[a、b]內(nèi)有二階導數(shù)，且 ? ? ? ? ? ，則在[a、b]內(nèi)任意的xi（i=1，2，L n） ，有

當且僅當x1=x2=L xn時，不等式中等號成立.

證明方法和思路

定義證明法：將不等式寫成定義的形式，構造輔助函數(shù)f（x），并討論f（x）在所給區(qū)間上的凹凸性.

詹森不等式法：對一些函數(shù)值的不等式，構造凸函數(shù)，應用詹森不等式能快速證明此類不等式.

適用范圍

當不等式可寫成凹凸函數(shù)定義的形式或對一些含有函數(shù)值且只能夠構造凸函數(shù)的不等式.

七、用泰勒公式證明不等式

定理定義

定理十二（泰勒定理）：若函數(shù)f（x）在閉區(qū)間[a、b]上存在直至n階的連續(xù)導函數(shù)，

在開區(qū)間（a、b）內(nèi)存在（n+1）階導函數(shù)，則對任意給定的x，x0∈[a，b]，至少存在一點ζ∈（a、b），使得

證明方法和思路

根據(jù)已知條件，圍繞證明目標，選取恰當?shù)狞c將函數(shù)在這些點展成泰勒展式;

根據(jù)已知條件，向著有利于證明目標不等式的方向對上面的展式作適當?shù)奶幚?，直到可以結合已知條件證出不等式為止.

適用范圍

當遇到含有函數(shù)與高階導數(shù)，或函數(shù)增量與高階導數(shù)，或要證的是導數(shù)（一階或二階）不等式時，可利用泰勒公式來證明有關的不等式.

八、總結

本文總結了導數(shù)在不等式證明中應用的七種方法，其中每一種方法都有各自的適用范圍，而同一個問題也可以有幾中解法，當在實際問題中應用時要注意區(qū)別每種方法的使用條件，選擇適當?shù)姆椒ㄒ越鉀Q問題.

參考文獻：

[1] 華東師范大學數(shù)學系.數(shù)學分析[M].北京：高等教育出版社，2004.

[2] 同濟大學應用數(shù)學系.高等數(shù)學[M].北京：高等教育出版社，2002.

[3] 周曉農(nóng).導數(shù)在不等式證明中的應用.金筑大學學報2000（03）.

[4] 卞國文.用微積分理論證明不等式的方法.江蘇省揚中高級中學，2002.

[5] 趙文祥.微分中值定理與不等式的證明.天津廣播電視大學學報，2004（4）