从三角形恒等式到代数不等式演变与应用.pdfVIP

·课外园地·61

一个三角形恒等式繁衍出的代数不等式

张俊

(江苏省兴化市第一中学，225700)

在AABC中有如下一个优美的恒等式：∞s2A例2(第30届数学题)设非负

+∞s2B+∞C+2cosAcosBcosC=1．笔者发现，很实数X，Y，满足X+Y++：4，证明：0≤

多竞赛不等式都是以此恒等式为背景，结合一些三xy+yz+—≤2．

角形不等式编拟出来的．证明由4=2+2+2+~3

例1(第20届伊朗数学题)设X，+得≤1，

·

，zER+，且+Y++=4，证明：+Y+．．xy+yz+zx3≥3≥，则

≤3．xy+yz+一≥0．

思路探寻将∞s2A+B+cOs2C+联想到AABC中的恒等式cos2A+∞B+

2cosAcosBcosC=1变形为(2cosA)+(2cosB)+∞C+2cosAcosBcosC=1，可令2cosA=X，2cosB

(2cosC)+2rosA·2cosB·2cosC=4，令2cosA=X，=，2cosC=z，欲证xy+yz+Z,X—≤2，只需

2cosB=，2cosC=z，这样我们就得到了与+Y证

+十=4结构完全相同的等式．欲证X十Y+cosAcosB+cosBCOSC+msCcosA一

z≤3，只需证2cosA+2cosB+2cosC~3，即cosA+2o0sAc0sBcOsc≤丢．

cosB+∞sc≤要，这是三角形中熟知的不等式，命由cosA+∞sB+cosc≤3及cosBeosC=1·

题获证．

为了考虑将问题进行推广，我们引入如下定理．[c0s(B—c)+cos(B+C)]≤_}(1一cosA)得

定理设X，，∈R+，则△ABC中有：xcosAcosAcosB+cosBCOSC+cosCcosA一

+ycosB+O。s,．,．t21zyz