用构造凸函数的技巧证明中学常见的不等式.docxVIP

本科毕业论文?用分析方法证明中?学几种常见不等式?学生姓名?：马娇指导教师?：段永江所在学?院：数学与统计学?院所学专业：数?学与应用数学摘?要不等式?的学习不仅贯穿了?整个中学教学，同?时也是中学数学竞?赛的主要考点，本?文对中学中常见的?不等式给予了中学?证明方法和大学的?证明方法，通过比?较发现大学方法的?优越性和广泛性，?并且指出了中学常?见不等式只是大学?很多不等式的一种?特殊的形式.另外?本文也对中学常见?的线性规划问题的?某些结论给予了理?论证明.?关键词：常见不等?式，凸函数，不?等式，不等式，?不等式，朗格朗?日乘子法，线性规?划.??英文摘要??目录?第一章用构?造凸函数的方法证?明中学常见的不等?式1证明?中学几种常见函数?的凸性凸函数的?定义：设为区间?E上的实值函数，?对于，：?若有成立，则称?为下凸函数.?若有成立，则称?为上凸函数.?凸函数的等价定义?：设为区间E上?的实值函数，对于?且则若为下?凸函数有若?为上凸函数有?证明：由于为下?凸函数，所以有??利用归纳?法可得.中学所?学基本初等函数的?证明中学时我们?学习过常数函数，?幂函数，指数函数?，对数函数，三角?函数和反三角函数?六种初等函数，下?面我们将以期中两?种为例来证明他们?的凸性.例1：?（常数）证明?：又?所以既是?上凸函数又是下凸?函数.例2：?证明：，不妨?设，取（）?有泰勒公式得?（）（）?带入得（?）（）?当时有，所?以（1）（?2）将得?将代入上式?得到所以为?上凸函数.当?时有，所以（?3）（4）?将得将?带入上式得到?所以为下凸?函数.显然当?时既是上凸函数?又是下凸函数.?综上可得：当时?为上凸函数当?时既是上凸函?数又是下凸函数?当时为下凸函?数.同样的方法?可得：为下凸函?数.当时?为上凸函数当?时为上凸函数?.当时为?上凸函数当时?为下凸函数.?当时为上凸?函数当时为?下凸函数.当?时为上凸函数?当时为下凸?函数.当时?为上凸函数当?时为下凸函数?.当时为?上凸函数当时?为下凸函数.?当时为下凸?函数当时为?上凸函数.通过?上述的证明我们不?难发现对于一个可?导函数当函数的二?阶导数大于0时函?数是下凸函数，当?函数的二阶导数小?于0时函数是上凸?函数，当二阶导数?等于0时函数既是?上凸函数又是下凸?函数，使用上面泰?勒公式展开的方法?即可得到，不同的?数学分析书中也给?出了多种证明方法?，这里不在证明。?但是通过上面的结?论我们可以得到函?数与其对应的反函?数的凹凸关系，下?面给出证明：定?理：已知为上凸?函数，为的反?函数，若为增函?数则为下凸函数?，若为减函数则?为上凸函数.?证明：设则，?于是有，当?为增函数时?又为上凸函数所?以所以有?即为下凸函数。?同理可得，当为?减函数时为上凸?函数.2?通过构造凸函数?证明不等式2?.1高中时我们学?习过柯西不等式并?且对于二维形式的?柯西不等式研究?了其几何背景即平?面上坐标为的两?个向量的数量积与?它们模长之间的关?系：，根据柯西?不等式的几何意义?对于空间中两个向?量作数量积可得?即当空间的?维数继续增加时我?们同样的可以得到?相应维数下的柯西?不等式，于是得到?一般形式的柯西不?等式由数量?积的定义可得当两?个向量共线时即?时取等号。对于一?般形式在许多书中?都有证明其中最常?见的是构造二次函?数的方法.这里我?们使用高中数学中?学习过的数学归?纳法来证明.证?明：当时显然成?立。假设当时不?等式成立，则时?=+?++?+++?++?++++?+=综?上可得有?成立.在实变函?数中我们学习过?不等式：，；?则有其中?下面我们通过构?造凸函数的方法来?证明不等式的积?分形式令（?）由于指数函数?是下凸函数所以有?由于的取值?范围为所以使?得，代入上式?可得两侧同时积?分可得即?综上可得?利用抽象测度空间?上积分我们得到离?散形式的不等式?：其中，?当的坐标有?有限个不为0时我?们得到高中数学竞?赛常用的一种不?等式的形式：已?知，，则?类比于积分形?式的证明过程我们?来证明上式.证?明：令（）由?于指数函数为下凸?函数，所以有?令代入上式可得?：将得?不同取值所得不等?式相加得到即?在这个证明?过程中我们可以看?出当令时我们可?以得到即?为高中我们所学的?不等式.从以?上的证明过程中我?们不难发现我们中?学所学不等式只是?大学所学不等式的?一种极为特殊的情?形，所以利用证明?不等式的方法一?定可以证明出不?等式，但是对于高?中所学不等式的?证明方法却很难来?证明不等式，这?里我们看出大学知?识对于解决高中问?题的优越性.下?面作为构造凸函数?来证明不等式的练?习，得到不等式?的一种推广形式:?由下凸函数的定?义可得令代?入上式可得将?所得的所有不等式?相