李永利

(河南質(zhì)量工程職業(yè)學(xué)院 467001)

1 引言

在△ABC中，設(shè)∠A,∠B,∠C的對(duì)邊分別為a,b,c. 文[1]建立了如下三個(gè)三角形不等式：

(1)

(2)

(3)

文[2]另辟蹊徑，對(duì)以上三個(gè)不等式進(jìn)行了指數(shù)推廣及其類似，得出如下四個(gè)定理：

定理1在△ABC中，設(shè)∠A,∠B,∠C的對(duì)邊分別為a,b,c，則當(dāng)指數(shù)k≥1時(shí)，有

≥akcosA+bkcosB+ckcosC.

(4)

定理2在△ABC中，設(shè)∠A,∠B,∠C的對(duì)邊分別為a,b,c， 且指數(shù)k為正數(shù)，則有

(5)

定理3在△ABC中，設(shè)∠A,∠B,∠C的對(duì)邊分別為a,b,c，則指數(shù)k≥1時(shí)，有

(6)

定理4在△ABC中，設(shè)∠A,∠B,∠C的對(duì)邊分別為a,b,c， 且指數(shù)k為正數(shù)，則有

(7)

其中，不等式鏈(4)，(6)兩式中的第二個(gè)不等式，指數(shù)k均可放寬為正數(shù).

受文[2]啟發(fā)，本文將對(duì)以上四個(gè)不等式鏈(4)，(5)，(6)，(7)式進(jìn)行再推廣，得出更一般的結(jié)論.本文結(jié)論的證明方法同文[2].

2 結(jié)論及證明

≥f(a)cosA+f(b)cosB+f(c)cosC.

(8)

而由A≥B≥C可知A≥60°，C≤60°.

于是有

記(8)式第一個(gè)不等式左右兩端之差為M1，并注意到三角形不等式[1]58

則

≥0，

故(8)式中的第一個(gè)不等式成立.

下面再證(8)式中的第二不等式. 由該不等式的完全對(duì)稱性，不妨設(shè)A≥B≥C，則a≥b≥c.

下面證明f(x)也是(0,+∞)內(nèi)的非負(fù)單增函數(shù).

事實(shí)上，若設(shè)00.

于是

f(x2)-f(x1)

f(a)≥f(b)≥f(c)≥0.

而由A≥B≥C可知A≥60°，C≤60°.

于是有

記(8)式中第二個(gè)不等式左右兩端之差為N1，并注意到三角形不等式

則

故(8)式右端的不等式成立.

由以上證明可知不等式鏈(8)成立.

定理2′在△ABC中，設(shè)三內(nèi)角A,B,C所對(duì)的邊長(zhǎng)分別為a,b,c，f(x)為(0,+∞)內(nèi)的非負(fù)單增函數(shù)，則有

(9)

證明先證(9)式中第一個(gè)不等式.由該不等式的完全對(duì)稱性，不妨設(shè)A≥B≥C，則a≥b≥c，A≥60°，C≤60°，而f(x)為(0,+∞)內(nèi)的非負(fù)單增函數(shù)，于是可得

記(9)式中第一個(gè)不等式左右兩端之差為M2，并注意到不等式

則

故(9)式中第一個(gè)不等式成立.

下面證明(9)式中的第二個(gè)不等式. 利用正弦、余弦的平方關(guān)系，將(9)式中第一個(gè)不等式中的正弦函數(shù)化為余弦函數(shù)，得

移項(xiàng)整理，即得(9)式中的第二個(gè)不等式.

由以上證明可知不等式鏈(9)成立.

定理3′在△ABC中，設(shè)三內(nèi)角A,B,C所對(duì)的邊長(zhǎng)分別為a,b,c， 函數(shù)xf(x)為(0,+∞)內(nèi)的非負(fù)單減函數(shù)，則有

f(a)cosA+f(b)cosB+f(c)cosC

(10)

證明先證(10)式中的第一個(gè)不等式.由該不等式的完全對(duì)稱性，不妨設(shè)A≥B≥C，則a≥b≥c，而xf(x)為(0,+∞)內(nèi)的非負(fù)單減函數(shù)，于是可得

0≤af(a)≤bf(b)≤cf(c).

而由A≥B≥C可知A≥60°，C≤60°.

于是有

記(10)式中第一個(gè)不等式左右兩端之差為M3，并利用余弦定理可得

故(10)式中的第一個(gè)不等式成立.

下面再證(10)式的第二個(gè)不等式. 由該不等式的完全對(duì)稱性，不妨設(shè)A≥B≥C，則a≥b≥c.下面證明f(x)也是(0,+∞)內(nèi)的非負(fù)單減函數(shù).

事實(shí)上，若設(shè)0

故有x2f(x2)-x1f(x1)≤0，

于是

f(x2)-f(x1)

0≤f(a)≤f(b)≤f(c).

而由A≥B≥C可知A≥60°，C≤60°.

于是有

記(10)式第二個(gè)不等式左右兩端之差為N3，并注意到三角形不等式

則

故(10)式中的第二個(gè)不等式成立.

由以上證明可知不等式鏈(10)成立.

定理4′在△ABC中，設(shè)三內(nèi)角A,B,C所對(duì)的邊長(zhǎng)分別為a,b,c，f(x)為(0,+∞)內(nèi)的非負(fù)單減函數(shù)，則有

f(a)cos2A+f(b)cos2B+f(c)cos2C

(11)

證明先證(11)式的第一個(gè)不等式.

由該不等式的完全對(duì)稱性，不妨設(shè)A≥B≥C，則a≥b≥c，而f(x)為(0,+∞)內(nèi)的非負(fù)單減函數(shù)，于是可得

0≤f(a)≤f(b)≤f(c).

而由A≥B≥C可知A≥60°，C≤60°.

以下分兩種情形進(jìn)行證明：

情形1當(dāng)60°≤A≤120°時(shí)，此時(shí)有

記(11)式中的第一個(gè)不等式左右兩端之差為M4，并注意到不等式

則

故此時(shí)(11)式中的第一個(gè)不等式成立.

情形2當(dāng)120°

則此時(shí)顯然有

即此時(shí)(11)式中第一個(gè)不等式也成立.

由以上兩種情形的證明可知(11)式中的第一個(gè)不等式成立.

下面再證(11)式中的第二個(gè)不等式.

利用正弦、余弦的平方關(guān)系，將不等式(11)中的第一個(gè)不等式中的余弦函數(shù)化為正弦函數(shù)，得

移項(xiàng)整理，即得(11)式中的第二個(gè)不等式.

由以上證明可知不等式鏈(11)成立.

3 注記