經(jīng)濟與管理學(xué)院,南京211106; 2.南京航空航天大學(xué) >理學(xué)院,南京211106;"/>
趙添潤, 王東紅, 王巖青
(1.南京航空航天大學(xué) >經(jīng)濟與管理學(xué)院,南京211106; 2.南京航空航天大學(xué) >理學(xué)院,南京211106;3.中國人民解放軍陸軍工程大學(xué) >基礎(chǔ)部,南京210007)
函數(shù)凹凸性是高等數(shù)學(xué)中函數(shù)的一個重要性質(zhì). 近年來,國內(nèi)外許多數(shù)學(xué)愛好者就函數(shù)凹凸性定義之間的聯(lián)系和性質(zhì)進行了深入的研究[1-3]. 曲線的凹凸性較廣泛地應(yīng)用于不等式的證明[4]. 本文在原有函數(shù)凹凸性定義和性質(zhì)的基礎(chǔ)上,推導(dǎo)出一組新的滿足函數(shù)凹凸性的不等式,進一步推廣到n項形式,并將其應(yīng)用于求和式數(shù)列的極限.
定義[5]設(shè)函數(shù)f(x)在區(qū)間I上連續(xù),如果對I上任意兩點x1,x2(x1≠x2)恒有
f(λx1+(1-λ)x2)>(<)λf(x1)+(1-λ)f(x2) (0<λ<1) ,
則稱函數(shù)f(x)在區(qū)間I上的圖形是凸(凹)的.
性質(zhì)[3]若函數(shù)f(x)在區(qū)間I上的圖形是凸(凹)的, 則對于I內(nèi)任意三點x1 (1) 定理1設(shè)函數(shù)f(x)在區(qū)間I上有定義,a (2) 即 又因為x>0,所以 f(a)+f(b)≤f(a+x)+f(b-x). (3) 同時,由不等式(1)還可得 (4) 即 又因為x<(b-a),所以 f(a)+f(b)≤f(a+x)+f(b-x) . (5) 同時,由不等式(1)還可得 (6) (7) 由不等式(3)-(7)可知,對?x∈(0,b-a)不等式(2)成立. 同理,可得如下定理. 定理2設(shè)函數(shù)f(x)在區(qū)間I上有定義,a (8) 不等式(2)的幾何解釋如下:設(shè)函數(shù)f(x)在區(qū)間I上的圖形是凸的,A和B為y=f(x)上的兩個點,對?x∈(0,b-a),當(dāng)A點的橫坐標(biāo)增加x,B點的橫坐標(biāo)減少x時,得到曲線上相應(yīng)的兩點D和E,則AB的中點C始終位于DE的中點F的下方,如此,直到點D和E的重合為點G(圖1).同理,不等式(8)的幾何解釋如圖2所示. 圖1 凸函數(shù) 圖2 凹函數(shù) a+(n-2)Δx=b-Δx;a+(n-3)Δx=b-2Δx;…;a+(n-i)Δx=b-(i-1)Δx. 由定理1可得 即 將上式在i∈[1,n](i為正整數(shù))上累加得 即 同理,可得如下的定理. 本文根據(jù)函數(shù)的凹凸性給出了兩個不等式,并進行了推廣,進一步給出不等式在求極限中的應(yīng)用,例子表明,恰當(dāng)?shù)倪\用文中的不等式具有積極的作用. 致謝對相關(guān)參考文獻給予的啟示及審稿人中肯的建議表示感謝!3 一組新的滿足函數(shù)凹凸性的不等式
4 定理1和定理2的n項推廣形式
5 應(yīng)用舉例
6 結(jié) 論