两类条件不等式的三角证法刘海槐,张俊杰,陈泽桐(华南师范大学数学科学学院,广州,510631)文[1]给出条件为1ab bc ca ++=的一类不等式的代数证法.本文给出类似的两类条件不等式的三角证法.第一类不等式的已知条件为a b c abc ++=,其中,,a b c R +∈,我们可利用常见的正切函数恒等式tan tan +tan tan tan tan A B C A B C +=,其中,,A B C 是锐角ABC ∆的三个内角.先对题目进行三角代换,设=tan ,=tan ,=tan a A b B c C ,再对不等式进行转化证明.例 1 已知,,0a b c >,且a b c abc ++=,证明:32≤. (1998年韩国数学奥林匹克试题)证明 设=tan ,=tan ,=tan a A b B c C ,其中,,A B C 是三角形的三个内角,且由,,0a b c >知0,,2A B C π<<.原不等式⇔3cos cos cos 2A B C ++≤. ()cos f x x =在0,2π⎛⎫⎪⎝⎭上为凸函数,由琴生不等式可得3cos cos cos 3cos =32A B C A B C ++++≤,等式成立当且仅当=3A B C π==,即ABC∆为等边三角形.故原不等式得证.例2 设,,a b c R +∈,且a b c abc ++=,证明不等式:222111a b c a b c ++≤+++ 证明 设=tan ,=tan ,=tan a A b B c C ,其中,,A B C 是三角形的三个内角,且由,,a b c R +∈知0,,2A B C π<<.原不等式⇔sin 2sin 2sin 2A B C ++≤. ()sin f x x=在()0,π上为凸函数,由琴生不等式可得222sin 2sin 2sin 23sin3A B C A B C ++++≤=,等式成立当且仅当=3A B C π==,即ABC ∆为等边三角形.故原不等式得证.第二类不等式的已知条件为1ab bc ca ++=,其中,,a b c R +∈,我们可利用常见的余切函数恒等式cot cot cot cot +cot cot 1A B B C C A +=,其中,,A B C 是锐角ABC ∆的三个内角.先对题目进行三角代换,设=cot ,=cot ,=cot a A b B c C ,再对不等式进行转化证明.例3设,,a b c R +∈,且1ab bc ca ++=,证明不等式:111ab bc ca a b b c c a a b b c c a++≥++++++++. (2005年法国数学奥林匹克试题)证明 设=cot ,=cot ,=cot a A b B c C ,其中,,A B C 是三角形的三个内角,且由,,a b c R +∈知0,,2A B C π<<.原不等式⇔111cot cot cot cot cot cotcot cot cot cot cot cot cot cot cot cot cot cot A B B C C AA B B C C A A B B C C A++≥++++++++,⇔cot cot cot A B C ++≥()cot f x x =在0,2π⎛⎫⎪⎝⎭上为凹函数,由琴生不等式可得cot cot cot 3cot 3A B C A B C ++++≥等式成立当且仅当=3A B C π==,即ABC∆为等边三角形.故原不等式得证.例 4 设0,,1a b c <<,且1ab bc ca ++=,求证:2221112a b c a b c ++≥---. (2004年新加坡国家队选拔考试试题)证明 设=cot ,=cot ,=cot a A b B c C ,其中,,A B C 是三角形的三个内角,且由0,,1a b c <<知,,42A B C ππ<<.于是2221(tan 2tan 2tan 2)1112a b c A B C a b c ++=-++---,因此,只需证明tan 2tan 2tan 2A B C ++≤-由()tan f x x =在,2ππ⎛⎫⎪⎝⎭上为凸函数知, 222tan 2tan 2tan 23tan 3A B C A B C ++++≤=-当且仅当=3A B C π==时等式成立.故原不等式成立.例5 已知,,0a b c >,且1ab bc ca ++=,求证:22111(1)(1)8a b abc a b ≤+++∑∑.证明 设=cot ,=cot ,=cot a A b B c C ,其中,,A B C 是三角形的三个内角,且由,,0a b c >知0,,2A B C π<<.⇔22111(1cot )(1cot )8cot cot cot cot cot A B A B C A B ≤+++∑∑⇔ 22sin sin A B ∑sin sin sin sin sin 8cos cos cos sin A B C A B A B C C ≤∑⇔1cos cos cos 8A B C ≤. 由AG -GM 不等式得, 3cos cos cos cos cos cos 3A B C A B C ++⎛⎫≤ ⎪⎝⎭,又3cos cos cos 2A B C ++≤,故1cos cos cos 8A B C ≤,等式成立当且仅当=3A B C π==,即ABC ∆为等边三角形.故原不等式得证.参考文献[1] 张宏.条件为1ab bc ca ++=的一类不等式的证明[J].中等数学,2009(05).。