李永利
(河南质量工程职业学院 467001)
在△ABC中,设∠A,∠B,∠C的对边分别为a,b,c. 文[1]建立了如下三个三角形不等式:
(1)
(2)
(3)
文[2]另辟蹊径,对以上三个不等式进行了指数推广及其类似,得出如下四个定理:
定理1在△ABC中,设∠A,∠B,∠C的对边分别为a,b,c,则当指数k≥1时,有
≥akcosA+bkcosB+ckcosC.
(4)
定理2在△ABC中,设∠A,∠B,∠C的对边分别为a,b,c, 且指数k为正数,则有
(5)
定理3在△ABC中,设∠A,∠B,∠C的对边分别为a,b,c,则指数k≥1时,有
(6)
定理4在△ABC中,设∠A,∠B,∠C的对边分别为a,b,c, 且指数k为正数,则有
(7)
其中,不等式链(4),(6)两式中的第二个不等式,指数k均可放宽为正数.
受文[2]启发,本文将对以上四个不等式链(4),(5),(6),(7)式进行再推广,得出更一般的结论.本文结论的证明方法同文[2].
≥f(a)cosA+f(b)cosB+f(c)cosC.
(8)
而由A≥B≥C可知A≥60°,C≤60°.
于是有
记(8)式第一个不等式左右两端之差为M1,并注意到三角形不等式[1]58
则
≥0,
故(8)式中的第一个不等式成立.
下面再证(8)式中的第二不等式. 由该不等式的完全对称性,不妨设A≥B≥C,则a≥b≥c.
下面证明f(x)也是(0,+∞)内的非负单增函数.
事实上,若设0
于是
f(x2)-f(x1)
f(a)≥f(b)≥f(c)≥0.
而由A≥B≥C可知A≥60°,C≤60°.
于是有
记(8)式中第二个不等式左右两端之差为N1,并注意到三角形不等式
则
故(8)式右端的不等式成立.
由以上证明可知不等式链(8)成立.
定理2′在△ABC中,设三内角A,B,C所对的边长分别为a,b,c,f(x)为(0,+∞)内的非负单增函数,则有
(9)
证明先证(9)式中第一个不等式.由该不等式的完全对称性,不妨设A≥B≥C,则a≥b≥c,A≥60°,C≤60°,而f(x)为(0,+∞)内的非负单增函数,于是可得
记(9)式中第一个不等式左右两端之差为M2,并注意到不等式
则
故(9)式中第一个不等式成立.
下面证明(9)式中的第二个不等式. 利用正弦、余弦的平方关系,将(9)式中第一个不等式中的正弦函数化为余弦函数,得
移项整理,即得(9)式中的第二个不等式.
由以上证明可知不等式链(9)成立.
定理3′在△ABC中,设三内角A,B,C所对的边长分别为a,b,c, 函数xf(x)为(0,+∞)内的非负单减函数,则有
f(a)cosA+f(b)cosB+f(c)cosC
(10)
证明先证(10)式中的第一个不等式.由该不等式的完全对称性,不妨设A≥B≥C,则a≥b≥c,而xf(x)为(0,+∞)内的非负单减函数,于是可得
0≤af(a)≤bf(b)≤cf(c).
而由A≥B≥C可知A≥60°,C≤60°.
于是有
记(10)式中第一个不等式左右两端之差为M3,并利用余弦定理可得
故(10)式中的第一个不等式成立.
下面再证(10)式的第二个不等式. 由该不等式的完全对称性,不妨设A≥B≥C,则a≥b≥c.下面证明f(x)也是(0,+∞)内的非负单减函数.
事实上,若设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)式第二个不等式左右两端之差为N3,并注意到三角形不等式 则 故(10)式中的第二个不等式成立. 由以上证明可知不等式链(10)成立. 定理4′在△ABC中,设三内角A,B,C所对的边长分别为a,b,c,f(x)为(0,+∞)内的非负单减函数,则有 f(a)cos2A+f(b)cos2B+f(c)cos2C (11) 证明先证(11)式的第一个不等式. 由该不等式的完全对称性,不妨设A≥B≥C,则a≥b≥c,而f(x)为(0,+∞)内的非负单减函数,于是可得 0≤f(a)≤f(b)≤f(c). 而由A≥B≥C可知A≥60°,C≤60°. 以下分两种情形进行证明: 情形1当60°≤A≤120°时,此时有 记(11)式中的第一个不等式左右两端之差为M4,并注意到不等式 则 故此时(11)式中的第一个不等式成立.