Question

在銳角三角形ABC中，求證：cos（B-C）•cos（C-A）•cos（A-B）≥8cosA•cosB•cosC．

Answer 1

考點：兩角和與差的余弦函數(shù)

專題：解三角形

分析：由三角形中恒等式tanA•tanB•tanC=tanA+tanB+tanC，令x=2tanA+tanB+tanC，y=tanA+2tanB+tanC，z=2tanC+tanA+tanB，可得

cos(B-C)

cosA

=

2x

y+z-x

；

cos(C-A)

cosB

=

2y

z+x-y

；

cos(A-B)

cosC

=

2z

x+y-z

，可證明（x+y-z）（y+z-x）（z+x-y）≤xyz成立，即可證明cos（B-C）•cos（C-A）•cos（A-B）≥8cosA•cosB•cosC成立．

解答： 證明：在三角形中有恒等式：tanA•tanB•tanC=tanA+tanB+tanC
所以：

cos(B-C)

cosA

=

sinBsinC+cosBcosC

sinBsinC-cosBcosC

=

tanBtanC+1

tanBtanC-1

=

tanAtanBtanC+tanA

tanAtanBtanC-tanC

=

2tanA+tanB+tanC

tanB+tanC

；
同理：

cos(C-A)

cosB

=

tanA+2tanB+tanC

tanA+tanC

；

cos(A-B)

cosC

=

tanA+tanB+2tanC

tanA+tanB

，
令x=2tanA+tanB+tanC，y=tanA+2tanB+tanC，z=2tanC+tanA+tanB，
則：

cos(B-C)

cosA

=

2x

y+z-x

；

cos(C-A)

cosB

=

2y

z+x-y

；

cos(A-B)

cosC

=

2z

x+y-z

，
于是：

cos(A-B)•cos(B-C)•cos(C-A)

cosA•cosB•cosC

=

8xyz

(x+y-z)(y+z-x)(z+x-y)

，
因為：x+y-z＞0，y+z-x＞0，z+x-y＞0，
所以：

(x+y-z)(y+z-x)

≤

x+y-z+y+z-x

2

-y

(y+z-x)(z+x-y)

≤

(z+x-y)(x+y-z)

≤x
以上式子相乘，有（x+y-z）（y+z-x）（z+x-y）≤xyz成立，
從而cos（B-C）•cos（C-A）•cos（A-B）≥8cosA•cosB•cosC成立．
當且僅當△ABC為正三角形時取等號．

點評：本題主要考察了三角函數(shù)恒等式的證明，考察了不等式的解法，利用結論tanA•tanB•tanC=tanA+tanB+tanC是解題的關鍵，考查了轉(zhuǎn)化思想，綜合性強，難度較大．