一個(gè)涉及2個(gè)三角形的不等式猜想的證明

●

(新昌中學(xué) 浙江新昌 312500)

一個(gè)涉及2個(gè)三角形的不等式猜想的證明

●吳裕東

(新昌中學(xué) 浙江新昌 312500)

本文中約定△ABC與△A′B′C′的3個(gè)內(nèi)角分別為A,B,C，A′,B′,C′,3條邊長分別為a,b,c，a′b′c′.

安振平老師在文獻(xiàn)[1]提出了如下有趣的涉及2個(gè)三角形的不等式猜想:

猜想對任意△ABC和△A′B′C′,證明或否定

cotA′(cotB+cotC)+ cotB′(cotC+cotA)+cotC′(cotA+cotB)≥

(1)

本文給出不等式(1)的證明.

即

同理

cotA′(cotB+ cotC)+cotB′(cotC+cotA)+cotC′(cosA+cotB)≥

?a2b′c′+b2c′a′+c2a′b′+a′2bc+b′2ca+c′2ab≥a(b+c)b′c′+b(c+a)c′a′+c(a+b)a′b′.

(2)

a=y+z,b=z+x,c=x+y,a′=y′+z′,b′=z′+x′,c′=x′+y′,且x>0,y>0,z>0,x′>0,y′>0,z′>0,

從而不等式(2)等價(jià)于

(y′+z′)2x2-2[(y+z)(y′+z′)x′+(y′-z′)(yz′-y′z)]x+(y+z)2x′2+2(y-z)(yz′-y′z)x′+(yz′-y′z)2≥0,

(3)

不等式(3)顯然成立,故不等式(2)成立,即不等式(1)得證.

利用不等式(1)與文獻(xiàn)[1]中的定理1可得如下不等式鏈:

cotA′(cotB+ cotC)+cotB′(cotC+cotA)+cotC′(cotA+cotB)≥

[1] 安振平.涉及2個(gè)三角形角元的一個(gè)不等式[J].中學(xué)數(shù)學(xué)教學(xué)參考,2012(9):28-29.