三角形结构中的一个证题系统.doc

PAGE PAGE PAGE 5 三角形结构中的一个解题系统 陶平生 在初等不等式的范围内，有许多是涉及三角形内角函数关系的不等式。对于这类问题，传统的做法通常是“化杂为弦”，并借助正余弦定理或海伦公式将其归结为边的度量关系来解证。由于其变元受三角形条件约束，处理起来不甚方便。 以下从一个基本等式出发，导出相应的运算系统，利用“易弦为切” 的方法以及这一系统的特殊转换结构，可以简便而有效地处理一系列三角形有关不等式的解证问题。 一、三角形中的一个运算系统 以下常设，x=，y=，z=（或者x=，y=，z=），其中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= +=+=0。同理有y+z0，x+z0。又将这三式相加得x+y+z0。 1.2） 这是由于，在三角形ABC中成立等式 + +=1，以及+ +=1。 1.3），， 这只要将右端展开，并利用（1.2）式立即可得。 1.4）； ； ，，。 这只要利用（1.3）式立即可得。 1.5） （当） 只需将左端通分，并利用（1.2）式即可得到。 1.6）。 事实上， 1.7）；；。 事实上， ， 而 又 = =。 就本质而言，三角形中的所有恒等关系，皆可转化为这类代数关系，我们可根据实际需要，列出更多的等式. 由于这组等式分别具有升幂降幂，化解根式，调整转换诸功能，使得将它们用于解证三角形中一类不等式时，显得十分有力。 在解证不等式的过程中，最为重要的是应当进行充分的等价变形，尽量减少不等价变形，而对于必需的不等价变形，应尽可能在小范围和局部进行. 三角系统中的恒等关系，在处理这类等价变形时，显得十分灵活、简便. 二、若干基本不等式 下面的一组不等式，对于x，y，z表示余切函数或半角的正切函数时均为适用。在解证其它不等式时，通常可化归为这些情形。 2.1） 证： 2.2） 证：由于，且为正数，故。 2.3） 证：如果x，y，z中只有二个正数，则，而，此时结论显然；如x，y，z都是正数，则因，故，则有 2.4） 证：如果x，y，z中只有二个正数，则结论显然；当x，y，z都为正数时，由于，所以 2.5） 证： 以上诸式中，等号成立的充要条件是，即为正三角形。 三、三角形中一些常规不等式的证明 在中，若记x=，y=，z=，则有，，，等等（若记x=，y=，z=，则，，等等）。 我们注意到，采用“易弦为切”后，上述各式的分母均具有形如的结构，而给出的运算系统对于破解和处理这类结构非常有效。下面通过一组例子，来说明采用上述系统解证不等式的一般方法。 例1． 在中，证明下列不等式： 1） 2） 3） 4） 证：设x=，y=，z=，则 1） = 2） = 3） 4） = 例2． 在中，证明： 1） 2） 3） 证：设x=，y=，z=，则： 1） = 2） 3） 例3． 在中，证明： 证：令x=，y=，z=，即要证： ，而 ，故得证。 例4．的外接圆半径为R，面积为，证明 证：由于，即要证 ① 令x=，y=，z=，即要证， 也即 ② 因为， 相乘得②式成立，从而命题得证。 例5. （Weitzenb?ck不等式）的边长为a，b，c，面积为，证明 证：由于，，，， 即要证。令x=，y=，z=，即要证， 也即，因此只要证，此为显然。 例6．设为正数，满足：,试求函数的最小值。（2005年全国联赛试题） 解：由条件得， 即： 同理得，， 因为正数，据以上三式知，，，，故以为边长，可构成一个锐角，因此， 问题化为，在锐角中，求函数 的最小值。令 ，则，且 ，， 同理，， （取等号当且仅当此时，） 四、典型方法与技巧 下面介绍处理一些较难问题的方法，所列例题，大都取自各杂志的“问题栏”或有关论文中，但按本文给出的方法重新解证，借以说明运用本论证系统解证问题的基本技巧。 1．齐次化原则 此法要点是，利用将所证式的各项化为齐次。运用上述系统解题，齐次化思想是非常重要的，这是由于，在解证不等式，特别是较强的不等式时，须尽量避免作不等价变形（即尽量少用其它不等式过渡）。因为每作一次不等价变形，结论就可能减弱一次。而齐次化之后，有利于把各项重新组凑，使其内在的关系得以充分显现。 例7．试证，在中， 证：令x=，y=，z=，即要证 也就是，即。故只要证