约2870字。

　　§5.3 基本不等式的证明
　　一、知识导学
　　1.比较法：比较法是证明不等式的最基本、最重要的方法之一，它是两个实数大小顺序和运算性质的直接应用，比较法可分为差值比较法(简称为求差法)和商值比较法(简称为求商法).
　　(1)差值比较法的理论依据是不等式的基本性质：“ａ-ｂ≥0 ａ≥ｂ；ａ-ｂ≤0 ａ≤ｂ”.其一般步骤为：①作差：考察不等式左右两边构成的差式，将其看作一个整体；②变形：把不等式两边的差进行变形，或变形为一个常数，或变形为若干个因式的积，或变形为一个或几个平方的和等等，其中变形是求差法的关键，配方和因式分解是经常使用的变形手段；③判断：根据已知条件与上述变形结果，判断不等式两边差的正负号，最后肯定所求证不等式成立的结论.应用范围：当被证的不等式两端是多项式、分式或对数式时一般使用差值比较法.
　　(2)商值比较法的理论依据是：“若ａ，ｂ∈R+，ａ/ｂ≥1 ａ≥ｂ；ａ/ｂ≤1 ａ≤ｂ”.其一般步骤为：①作商：将左右两端作商；②变形：化简商式到最简形式；③判断商与1的大小关系，就是判定商大于1或小于1.应用范围：当被证的不等式两端含有幂、指数式时，一般使用商值比较法.
　　2.综合法：利用已知事实(已知条件、重要不等式或已证明的不等式)作为基础，借助不等式的性质和有关定理，经过逐步的逻辑推理，最后推出所要证明的不等式，其特点和思路是“由因导果”，从“已知”看“需知”，逐步推出“结论”.即从已知Ａ逐步推演不等式成立的必要条件从而得出结论Ｂ.
　　3.分析法：是指从需证的不等式出发，分析这个不等式成立的充分条件，进而转化为判定那个条件是否具备，其特点和思路是“执果索因”，即从“未知”看“需知”，逐步靠拢“已知”.用分析法证明书写的模式是：为了证明命题Ｂ成立，只需证明命题Ｂ1为真，从而有…，这只需证明Ｂ2为真，从而又有…，……这只需证明Ａ为真，而已知Ａ为真，故Ｂ必为真.这种证题模式告诉我们，分析法证题是步步寻求上一步成立的充分条件.
　　4.反证法：有些不等式的证明，从正面证不好说清楚，可以从正难则反的角度考虑，即要证明不等式Ａ>Ｂ，先假设Ａ≤Ｂ，由题设及其它性质，推出矛盾，从而肯定Ａ>Ｂ.凡涉及到的证明不等式为否定命题、惟一性命题或含有“至多”、“至少”、“不存在”、“不可能”等词语时，可以考虑用反证法.