摘要：針對雙元不等式的證明，提出五種減元的策略，將雙元不等式的證明轉(zhuǎn)化為一元不等式問題.教學(xué)過程中，要注重發(fā)揮模式識別策略的功能.依據(jù)題設(shè)和待證不等式的結(jié)構(gòu)特點、內(nèi)在聯(lián)系選擇相應(yīng)的解題策略，通過刻意練習(xí)、鞏固模式、變式訓(xùn)練，形成“條件反射”;二要注重強(qiáng)化學(xué)生的實操演練，在不斷的嘗試與調(diào)整中，明晰解決問題的方向，思維從混沌走向清朗.

關(guān)鍵詞：轉(zhuǎn)化;減元;構(gòu)造法;邏輯推理

中圖分類號：G632文獻(xiàn)標(biāo)識碼：A文章編號：1008-0333（2022）07-0084-05

收稿日期：2021-12-05

作者簡介：張志剛（1983-），男，山東省泰安人，中學(xué)一級教師，從事高中數(shù)學(xué)教學(xué)研究.[FQ）]

雙元（例如x1，x2）不等式的證明是高考數(shù)學(xué)?？汲Ｐ碌拿}熱點，解答時往往需要適時構(gòu)造新函數(shù)，借助導(dǎo)數(shù)工具加以討論.鑒于高中階段僅限于學(xué)習(xí)一元函數(shù)的導(dǎo)數(shù)運算及應(yīng)用，因此，證明雙元不等式的核心思想就是減元（消元），即將雙元不等式轉(zhuǎn)化為一元函數(shù)不等式去解決.如何有效地實施減元就成了解題的關(guān)鍵，采用何種策略要視具體題設(shè)條件而定，不可一概而論.本文以近年高考試題和模擬題為例，探討具體題設(shè)環(huán)境下如何實施消元.

1 商式換元法

其基本原理是：依據(jù)題設(shè)條件，如出現(xiàn)兩個齊次式之商的形式，則可以考慮將函數(shù)表達(dá)式轉(zhuǎn)換成關(guān)于兩元比值的單變量函數(shù).

例如，當(dāng)函數(shù)存在兩個零點x1，x20<x1<x2，一般選取t=x2x1t>1為主元，將題目中可能出現(xiàn)的x1+x2，x2-x1，x1x2，1x1+1x2，x21+x22等表示為t的函數(shù)，用函數(shù)思想建立數(shù)量關(guān)系，借助導(dǎo)數(shù)等工具證明不等式即可.

此方法常常用于對數(shù)函數(shù)為背景的雙元不等式證明.

例1已知函數(shù)fx=lnx，當(dāng)0<b<a時，求證：fa+b-f2a<b-a2a.

證明由于fa+b-f2a=lna+b2a，

即證lna+b2a<b-a2a.

亦即證ln12+b2a<b2a-12.

設(shè)t=ba0<t<1，

即證ln12+t2<t2-12

=12+t2-1.

由切線不等式lnx<x-10<x<1知，上式顯然成立，命題得證.

例2已知函數(shù)fx=ax2-blnx在點1，f1處的切線為y=1.

（1）求實數(shù)a，b的值;

（2）若0<x1<x2，求證：x2-x1lnx2-lnx1<2x2.

解析（1）a=1，b=2.（過程略）

（2）因為0<x1<x2，

所以x2x1>1.

從而x2x1>0.

于是不等式x2-x1lnx2-lnx1<2x2，

可變形為1-x1x2<2lnx2x1.

設(shè)t=x2x1t>1，

即證2lnt+1t-1>0t>1.

設(shè)gt=2lnt+1t-1t>1，

則g′t=2t-1t2=2t-1t2>0.

所以gt在1，+

SymboleB@

上單調(diào)遞增.

所以gt>g1=0，原不等式成立.

2 差式減元法

類比商式換元法，我們也可以依據(jù)題目條件，考慮將函數(shù)表達(dá)式轉(zhuǎn)換成兩元之差的單變量函數(shù).此方法常常用于指數(shù)函數(shù)為背景的雙元不等式證明.

例如，證明不等式ex1ex2-x1-x2≥1時，我們可將不等式變形為ex1-x2-x1-x2≥1，于是可設(shè)t=x1-x2，t∈R，構(gòu)造函數(shù)ft=et-tt∈R，證明

ft≥1即可，亦即et-t≥1成立，上式顯然成立.

例3（2013年高考陜西理科第21題）已知fx=ex，x∈R，設(shè)a<b，比較fa+fb2與fb-fab-a的大小關(guān)系，并說明理由.

解析fa+fb2-fb-fab-a

=ea+eb2-eb-eab-a

=b-a+2+b-a-2eb-a2b-aea.

設(shè)t=b-at>0，

設(shè)gt=t+2+t-2ett>0，

g′t=1+t-1ett>0.

設(shè)ht=g′t，則

h′t=tet>0.

所以ht即g′t在0，+

SymboleB@

單調(diào)遞增.

從而g′t>g′0=0，

gt在0，+

SymboleB@

上單調(diào)遞增.

所以gt>g0=0.

故當(dāng)a<b時，fa+fb2>fb-fab-a.

點評本題在用作差法變形至b-a+2ea+b-a-2eb2b-a后，由于作為線性級變化的b-a已經(jīng)無法繼續(xù)化簡處理，同時我們發(fā)現(xiàn)指數(shù)級變化的ea，eb通過指數(shù)冪的運算也可轉(zhuǎn)化出b-a，因此，我們有理由相信將b-a視為一個整體實施換元，將會對問題的解決提供便利，即達(dá)到消元的目的.（另外，在本題結(jié)論ea+eb2>eb-eab-a中如果令ea=x，eb=y，則a=lnx，b=lny，本題結(jié)論演化為x+y2>x-ylnx-lny，也就是經(jīng)典的對數(shù)平均不等式，在很多導(dǎo)數(shù)壓軸題中有重要的應(yīng)用）.

例4若a<b，求證：ea+b2<eb-eab-a.

證明欲證不等式可變形為b-a<eb-eaea+b2，

亦即證b-a<eb-a2-ea-b2.

設(shè)t=b-a2t>0，則欲證不等式等價于

2t<et-e-tt>0.

設(shè)ft=et-e-t-2tt>0，則

f ′t=et+e-t-2≥2et·e-t-2=0.

所以ft在0，+

SymboleB@

上單調(diào)遞增.

從而ft>f0=0，即原不等式成立.

點評本題注意到ea+b2與eb-ea都是指數(shù)冪形式，類比齊次化原理，可將這兩式放于分?jǐn)?shù)線的上下，然后通過指數(shù)冪的運算轉(zhuǎn)化出eb-a，聯(lián)想原不等式中的b-a，就可以考慮作差換元了，變形的方向就明確了.

3 韋達(dá)消參法

當(dāng)雙元x1，x2是某二次方程的兩根時，通過韋達(dá)定理求出x1+x2，x1x2，并考查是否為定值.若某一式（如下面例5中x1x2=1）為定值，利用此定值條件揭示的兩變量間的聯(lián)系，將其中一個變量用另一個變量來表示，代入相應(yīng)的不等式中，以達(dá)到消元之目的.顯然，本方法一般適用于導(dǎo)函數(shù)為二次函數(shù)的函數(shù)不等式的證明.

例5 （2018年全國Ⅰ卷理科第21題）已知函數(shù)f（x）=1x-x+alnx.

（1）討論f（x）的單調(diào)性;

（2）若f（x）存在兩個極值點x1，x2，證明：fx1-fx2x1-x2<a-2.

解析 （1）略.

（2）由（1）知，若f（x）存在兩個極值點，則a>2.

由于f（x）的兩個極值點x1，x2滿足

x2-ax+1=0，

由韋達(dá)定理，得x1x2=1.

不妨設(shè)x1<x2，則x2>1.

由于f（x1）-f（x2）x1-x2=-1x1x2-1+alnx1-lnx2x1-x2

=-2+alnx1-lnx2x1-x2

=-2+a-2lnx21x2-x2，

所以欲證不等式等價于

1x2-x2+2lnx2<0.

設(shè)g（x）=1x-x+2lnx，

由（1）知，g（x）在（0，+

SymboleB@

）單調(diào)遞減.

又g（1）=0，從而當(dāng)x∈（1，+

SymboleB@

）時，g（x）<0.

所以1x2-x2+2lnx2<0.

即f（x1）-f（x2）x1-x2<a-2.

點評由（1）的討論知，f（x）存在兩個極值點當(dāng)且僅當(dāng)a>2，首先對fx1-fx2x1-x2<a-2進(jìn)行轉(zhuǎn)化，變形為-1x1x2-1+alnx1-lnx2x1-x2<a-2①.又x1，x2是方程x2-ax+1=0的兩根，不妨設(shè)x1<x2，則x1x2=1，即有x1=1x2，連同x1x2=1代入①式，將問題轉(zhuǎn)化為單元函數(shù)不等式1x2-x2+2lnx2<0x2>0，構(gòu)造函數(shù)g（x）=1x-x+2lnx就順理成章了.

例6已知函數(shù)f（x）=x2-x+aln（x+1），其中a∈R.

（1）求f（x）的單調(diào)區(qū)間;

（2）若f（x）有兩個極值點x1，x2，且x1<x2，證明：-14+32ln34<fx2+2x212-x1<12.

解析（1）略.

（2）由（1）知，若f（x）存在兩個極值點，則

0<a<98.

由于f（x）的兩個極值點x1，x2滿足

2x2+x+a-1=0，

由韋達(dá)定理，得

x1+x2=-12，x1x2=a-12.

則x1=-12-x2，

a=-2x22-x2+1且

-1<x1<-14，-14<x2<12.

故fx2+2x212-x1=x22-x2+alnx2+1+2x212--12-x2

=x22+x2+alnx2+11+x2

=x2-2x22+x2-1lnx2+11+x2

=x2-2x2-1lnx2+1.

當(dāng)-14<x<12時，

設(shè)

g（x）=x-2x-1lnx+1，

則g′（x）=-1+3x+1-2lnx+1.

設(shè)hx=g′x，則

h′x=-3x+12-2x+1<0.

所以hx即g′x在-14，12上單調(diào)遞減.

從而g′x>g′12

=1-2ln32

=ln4e9

>ln1=0，

所以gx在-14，12上單調(diào)遞增.

所以g-14<gx<g12.

又g-14=-14+32ln34，

g12=12，

從而-14+32ln34<gx<12.

亦即-14+32ln34<fx2+2x212-x1<12.

點評試題第（1）問通過合理設(shè)計，通過對參數(shù)a的討論，探求f（x）的單調(diào)性.第（2）問要求研究f（x）兩個極值點x1，x2所具有的性質(zhì).由于x1，x2是方程2x2+x+a-1=0兩個根，由韋達(dá)定理，得x1+x2=-12，x1x2=a-12，由此可將x1，a均用x2表示，從而將fx2+2x212-x1轉(zhuǎn)化為含一個變量的函數(shù)，進(jìn)行研究其單調(diào)性和極值，以證明不等式成立.本題意在讓考生掌握雙元不等式證明的方法，即核心是將多元轉(zhuǎn)換為單元問題去解決，其中韋達(dá)定理功不可沒！

4 主副元減元法

其基本原理是：在雙元函數(shù)不等式中，將其中一個變量作為主元，另外一個變量作為副元（參數(shù)），從而構(gòu)造一元函數(shù)來證明，達(dá)到減元的目的.

例7已知函數(shù)f（x）=x-a-lnxa∈R.求證：若0<x1<x2，則f（x1）-f（x2）x2-x1<1x1x1+1.

證明由于0<x1<x2，欲證不等式等價于

f（x1）-f（x2）-x2-x1x1x1+1<0.

設(shè)Fx=f（x1）-f（x）-x-x1x1x1+1x>x1>0，則

F′x=-f ′（x）-1x1x1+1

=-1+1x-1x1x1+1

<-1+1x1-1x1x1+1

=-1x1+1<0.

所以F（x）在（x1，+

SymboleB@

）上單調(diào)遞減.

從而F（x）<Fx1=0.

令x=x2，F(xiàn)（x2）<0，即原不等式成立.

點評 在本題確定主副元時，鑒于欲證不等式中x2出現(xiàn)次數(shù)較少，則首選x2作為主元，x1作為副元嘗試解答.當(dāng)然，有些題目兩元出現(xiàn)次數(shù)相當(dāng)時，也可考慮用主副元法.

例8已知函數(shù)f（x）=ln（x+1）-x，g（x）=xlnx.設(shè)0<a<b，求證：

0<ga+gb-2ga+b2<b-aln2.

證明（1）設(shè)

F（x）=ga+gx-2ga+x2x>a，

則F′（x）=g′x-g′a+x2.

因為g′x單調(diào)遞增，又x>a+x2，

則F′（x）=g′x-g′a+x2>0.

所以F（x）在（a，+

SymboleB@

）上單調(diào)遞增.

從而F（x）>Fa=0.

令x=b，ga+gb-2ga+b2>0，即不等式左邊成立.（3）設(shè)G（x）=ga+gx-2ga+x2-x-aln2x>a，則

G′（x）=g′x-g′a+x2-ln2

=1+lnx-（1+lna+x2）-ln2

=lnxa+x

<ln1=0.

所以G（x）在（a，+

SymboleB@

）上單調(diào)遞減.

從而G（x）<Ga=0.

令x=b，ga+gb-2ga+b2-b-aln2<0，

即ga+gb-2ga+b2<b-aln2，即不等式右邊成立.

綜上，原不等式成立.

點評本題考查了應(yīng)用導(dǎo)數(shù)證明不等式的一個重要方法——設(shè)輔助函數(shù)法：將不等式所有的項移至不等式一側(cè)，另一側(cè)為0，然后構(gòu)造輔助函數(shù)，按部就班解答即可.但本題中的不等式是雙變量不等式，就需考慮選擇一個元作為主變元，另一個作為參數(shù)了.例如上述解答中，即將b視為主元，將a視為副元完成證明.而在主變元的選取上，一般遵循的原則是：

①出現(xiàn)次數(shù)較少的字母為主變量，目的自然是為了構(gòu)造函數(shù)后求導(dǎo)運算的便利;

②數(shù)值較大的字母為主變量，例如本例中的b.

參考文獻(xiàn)：

[1]?楊蒼洲，許銀伙.我做壓軸題（二） 證明雙元問題，構(gòu)造比值消元[J].數(shù)理化解題研究，2016（16）：34-35.

[2] 楊蒼州.例談雙元不等式的證明方法[J].數(shù)理化解題研究，2014（10）：14-15.

[3] 李福安.導(dǎo)數(shù)證明雙元不等式的方法[J].高考，2021（03）：17-18.

[責(zé)任編輯：李璟]