【不等式】三角形结构中的一个解题系统(纯净版)-陶平生.docx

PAGE PAGE 10 三角形结构中的一个解题系统 陶平生 在初等不等式的范围内，有许多是涉及三角形内角函数关系的不等式。对于这类问题， 传统的做法通常是“化杂为弦” ，并借助正余弦定理或海伦公式将其归结为边的度量关系来解证。由于其变元受三角形条件约束，处理起来不甚方便。 以下从一个基本等式出发，导出相应的运算系统，利用“易弦为切” 的方法以及这一系统的特殊转换结构，可以简便而有效地处理一系列三角形有关不等式的解证问题。 一、三角形中的一个运算系统 以下常设， x= cot A，y= cot B ，z= cot C （或者 x= tan  A ，y= tan  B ，z= tan C ），其 2 2 2 中 A 、B、 C 为三角形的三个内角，则有： 1.1） x， y， z 中至少有二个正数，并且 x+y 、 y+z、x+z 及 x+y+z 都是正数。 事实上，当 x，y， z 表示半角的正切函数时，显然 x， y， z 都是正数。今考虑 x， y， z 表示余切函数的情形，由于三角形中至少有二个锐角，即 x，y，z 中至少有二个正数，并且 x+y= cot A + cot B = 加得 x+y+z0 。 cos A + sin A cos B = sin B sin( A B) sin A sin B  0。同理有 y+z0 ，x+z0 。又将这三式相 1.2） xy yz xz 1 这是由于， 在三角形 ABC 中成立等式 cot A cot B + cot B cotC + cot A cot C =1 ，以 及 tan A tan B + tan B tan C + tan A tan C =1 。 2 2 2 2 2 2 1.3） 1 x2 ( x y)( x z)， 1 y2 ( x y)( y z) ， 1 z2 (x z)( y z) 这只要将右端展开，并利用（ 1.2）式立即可得。 221.4） 2 2 (1 x2 )(1 y2 )(1 z2 ) (x y)( y z)( x z) ； 2(x y)(1 2 z ) ( y z)(1 x ) (x z)(1 y ) ( x y)( y z)( x z) ； (1 x2 )(1 y2 )  y ， (1 y2 )(1 z2 )  z， (1 x2 )(1 z2 )  x z 。 1 z2 1 x2 1 y2 这只要利用（ 1.3）式立即可得。 111 1 1 1 1 x y z xyz （当 xyz 0 ） 只需将左端通分，并利用（ 1.2）式即可得到。 1.6） ( x y)( y z)( x z) x y z xyz 。 事实上， ( x y)( y z)( x z) ( x y)(1 z2 ) x y ( xz yz) z x y (1 xy)z x y z xyz 1.7） 1 1 1 2( x y z) ； 1 x2 1 y2 1 z2 ( x y)( y z)( x z) x y z 2 ； 1 x2 1 y2 1 z2 ( x y)( y z)( x z) x2 y2 z2 2 xyz 2 2 2 1 。 1 x 1 y 1 z ( x y)( y z)( x z) 事实上， 1 1 1 1 1 1 1 x2 1 y2 1 z2 ( x y)( x z) ( x y)( y z) (x z)( y z) 2(xy 2(x y z) (x y)( y z)( x z) x y z x y z 而 2 2 2 1 x 1 y 1 z (x y)( x z) ( x y)( y z) ( x z)( y z) x( y z) y( z x) z( x y) 2 ( x y)( y z)( x z) ( x y)( y z)( x z) x2 y2 z2 1 1 1 又 2 2 2 (1 2 ) (1 2 ) (1 2 ) 1 x 1 y 1 z 1 x 1 y 1 z 2( x y z) 2(x y z xyz) 2xyz = 3 3 ( x y)( y z)( x z) (x y)( y z)( x z) (x y)( y z)( x z) 2xyz =1 。 ( x y)( y z)( x z) 就本质而言，三角形中的所有恒等关系，皆可转化为这类代数关系，我们可根据实际需要，列出更多的等式 . 由于这组等式分别具有升幂降幂，化解根式，调整转换诸功能，使得将它们用于解证三角形中一类不等式时，显得十分有力。 在解证不等式的过程中，最为重要的是应当进行充分的等价变形，尽量减少不等价变 形，而对于必需的不等价变形，应尽可能在小范围和局部进行 . 三角系统中的恒等关系，