用数学归纳法证明平均值不等式
【摘要】本文尝试用数学归纳法从不同角度对平均值不等式进行了证明，进一步体现了均值不等式证法的多样性。
【关键词】平均值不等式数学归纳法
一、引言
不等式历来是中学数学教学的重要内容。不等式涉及数量之间大小的比较，通过比较常能显出变量变化之间相互制约的关系，因而从某种意义上说，不等式的探讨在数学中甚至比等式的推演更为重要。本文试探讨一种比较特殊而又著名的不等式——“平均值不等式”。这种不等式不仅本身颇为有用，而且它的证法也可作进一步熟练不等式证明技巧之用，而且它在中学数学中有着更为广泛的应用。特别在高中数学中，我们频繁地接触到此类不等式的简化形式（如平均值不等式中: n=2,3,4,…的情形），但诸多教科书并未对它作更进一步的探讨。从历年高考考察的情况来看，虽然对平均值不等式未作很高的要求，但几乎每年高考均有题目涉及到此类不等式,可见平均值不等式及其相关教学在中学数学中有着其重要的地位和作用。
二、平均值不等式的证明
著名的平均值不等式如下：
现用数学归纳法证这个问题。
（i）当n=1 b1=1等号成立，故命题成立。
（ⅱ）若当n=k时命题成立，即若b1,b2,…，bk>0且b1·b2…bn=1, 则b1＋b2＋…＋bk≥k。
当n=k+1时，设b1,b2,b3…，bk+1>0且b1·b2…bk·bk＋１=１，b1，b2，…，bk+1若b1=b2=…＝bk+1=1，命题显然成立。
第四讲：数学归纳法证明不等式 数学归纳法证明不等式是高中选修的重点内容之一，包含数学归纳法的定义和数学归纳法证明基本步骤，用数学归纳法证明不等式。数学归纳法是高考考查的重点内容之一，在数列推理能力的考查中占有重要的地位。 本讲主要复习数学归纳法的定义、数学归纳法证明基本步骤、用数学归纳法证明不等式的方法：作差比较法、作商比较法、综合法、分析法和放缩法，以及类比及猜想、抽象及概括、从特殊到一般等数学思想方法。 在用数学归纳法证明不等式的具体过程中，要注意以下几点： （1）在从n=k 到n=k+1的过程中，应分析清楚不等式两端（一般是 左端）项数的变化，也就是要认清不等式的结构特征； （2）瞄准当n=k+1时的递推目标，有目的地进行放缩、分析； （3）活用起点的位置； （4）有的试题需要先作等价变换。 例题精讲 例1、用数学归纳法证明 n n n n n 212111211214131211+++++=--++-+- 分析：该命题意图：本题主要考查数学归纳法定义，证明基本步骤 证明： 1 当n=1时，左边=1-21=21，右边=111+=21 ，所以等式成立。
2假设当n=k 时，等式成立， 即 k k k k k 212111211214131211+++++=--++-+- 。 那么，当n=k+1时， 221121211214131211+-++--++-+- k k k k 221121212111+-+++++++=k k k k k )2 2111(1212131214131211+-+++++++++=++-+-k k k k k k )1(21 121213121+++++++++= k k k k k 这就是说，当n=k+1时等式也成立。 综上所述，等式对任何自然数n 都成立。 点评： 数学归纳法是用于证明某些及自然数有关的命题的一种方法．设要证命题为P （n ）．（1）证明当n 取第一个值n 0时，结论正确，即验证P （n 0）正确；（2）假设n=k （k ∈N 且k≥n 0）时结论正确，证明当n=k+1时，结论也正确，即由P （k ）正确推出P （k+1）正确，根据（1），（2），就可以判定命题P （n ）对于从n 0开始的所有自然数n 都正确． 要证明的等式左边共2n 项，而右边共n 项。f(k)及f(k+1)相比较，左边增加两项，右边增加一项，并且二者右边的首项也不一样，因此 在证明中采取了将11+k 及221 +k 合并的变形方式，这是在分析了f(k) 及f(k+1)的差异和联系之后找到的方法。 练习： 1.用数学归纳法证明3k ≥n 3(n≥3,n∈N)第一步应验证( )
1平均值不等式及其证明 平均值不等式是最基本的重要不等式之一，在不等式理论研究和证明中占有重要的位置。平均值不等式的证明有许多种方法，这里，我们选了部分具有代表意义的证明方法，其中用来证明平均值不等式的许多结论，其本身又具有重要的意义，特别是，在许多竞赛的书籍中，都有专门的章节介绍和讨论，如数学归纳法、变量替换、恒等变形和分析综合方法等，这些也是证明不等式的常用方法和技巧。 1.1 平均值不等式 一般地，假设12,,...,n a a a 为n 个非负实数，它们的算术平均值记为 12...,n n a a a A n +++= 几何平均值记为 112(...)n n n G a a a == 算术平均值与几何平均值之间有如下的关系。 12...n a a a n +++≥ 即 n n A G ≥， 当且仅当12...n a a a ===时，等号成立。 上述不等式称为平均值不等式，或简称为均值不等式。 平均值不等式的表达形式简单，容易记住，但它的证明和应用非常灵活、广泛，有多种不同的方法。为使大家理解和掌握，这里我们选择了其中的几种典型的证明方法。供大家参考学习。 1.2 平均值不等式的证明 证法一（归纳法） （1） 当2n =时，已知结论成立。 （2） 假设对n k =（正整数2k ≥）时命题成立，即对 0,1,2,...,,i a i k >=有 1 1212...(...)k k n a a a a a a k +++≥。 那么，当1n k =+时，由于
121 1 (1) k k a a a A k +++++= +，1k G +=， 关于121,,...,k a a a +是对称的，任意对调i a 与j a ()i j ≠，1k A +和1k G +的值不改变，因此不妨设{}1121min ,,...,k a a a a +=，{}1121max ,,...,k k a a a a ++= 显然111k k a A a ++≤≤，以及1111()()0k k k a A a A +++--<可得 111111()k k k k A a a A a a +++++-≥. 所以 1111211 1(1)...k k k k k k kA k A A a a a A A k k k +++++++-+++-= == 2111...()k k k a a a a A k ++++++-=≥即12111...()k k k k k A a a a a A +++≥+- 两边乘以1k A +，得 111211112111...()...()k k k k k k k k k k A a a A a a A a a a a G ++++++++≥+-≥=。 从而，有11k k A G ++≥ 证法二（归纳法） （1） 当2n =时，已知结论成立。 （2） 假设对n k =（正整数2k ≥）时命题成立，即对 0,1,2,...,,i a i k >=有 12...k a a a +++≥ 那么，当1n k =+时，由于
5.3、不等式典型例题之基本不等式的证明——（6例题） 雪慕冰 一、知识导学 1.比较法：比较法是证明不等式的最基本、最重要的方法之一，它是两个实数大小顺序和运算性质的直接应用，比较法可分为差值比较法(简称为求差法)和商值比较法(简称为求商法). (1)差值比较法的理论依据是不等式的基本性质：“ａ-ｂ≥0ａ≥ｂ；ａ-ｂ≤0ａ≤ｂ”.其一般步骤为：①作差：考察不等式左右两边构成的差式，将其看作一个整体；②变形：把不等式两边的差进行变形，或变形为一个常数，或变形为若干个因式的积，或变形为一个或几个平方的和等等，其中变形是求差法的关键，配方和因式分解是经常使用的变形手段；③判断：根据已知条件与上述变形结果，判断不等式两边差的正负号，最后肯定所求证不等式成立的结论.应用范围：当被证的不等式两端是多项式、分式或对数式时一般使用差值比较法. (2)商值比较法的理论依据是：“若ａ，ｂ∈R + ，ａ/ｂ≥1ａ≥ｂ；ａ/ｂ≤1ａ≤ｂ”.其一般步骤为：①作商：将左右两端作商；②变形：化简商式到最简形式；③判断商与1的大小关系，就是判定商大于1或小于1.应用范围：当被证的不等式两端含有幂、指数式时，一般使用商值比较法. 2.综合法：利用已知事实(已知条件、重要不等式或已证明的不等式)作为基础，借助不等式的性质和有关定理，经过逐步的逻辑推理，最后推出所要证明的不等式，其特点和思路是“由因导果”，从“已知”看“需知”，逐步推出“结论”.即从已知Ａ逐步推演不等式成立的必要条件从而得出结论Ｂ. 3.分析法：是指从需证的不等式出发，分析这个不等式成立的充分条件，进而转化为判定那个条件是否具备，其特点和思路是“执果索因”，即从“未知”看“需知”，逐步靠拢“已知”.用分析法证明书写的模式是：为了证明命题Ｂ成立，只需证明命题Ｂ1为真，从而有…，这只需证明Ｂ2为真，从而又有…，……这只需证明Ａ为真，而已知Ａ为真，故Ｂ必为真.这种证题模式告诉我们，分析法证题是步步寻求上一步成立的充分条件. 4.反证法：有些不等式的证明，从正面证不好说清楚，可以从正难则反的角度考虑，即要证明不等式Ａ>Ｂ，先假设Ａ≤Ｂ，由题设及其它性质，推出矛盾，从而肯定Ａ>Ｂ.凡涉及到的证明不等式为否定命题、惟一性命题或含有“至多”、“至少”、“不存在”、“不可能”等词语时，可以考虑用反证法. 5.换元法：换元法是对一些结构比较复杂，变量较多，变量之间的关系不甚明了的不等式可引入一个或多个变量进行代换，以便简化原有的结构或实现某种转化与变通，给证明带来新????
不等式的证明方法 不等式的证明是高中数学的一个难点，证明方法多种多样，近几年高考出现较为形式较为活跃，证明中经常需与函数、数列的知识综合应用，灵活的掌握运用各种方法是学好这部分知识的一个前提，下面我们将证明中常见的几种方法作一列举。 注意ab b a 22 2 ≥+的变式应用。常用2 222b a b a +≥ + (其中+ ∈R b a ,)来解决有关根式不等式的问题。 一、比较法 比较法是证明不等式最基本的方法，有做差比较和作商比较两种基本途径。 1、已知a,b,c 均为正数，求证： a c c b b a c b a ++ +++≥++1 11212121 证明：∵a,b 均为正数， ∴ 0) (4)(44)()(14141)(2 ≥+=+-+++=+-+-b a ab b a ab ab b a a b a b b a b a b a 同理 0)(41 4141)(2 ≥+= +-+-c b bc c b c b c b ，0) (414141)(2 ≥+=+-+-c a ac a c a c a c 三式相加，可得 01 11212121≥+-+-+-++a c c b b a c b a ∴a c c b b a c b a ++ +++≥++111212121 二、综合法 综合法是依据题设条件与基本不等式的性质等，运用不等式的变换，从已知条件推出所要证明的结论。 2、a 、b 、),0(∞+∈c ，1=++c b a ，求证： 31222≥ ++c b a 证：2 222)(1)(3c b a c b a ++=≥++?∴ 2222)()(3c b a c b a ++-++0 )()()(222222222222≥-+-+-=---++=a c c b b a ca bc ab c b a 3、设a 、b 、c 是互不相等的正数，求证：)(4 4 4 c b a abc c b a ++>++ 证 ： ∵ 2 2442b a b a >+ 2 2442c b c b >+ 2 2442a c a c >+∴ 222222444a c c b b a c b a ++>++ ∵ c ab c b b a c b b a 2 2222222222=?>+同理：a bc a c c b 222222>+ b ca b a a c 222222>+ ∴ )(222222c b a abc a c c b b a ++>++ 4、 知a,b,c R ∈，求证: )(22 2 2 2 2 2 c b a a c c b b a ++≥++ ++ + 证明：∵ ) (2 2 2 2 2 2 2 2)(22b a b a b a b a ab ab +≥++≥+∴≥+
证明不等式的几种方法 淮安市吴承恩中学 严永飞 223200 摘要：不等式证明是中学数学的重要内容,证明方法多种多样.通常所用的公式法、放缩法只能解决一些较简单的问题,对于较难的问题则束手无策.本文给出了几种特殊方法.如倒数变换法、构建模型法、逆用等比数列求和公式等方法,使解题容易,新颖独特. 关键词：不等式，公式法，构建模型法 前言 证明不等式是中学数学的重要内容之一,内容抽象，难懂，证明方法更是变化多端.通常所用的一些方法如公式法、放缩法只能解决一些较简单的问题,较难的问题则无法解决.本文给出了几种特殊方法.如倒数变换法、构建模型法、逆用等比数列求和公式等方法. 这里所举的几种证明不等式的特殊方法看似巧妙,但如果认真思考,广泛联系,学以致用,一定能使问题得到很好的解决. 1 运用倒数变换证明不等式 这里所说倒数变换是根据具体的题目要求把不等式的部分进行倒数变换，通过化简后使不等式变得简单，更好更快的解决证明问题. 例1 设+∈R z y x ,,,且xyz =1 求证：)(13z y x ++)(13z x y ++)(13y x z +≥2 3 分析 如果先通分再去分母，则不等式将变得很复杂. 令A x =-1,B y =-1 ,C z =-1 ,则+∈R C B A ,,且1=ABC . 欲证不等式可化为 C B A +2+A C B +2+B A C +2≥23（*） 事实上,a 2+22b λ≥ab λ2 (+∈R b a ,,λ), 而当b >0时, a 2/b ≥b a 22λλ-. （*）式左边≥A λ2-2λ(C B +)+ B λ2-2λ(C A +)+C λ2-2λ(A B +) = λ2(λ-1)(C B A ++) ≥λ6(λ-1)3ABC = λ6(λ-1). 令λ=21时,C B A +2+A C B +2+ B A C +2 ≥6×21×(1-21)=23 得证. (这里用到二元平均不等式的变形和三元平均不等式.) 例 2 已知z y x ,,>0,n 为大于1的正整数，且n n x x +1+n n y y +1+n n z z +1=1 求证：n x x +1+n y y +1+n z z +1≤n n 12-
证明不等式的基本方法 导学目标：1.了解证明不等式的基本方法：比较法、综合法、分析法、反证法、放缩法.2.会用比较法、综合法、分析法、反证法、放缩法证明比较简单的不等式． [自主梳理] 1.三个正数的算术—几何平均不等式：如果a ，b ，c>0，那么_________________________，当且仅当a ＝b ＝c 时等号成立． 2.基本不等式(基本不等式的推广)：对于n 个正数a 1，a 2，…，a n ，它们的算术平均不小于它们的几何平均，即a 1＋a 2＋…＋a n n ≥n a 1·a 2·…·a n ，当且仅当__________________时等号成立． 3.证明不等式的常用五种方法 (1)比较法：比较法是证明不等式最基本的方法，具体有作差比较和作商比较两种，其基本思想是______与0比较大小或______与1比较大小． (2)综合法：从已知条件出发，利用定义、______、______、性质等，经过一系列的推理、论证而得出命题成立，这种证明方法叫综合法．也叫顺推证法或由因导果法． (3)分析法：从要证明的结论出发，逐步寻求使它成立的________条件，直至所需条件为已知条件或一个明显成立的事实(定义 、公理或已证明的定理、性质等)，从而得出要证的命题成立为止，这种证明方法叫分析法．也叫逆推证法或执果索因法． (4)反证法 ①反证法的定义 先假设要证的命题不成立，以此为出发点，结合已知条件，应用公理、定义、定理、性质等，进行正确的推理，得到和命题的条件(或已证明的定理、性质、明显成立的事实等)矛盾的结论，以说明假设不正确，从而证明原命题成立，我们把它称为反证法． ②反证法的特点 先假设原命题不成立，再在正确的推理下得出矛盾，这个矛盾可以是与已知条件矛盾，或与假设矛盾，或与定义、公理、定理、事实等矛盾． (5)放缩法 ①定义：证明不等式时，通过把不等式中的某些部分的值________或________，简化不等式，从而达到证明的目的，我们把这种方法称为放缩法． ②思路：分析观察证明式的特点，适当放大或缩小是证题关键． 题型一 用比差法与比商法证明不等式 1.设t ＝a ＋2b ，s ＝a ＋b 2＋1，则s 与t 的大小关系是( A ) ≥t >t ≤t
用数学归纳法证明不等式 在明确数学归纳法本质的基础上，我们来共同研究它在不等式证明中的应用．例1已知x＞－1，且x≠0，n∈N，n≥2．求证：(1＋x)n＞1＋nx． 证：(1)当n=2时，左边=(1＋x)2=1＋2x＋x2，右边=1＋2x，因x2＞0，则原不等式成立．(在这里，一定要强调之所以左边＞右边，关键在于x2＞0是由已知条件x≠0获得，为下面证明做铺垫) (2)假设n=k时(k≥2)，不等式成立，即(1＋x)k＞1＋kx． 师：现在要证的目标是(1＋x)k+1＞1＋(k＋1)x，请同学考虑． 师：现将命题转化成如何证明不等式 (1＋kx)(1＋x)≥1＋(k＋1)x．显然，上式中“=”不成立．故只需证：(1＋kx)(1＋x)＞1＋(k＋1)x． 提问：证明不等式的基本方法有哪些？ (学生可能还有其他多种证明方法，这样培养了学生思维品质的广阔性，教师应及时引导总结) 师：这些方法，哪种更简便，更适合数学归纳法的书写格式？学生丙用放缩技巧证明显然更简便，利于书写．当n=k＋1时，因为x＞－1，所以1＋x＞0，于是左边=(1＋x)k+1=(1＋x)k(1＋x)＞(1＋x)(1＋kx)=1＋(k＋1)x＋kx2；右边=1＋(k＋1)x．因为kx2＞0，所以左边＞右边，即(1＋x)k＋1＞1＋(k＋1)x．这就是说，原不等式当n=k ＋1时也成立． 根据(1)和(2)，原不等式对任何不小于2的自然数n都成立． (通过例1的讲解，明确在第二步证明过程中，虽然可以采取证明不等式的有关方法，但为了书写更流畅，逻辑更严谨，通常经归纳假设后，要进行合理放缩，以达到转化的目的)例2证明：2n＋2＞n2，n∈N＋． 证：(1)当n=1时，左边=21＋2=4；右边=1，左边＞右边．所以原不等式成立． (2)假设n=k时(k≥1且k∈N)时，不等式成立，即2k＋2＞k2． 现在，请同学们考虑n=k＋1时，如何论证2k+1＋2＞(k＋1)2成立． 师：将不等式2k2－2＞(k＋1)2，右边展开后得：k2＋2k＋1，由于转化目的十分明确，所以只需将不等式的左边向k2＋2k＋1方向进行转化，即：2k2－2=k2＋2k＋1＋k2－2k－3．由此不难看出，只需证明k2－2k－3≥0，不等式2k2－2＞k2＋2k＋1即成立． 师：由于使不等式不成立的k值是有限的，只需利用归纳法，将其逐一验证原命题成立，因此在证明第一步中，应补充验证n=2时原命题成立，那么，n=3时是否也需要论证？ 师：(补充板书)当n=2时，左=22＋2=6，右=22=4，所以左＞右；当n=3时，左=23＋2=10，右=32=9，所以左＞右．因此当n=1，2，3时，不等式成立．(以下请学生板书) (2)假设当n=k(k≥3且k∈N)时，不等式成立．即2k＋2＞k2．因为2k+1＋2=2·2k＋2=2(2k ＋2)－2＞2k2－2=k2＋2k＋1＋k2－2k－3=(k2＋2k＋1)＋(k＋1)(k－3)(因k≥3，则k－3≥0，k＋1＞0) ≥k2+2k＋1=(k＋1)2．所以2k+1＋2＞(k＋1)2．故当n=k＋1时，原不等式也成立．根据(1)和(2)，原不等式对于任何n∈N都成立． 师：通过例2可知，在证明n=k＋1时命题成立过程中，针对目标k2＋2k＋1，采用缩小的手段，但是由于k的取值范围(k≥1)太大，不便于缩小，因此，用增加奠基步骤(把验证
学习好资料 欢迎下载 证明n 元均值不等式 1212n n n a a a n a a a +++≥证明： 首先证明，23n 2,222当，，，，时，不等式成立。 显然，12122a a a a +≥， 又因为412341234123412342+2222=4a a a a a a a a a a a a a a a a +++≥≥?， 同理可以证明得到n 2也成立。 再证明，当k k+1n 22∈（，） 也成立。 k k n=2+i 1i 2-1≤≤不妨设 ，其中，则有k k k k 21212 222a a a a a a ++ +≥， k+1k+1k+1k+121212 222a a a a a a ++ +≥ 则k k k 121222+12+i =++ +n a a a a a a a a +++++ +（）， k k k k k k k k k k k k k k k k+1212 22k 2+i 1212 22+12+i 1222+1k 2+i 12 22+1 2++1 2+i i 2+2-i =++++2-i 2i i n a a a a a a a a a a a a a a a a a a a a a a a +++++++ ?+≥? （则（）（）） k k k k k k k k k 2+i 12 22+1 2+i k 2+i 12 22+1 2+i 2-2i i -a a a a a a a a a a 其中可以看成是（）个相（）加所得。 k k k k k k k k k k k k 2+i 12 22+12+i k 2+i 1212 22+12+i 22+1 2+i 2-i ++ +2+i a a a a a a a a a a a a a a a ?++ +≥（）最后，在式两边同时减去就得到了（）（） 1212 n n n a a a n a a a ++ +≥即：得证。
高等数学中不等式的证明方法 摘要：各种不等式就是各种形式的数量和变量之间的相互比较关系或制约关系，因此， 不等式很自然地成为分析数学与离散数学诸分支学科中极为重要的工具，而且早已成为 专门的研究对象。高等数学中存在大量的不等式证明，本文主要介绍不等式证明的几种 方法，运用四种通法，利用导数研究函数的单调性，极值或最值以及积分中值定理来解 决不等式证明的问题。我们可以通过这些方法解决有关的问题，培养我们的创新精神， 创新思维，使一些较难的题目简单化、方便化。 关键词：高等数学；不等式；极值；单调性；积分中值定理 Abstract: A variety of inequality is the various forms of high-volume and variable comparison between the relationship or constraints. Therefore, Inequality is natural to be a very important tool in Analysis of discrete mathematics and various bran（https://www.doczj.com/doc/8914678535.html, 毕业论文参考网原创论文）ches of mathematics .It has been a special study.Today there are a large number of inequalities in higher mathematics .This paper introduces the following methods about Proof of Inequality ,such as the using of several general methods, researching monotone function by derivative, using extreme or the most value and Integral Mean Value Theorem . We can resolve the problems identified through these methods. It can bring up our innovative spirit and thinking and some difficult topics may be more easy and Convenient , Keyword: Higher Mathematics; Inequality; Extreme value Monotonicity; Integral Mean Value Theorem 文章来自：全刊杂志赏析网(https://www.doczj.com/doc/8914678535.html,) 原文地址： https://www.doczj.com/doc/8914678535.html,/article/16be7113-df3a-4524-a9c3-4ba707524e72.htm 【摘要】不等式证明是高等数学学习中的一个重要内容，通过解答考研数学中出现的 不等式试题，对一些常用的不等式证明方法进行总结。 【关键词】不等式；中值定理；泰勒公式；辅助函数；柯西 施瓦茨；凹凸性 在高等数学的学习过程当中，一个重点和难点就是不等式的证明，大多数学生在遇到不 等式证明问题不知到如何下手，实际上在许多不等式问题都存在一题多解，针对不等式的证 明，以考研试题为例，总结了几种证明不等式的方法，即中值定理法、辅助函数法、泰勒公
高中数学不等式的几种常见证明方法 摘 要：不等式是中学数学的重要知识，考察学生对不等式理论熟练掌握的程度也是衡量学生数学水平的重要方面，同时，不等式也是高中数学的基础，因此，在每年的数学高考题中，有关不等式的相关题目都有所出现，本文介绍了几种不等式的证明方法，并举例进一步加强对各种不等式的理解. 关键字：不等式；数学归纳法；均值；柯西不等式 一、比较法 所谓比较法，就是通过两个实数a 与b 的差或商的符号（范围）确定a 与b 大小关系的方法，即通过“0a b ->，0a b -=，0a b -<；或1a b >，1a b =，1a b <”来确定a ，b 大小关系的方法，前者为作差法，后者为作商法. 例 1 设,x y R ∈，求证：224224x y x y ++≥+. 证明： 224224x y x y ++-- ＝2221441x x y y -++-+ ＝22(1)(21)x y -+- 因为 2(1)0x -≥， 2(21)0y -≥ ∴ 22(1)(21)0x y -+-≥ ∴2242240x y x y ++--≥ ∴224224x y x y ++≥+ 例 2 已知：a ＞b ＞c ＞0, 求证：222a b c a b c ??＞b c a c b c a b c +++??. 证明：222a b c b c a c b c a b c a b c +++????＝222a b c b a c c b c a b c ------?? ＞222a b c b a c c b c c c c ------??
＝0c ＝1 222a b c b c a c b c a b c a b c +++??∴??＞1 ∴222a b c a b c ??＞b c a c b c a b c +++?? 二、分析法 分析法：从求证的不等式出发，分析这个不等式成立的充分条件，把证明这个不等式的问题转化为证明这些条件是否具备的问题，如果能够肯定这些条件都已具备，那么就可以判定所证的不等式成立. 例 3 求证3< 证明： 960+>> 5456<成立运用分析法时，需积累一些解题经验，总结一些常规思路，这样可以克服无目的的乱写，从而加强针对性，较快地探明解题的途径. 三、综合法 从已知或证明过的不等式出发，根据不等式的性质及公理推导出欲证的不等式，这种证明方法叫做综合法. 例 4 已知,a b R +∈，1a b +=，求证：221125()()2 a b a b +++≥ 证明：∵ 1a b += ∴ 1=22222()22()a b a b ab a b +=++≤+ ∴ 221 2 a b +≥
归纳法证明不等式 数学归纳法证明不等式的本质 数学归纳法证明不等式的典型类型是与数列或数列求和有关的问题，凡是与数列或数列求和有关的问题都可统一表述成f(n)?g(n)(n?n?)的形式或近似于上述形式。 这种形式的关键步骤是由n?k时，命题成立推导n?k?1时，命题也成立。为了表示的方便，我们记?左n?f(k?1)?f(k)，?右n?g(k?1)?g(k)分别叫做左增量，右增量。那么，上述证明的步骤可表述为 f(k?1)?f(k)??左k?g(k)??左k?g(k)??右k?g(k?1) 例1．已知an?2n?1，求证： 本题要证后半节的关键是证 an1a1a2n????n?(n?n?) 23a2a3an?12 2k?1?11?中k??右k即证k?2? 2?12 而此式显然成立，所以可以用数学归纳法证明。 而要证前半节的关键是证 12k?1?1?左k??中k即证?k?2 22?1 而此式显然不成立，所以不能用数学归纳法证明。如果不进行判断就用数学归纳法证前半节，忙乎半天，只会徒劳。 有时，f(n)?g(n)(n?n?)中f(n),g(n)是以乘积形式出现，且f(n)?0,g(n)?0是显然成立的。此时，可记 ?左k?f(k?1)g(k?1)，?右k? f(k)g(k) 分别叫做左增倍，右增倍。那么，用数学归结法证明由n?k时，成立推导 n?k?1成立，可表述为 f(k?1)?f(k)??左k?g(k)??左k?g(k)??右k?g(k?1) 和前面所讲相似，上述四步中，两个“=”和“<”都显然成立，而“≤”是否成立，就需要判断和证明了，既“?左k??右k”若成立，既可用数学归纳法证明；若不成立，则不能用数学归纳法证明。因此，可以这样说，此时，数学归纳法证明不等式的本质是证“左增倍≤右增倍”，而判断能否用数学归纳法证明不等式的标准就是看“左增倍≤右增倍”是否成立。 第二篇：归纳法证明不等式
均值不等式的证明(精选多篇) 第一篇：常用均值不等式及证明证明 常用均值不等式及证明证明 这四种平均数满足hn?gn? an?qn ?、ana1、a2、 ?r?，当且仅当a1?a2?? ?an时取“=”号 仅是上述不等式的特殊情形，即d(-1)≤d(0)≤d(1)≤d(2)由以上简化，有一个简单结论，中学常用 均值不等式的变形： (1)对实数a,b，有a 2 22 ?b2?2ab (当且仅当a=b时取“=”号)，a,b?0?2ab (4)对实数a,b，有 a?a-b??b?a-b? a2?b2? 2ab?0 (5)对非负实数a,b，有 (8)对实数a,b,c，有
a2? b2?c2?ab?bc?ac a?b?c?abc(10)对实数a,b,c，有 均值不等式的证明： 方法很多，数学归纳法（第一或反向归纳）、拉格朗日乘数法、琴生不等式法、排序 不等式法、柯西不等式法等等 用数学归纳法证明，需要一个辅助结论。 引理：设a≥0，b≥0，则?a?b??an?na?n-1?b n 注：引理的正确性较明显，条件a≥0，b≥0可以弱化为a≥0 ，a+b≥0 (用数学归纳法)。 当n=2时易证； 假设当n=k时命题成立，即 那么当n=k+1时，不妨设ak?1是则设 a1,a2,?,ak?1中最大者， kak?1?a1?a2???ak?1 s?a1?a2???ak 用归纳假设 下面介绍个好理解的方法琴生不等式法 琴生不等式：上凸函数f?x?,x1,x2,?,xn是函数f?x?在区间(a,b)内的任意n个点， 设f?x??lnx，f
?x?为上凸增函数所以， 在圆中用射影定理证明（半径不小于半弦） 第二篇：均值不等式证明 均值不等式证明一、 已知x,y为正实数，且x+y=1求证 xy+1/xy≥17/4 1=x+y≥2√(xy) 得xy≤1/4 而xy+1/xy≥2 当且仅当xy=1/xy时取等 也就是xy=1时 画出xy+1/xy图像得 01时，单调增 而xy≤1/4 ∴xy+1/xy≥(1/4)+1/(1/4)=4+1/4=17/4 得证 继续追问： 拜托，用单调性谁不会，让你用均值定理来证 补充回答： 我真不明白我上面的方法为什么不是用均值不等式证的法二： 证xy+1/xy≥17/4
不等式证明基本方法 例1 ：求证：221a b a b ab ++≥+- 分析：比较法证明不等式是不等式证明的最基本的方法，常用作差法和作商法，此题用作差法较为简便。 证明：221()a b a b ab ++-+- 2221[()(1)(1)]02 a b a b =-+-+-≥ 评注：1．比较法之一（作差法）步骤：作差——变形——判断与0的关系——结论 2．作差后的变形常用方法有因式分解、配方、通分、有理化等，应注意结合式子的形式，适当选 用。 例2：设c b a >>，求证：b a a c c b ab ca bc 2 22222++<++ 分析：从不等式两边形式看，作差后可进行因式分解。 证明：)(222222b a a c c b ab ca bc ++-++ =)()()(a b ab c a ca b c bc -+-+- =)()]()[()(a b ab c b b a ca b c bc -+-+-+- =))()((a c c b b a --- c b a >>Θ，则,0,0,0<->->-a c c b b a ∴0))()((<---a c c b b a 故原不等式成立 评注：三元因式分解因式，可以排列成一个元的降幂形式： =++-++)(222222b a a c c b ab ca bc )())(()(2a b ab b a b a c a b c -++-+-，这样容易发现规律。 例3 ：已知,,a b R +∈求证：11()()2()n n n n a b a b a b ++++≤+ 证明：11()()2()n n n n a b a b a b ++++-+ 11n n n n a b ab a b ++=+-- ()()n n a b a b a b =-+- ()()n n a b b a =--
证明不等式的几种常用方法 证明不等式除了教材中介绍的三种常用方法，即比较法、综合法和分析法外，在不等式证明中，不仅要用比较法、综合法和分析法，根据有些不等式的结构，恰当地运用反证法、换元法或放缩法还可以化难为易．下面几种方法在证明不等式时也经常使用． 一、反证法 如果从正面直接证明，有些问题确实相当困难，容易陷入多个元素的重围之中，而难以自拔，此时可考虑用间接法予以证明，反证法就是间接法的一种．这就是最“没办法”的时候往往又“最有办法”，所谓的“正难则反”就是这个道理． 反证法是利用互为逆否的命题具有等价性来进行证明的，在使用反证法时，必须在假设中罗列出各种与原命题相异的结论，缺少任何一种可能，则反证法都是不完全的． 用反证法证题的实质就是从否定结论入手，经过一系列的逻辑推理，导出矛盾，从而说明原结论正确．例如要证明不等式A＞B，先假设A≤B，然后根据题设及不等式的性质，推出矛盾，从而否定假设，即A≤B不成立，而肯定A＞B成立．对于要证明的结论中含有“至多”、“至少”、“均是”、“不都”、“任何”、“唯一”等特征字眼的不等式，若正面难以找到解题的突破口，可转换视角，用反证法往往立见奇效． 例1 设a、b、c、d均为正数，求证：下列三个不等式：①a＋b＜c＋d； ②(a＋b)(c＋d)＜ab＋cd；③(a＋b)cd＜ab(c＋d)中至少有一个不正确． 反证法：假设不等式①、②、③都成立，因为a、b、c、d都是正数，所以
不等式①与不等式②相乘，得：(a ＋b)2＜ab ＋cd ，④ 由不等式③得(a ＋b)cd ＜ab(c ＋d)≤( 2 b a +)2 ·(c ＋d)， ∵a ＋b ＞0，∴4cd ＜(a ＋b)(c ＋d)， 综合不等式②，得4cd ＜ab ＋cd ， ∴3cd ＜ab ，即cd ＜31 ab ． 由不等式④，得(a ＋b)2＜ab ＋cd ＜ 34ab ，即a 2＋b 2＜－3 2 ab ，显然矛盾． ∴不等式①、②、③中至少有一个不正确． 例2 已知a ＋b ＋c ＞0，ab ＋bc ＋ca ＞0，abc ＞0，求证：a ＞0，b ＞0， c ＞0． 证明：反证法 由abc ＞0知a ≠0，假设a ＜0，则bc ＜0， 又∵a ＋b ＋c ＞0，∴b ＋c ＞－a ＞0，即a(b ＋c)＜0， 从而ab ＋bc ＋ca = a(b ＋c)＋bc ＜0，与已知矛盾． ∴假设不成立，从而a ＞0， 同理可证b ＞0，c ＞0． 例3 若p ＞0，q ＞0，p 3＋q 3= 2，求证：p ＋q ≤2． 证明：反证法 假设p ＋q ＞2，则(p ＋q)3＞8，即p 3＋q 3＋3pq (p ＋q)＞8， ∵p 3＋q 3= 2，∴pq (p ＋q)＞2． 故pq (p ＋q)＞2 = p 3＋q 3= (p ＋q)( p 2－pq ＋q 2)， 又p ＞0，q ＞0 ? p ＋q ＞0， ∴pq ＞p 2－pq ＋q 2，即(p －q)2 ＜0，矛盾．
证明不等式的13种方法 咸阳师范学院基础教育课程研究中心安振平 不等式证明无论在高考、竞赛，还是其它类型的考试里，出现频率都是比较高，证明难度也是比较大的.因此，有必要总结证明不等式的基本方法，为读者提供学习时的参考资料.笔者选题的标准是题目优美、简明，其证明方法基本并兼顾巧妙. 1．排序方法 对问题的里的变量不妨排出大小顺序，有时便于获得不等式的证明. 例1已知,,0a b c ≥，且1a b c ++=，求证： ()22229 1. a b c abc +++≥2．增量方法 在变量之间增设一个增量，通过增量换元的方法，便于问题的变形和处理.例2设,,a b c R + ∈，试证：2222 a b c a b c a b b c c a ++++≥+++.3．齐次化法 利用题设条件，或者其它变形手段，把原不等式转换为齐次不等式. 例3设,,0,1x y z x y z ≥++=，求证： 2222222221.16 x y y z z x x y z +++≤4．切线方法 通过研究函数在特殊点处的切线，利用切线段代替曲线段，来建立局部不等式.例4已知正数,,x y z 满足3x y z ++=，求证： 323235 x y +≤++.. 5．调整方法 局部固定，逐步调整，探究多元最值，便能获得不等式的证明. 例5已知,,a b c 为非负实数，且1a b c ++=，求证：13.4 ab bc ca abc ++-≤ 6．抽屉原理
在桌上有3个苹果，要把这3个苹果放到2个抽屉里，无论怎样放，我们会发现至少会有一个抽屉里面放2个苹果.这一简单的现象，就是人们所说的“抽屉原理”.巧用抽屉原理，证明某些不等式，能起到比较神奇的效果. 例6（《数学通报》2010年9期1872题）证明：在任意13个实数中，一定能找到两个实数,x y ，使得0.3.10.3x y x ->+7．坐标方法 构造点坐标，应用解析几何的知识和方法证明不等式. 例7已知a b c R ∈、、，a 、b 不全为零，求证： ()()()22 22222 22.a b ac a b bc a b c a b +++++≥+++8．复数方法 构造复数，应用复数模的性质，可以快速证明一些无理不等式. 例8（数学问题1613，2006，5）设,,,0,a b c R λ+ ∈≥求证：9．向量方法 构造向量，把不等式的证明纳入到向量的知识系统当中去. 例9已知正数,,a b c 满足1a b c ++=，求证： 4 ≤. 10．放缩方法 不等式的证明，关键在于恒等变形过程中的有效放大、或者缩小技巧,放和缩应当恰到好处. 例10已知数列{}n a 中，首项132 a = ，且对任意*1,n n N >∈，均有 11n n a a +=++()211332.42 n n n a -+<
柯西证明均值不等式的方法 by zhangyuong （数学之家） 本文主要介绍柯西对证明均值不等式的一种方法，这种方法极其重要。 一般的均值不等式我们通常考虑的是n n G A ≥: 一些大家都知道的条件我就不写了 n n n x x x n x x x ......2121≥ +++ 我曾经在《几个重要不等式的证明》中介绍过柯西的这个方法，现在再次提出： 8444844)()(: 4422)()(abcdefgh efgh abcd h g f e d c b a abcd abcd cd ab d c b a d c b a ≥+≥+++++++=≥+≥+++=+++八维时二维已证，四维时： 这样的步骤重复n 次之后将会得到 n n n x x x x x x n 2 221221 (2) ...≥ +++ 令A n x x x x x x x x x x n n n n n n =+++= =====++......;,...,2122111 由这个不等式有 n n n n n n n n n n A x x x A x x x A n nA A 2 121 212 221)..(..2 )2(- -=≥ -+= 即得到 n n n x x x n x x x ......2121≥ +++ 这个归纳法的证明是柯西首次使用的，而且极其重要，下面给出几个竞赛题的例子： 例1： 1 1 12101(1,2,...,)11(...)n i i i n n n a i n a a a a =<<=≥ --∑ 若证明 例2：
1 1 1211(1,2,...,)1 1(...)n i i i n n n r i n r r r r =≥=≥ ++∑ 若证明 这2个例子是在量在不同范围时候得到的结果，方法正是运用柯西的归纳法： 给出例1的证明： 12121 2 212 2 123 4 211(1)2(1)(1) 11,(1)(2)2(1) 22(1)2(1)2211111111n a a a a a a p a q a q p p q p q pq q p q q q p q a a a a =+ ≥ ?- --≥----=+= ?--≥-+?-+≥?+≥+?≥+ + + ≥+ ----≥ 当时设，而这是元均值不等式因此此过程进行下去 因2 1 1 2 1221 1212221 12 2 1 1 2 11(...)...(...)112 2 (2) 1111() 111n n n n n n n n i i n n n n n n n n n i i n n i i a a a a a a a a a a G n a G G G G n a G =++-==≥ --=====+-≥ = ----≥ --∑ ∑ ∑ 此令有即 例3： 1 115,,,,1(1),,111,,11( )( ) 1 1 n n i i i i i i i i i n n n i i i i i i n n i i i i i i i i i i i n r s t u v i n R r S s n n T t U u V v n n n r s t u v R ST U V r s t u v R ST U V =>≤≤== = = = ++≥--∑∑∑∑∑∏ 已知个实数都记，求证下述不等式成立： 要证明这题，其实看样子很像上面柯西的归纳使用的形式