二一般形式的柯西不等式.docVIP

PAGE 27 一、柯西不等式的简介 1、柯西简介[1] 柯西(Cauchy)，法国数学家、力学家。是第一个认识到无穷级数论并非多项式理论的平凡推广而应当以极限为基础建立其完整理论的数学家。柯西在大学期间，就开始研读拉格朗日和拉普拉斯的著作。柯西最重要的数学贡献在微积分、复变函数和微分方程等方面。他提出的关于极限论方法，把整个极限过程用不等式描述，后来经过改进形成的方法一直沿用至今。此外，他还给出了如今通用的函数连续性概念，给出定积分的第一个确切性定义等。同时，柯西对力学和天文学，著作也非常丰富。共出版了7部著作和800多篇论文，以《分析教程》和《关于定积分理论的报告》最为著名。 柯西具有极其崇高的学术价值。他是世界著名数学家．是数学分析严格化的开拓者，复变函数论的奠基者，也是弹性力学理论基础的建立者。他是仅次于欧拉的多产数学家。他的全集，包括789篇论著，多达24卷，其中有大量的开创性工作。举世公认的事实是，即使过了将近两个世纪后，柯西的工作和现代数学的中心位置仍然非常接近。他引进的方法，以及独一无二的创造力，开创了近代数学严密性的新纪元。 本文所要研究的柯西不等式就是柯西(Cauchy)在研究数学分析中的“流数”问题时得到的一个重要不等式。柯西不等式的形式多种多样，证明方法很多，并且应用广泛，值得研究。 2、柯西不等式及其推论 2.1一般形式的柯西不等式 柯西不等式是数学中基本而且重要的不等式。在推广新课标理念下，人教版选修4-5《不等式选讲》将柯西不等式纳入了选修课程系统中。其表达形式为： 定理： 设是实数，则 ， 当且仅当或存在一个数使得 时等号成立。 以上不等式称为一般形式的柯西（Cauchy）不等式。 分析：1.在柯西不等式中，为了书写比较方便一般写为。 2.在柯西不等式中，因为当时显然等号成立，当时，我们也可将条件写成分式的形式。等号成立是柯西不等式中一个非常重要的部分，因此对等式成立的条件要分析透彻。 3.柯西不等式形式优美并且具有非常重要的应用价值，在不等式证明及数学竞赛解题中应用广泛。这个不等式限制条件少，可以为任意实数，并且其低维形式（二维形式、三维形式）在高中数学中应用较多。 此外，还有几种比较常用的柯西不等式形式。 二维形式：若都是实数，则 当且仅当时，等号成立。 三维形式：若是实数，其中，则 当且仅当或时等号成立。 向量形式:设是两个向量， 则 当且仅当是零向量，或存在实数使得时等号成立。 二维形式的三角不等式：设，那么 成立。 在高中教材中，先是给出我们二维形式的柯西不等式，然后才归纳出一般形式的柯西不等式的。教材要求我们不仅要掌握柯西不等式，而且还有领略这些不等式（尤其是二（三）维形式的柯西不等式）的数学意义、几何背景、证明方法及其应用，感受数学的美妙，提高数学素养，培养数学兴趣。下面在证明了一般形式的柯西不等式后，还会进一步对二维形式的柯西不等式作进一步分析。二维形式的三角不等式是根据两点间的距离公式以及三角形三边的关系得到的。是从几何角度解释了柯西不等式，同时也能够用柯西不等式进行证明。 2.2常用柯西不等式推论[2] 柯西不等式是数学中的一个非常重要的不等式，它的结构对称和谐，具有极强的应用性，证明简洁，深受人们的喜爱。因此，本文将此定理作进一步剖析，参考大量的资料总结出高中常用的几种推论，不管是解题上还是在数学思想上对我们都会有所裨益。 推论一：对任意的两组实数、，有。 当且仅当或存在一个数使得 时等号成立。 推论二：设，当且仅当（）等号成立。 推论三：设同号且不为0（i=1,2,3…..n）,则，当且仅当。 推论四： 推论五：有 注：1、在上面此种形式也可以写成。在解题时可以根据情况选择不同的形式。 2、为方便书写，推论四也可写成， 推论四也可写成 因为这5个推论，均可通过柯西不等式证明，下面我们只做简单分析。 对于推论一，只是柯西不等式的一个变形，不等式两边开方得到的一个比较常用的不等式。 对于推论二和推论三类似，现以推论三为例。作这样一个变形: （因为），而，因此可得到推论二（推论三）。 对于推论四：由柯西不等式得: ， 而，由此得证。 对于推论五：可将式子看成 很明显，可以直接用柯西不等式证明。 3、柯西不等式的证明 证明柯西不等式的方法有很多种，为符合高中数学知识体系以及新课标的要求，提高学生的解题能力和思维方式，本文将给出以下几种证明方法。当 时，显然柯西不等式是成立的。因此下面的证明均不考虑这种情况。 1）、用直接法证明： 用直接法就是直接从表达式入手，观察有何特点。一般可以通过移项变形，让不等式恒与一个常数比较（如与“1或0”比较）。在这我们采用将右边的式子除