证明不等的几种方法毕业论文.doc

昭 通 学 院 学 生 毕 业 论 文 论文题目 证明不等式的几种方法 姓 名 学 号 201103010128 学 院 数学与统计学院 专 业 数学教育 指导教师 2014年3月6日 证明不等式的几种方法 摘 要：证明不等式就是要推出这个不等式对其中所有允许值都成立或推出数值不等式成立。本文主要归纳了几种不等式证明的常用方法。 关键词：不等式; 证明; 方法 1.引言 在定义域中恒成立的不等式叫做恒不等式，确认一个不等式为恒不等式的过程为对该不等式进行证明。证明不等式的主要方法是根据不等式的性质和已有的恒不等式进行合乎逻辑的等价变换。主要方法有：比较法、综合法、分析法、反证法、归纳法、放缩法、构造法、导数法、均值不等式性质证明不等式等方法。 2.不等式证明的常用方法 2.1 比较法 比较法是直接作出所证不等式，两边的差（或商）然后推演出结论的方法。具体地说欲证,直接将差式与比较大小；或若当时，直接将商式与比较大小差值比较法的理论依据是不等式的基本性质“若,则;若,则”其一般步骤为： 1.作差：观察不等式左右两边构成的差式，将其看成一个整体2.变形：把不等式两边的差进行变形，或变形成一个常数，或为若干个因式的积或一个或几个平方和其中变形是求差法的关键，配方和因式分解是经常使用的方法。 3.判断：根据已知条件与上述变形结果判断不等式两边差的正负号，最后肯定所求不等式成立的结论。 应用范围当被证的不等式两端是多项式分式或对数式一般使用差值比较法。商值比较法的理论依据是，若则;若则.”其一般步骤为：1.作商：将左右两端作商2.变形化简商式到最简形式3.判断：商与1的大小关系，就是判定商大于1还是小于1应用范围：当被证的不等式两端含有幂指数式时一般使用商值比较法。. 1）设.求证：++. 2）.求证：. 证明: 1）作差:+-+=（-）+（+）=（-）,,. 所以 ,1=. 所以 （-）++. 2）由的对称性，所以不妨设，与均为正数。 作商: ===由于,所以，， .而且, ,. 所以 .所以. 2.2 综合法综合法是由因导果的逻辑推证方法，也就是从已知条件或已证明的不等式出发，根据不等式的性质基本不等式或函数单调性一系列的中间问题寻找它们的联系，最后逐步推导出待证不等式 证明:由0，，，则有=.从而有 .所以原命题只需要证，即 .从而得： .当时取等号。所以成立。 2.3 分析法 分析法在数学方法中特指由结果追溯到产生这一结果的原因的思维方法。从待证的不等式出发分析使这个不等式成立的充分条件直至使不等式成立的条件都具备就可以证明待证等式成立。在数学证明中，它表现为：从数学题的特殊结论或需求问题出发一步步地探索到题设已知条件。. 设为互不相等的正数.求证：. 证明：先将要证明的不等式看成一个整体，并假设它成立，然后通过变形，将它分解成一些适当的部分再通过适当的组合，将不等式左端的各个部分进行组合形成新的部分（）+（）+（）；； . 所以成立。 例4. 设且.求证：. 证明:要使；只要. 要使；只要.（因为） 要使；只要.即.由可知.所以不等式成立。 2.4 数学归纳法数学归纳法是证明与自然数有关的不等式的有效方法。有关,我们不可能将所有的自然数一一加以论证,对于这类不等式,通常可应用数学归纳法来证明。数学归纳法证明原理是一个关于自然数的命题只要满足以下两个条件： 1.当时,命题成立。 2.假设时，命题成立,并由此推出时,命题也成立。 例5. 证明不等式:. 证明：1)当时，成立. 2)假设当时，不等式成立，即 ① 要证当时，不等式成立，即 ② ②式左边= . 因此时成立。 综上所述，原不等式对任意自然数都成立。 2.5 反法 反正法是从否定所求的结论出发经过正确的逻辑推理引出一个矛盾的错误，从肯定原命题的成立。反正法是种间接证法，当不等式不便使用直接法证明时或自身是一种否定命题时，可考虑用反证法反正法本身属于数学推理的常用方法，为了证明原命题导正确性，人们可以作试探性假设。反命题为真，然后通过一连串地推理。人们得出关于的矛盾，这样就证明了的错误。因此，在基本逻辑原理中“排中律”的基础上的错误导致的正确. 设且.求证. 证明：假设，则有因为正弦函数在区间上是增函数，所以