证明方法有比较法、综合法、分析法、放缩法、数学归纳法、反证法、换元法、构造法等。作差比较法：根据a-b0↔ab，欲证ab，只需证a-b0。换元法：换元的目的就是减少不等式中变量的个数，以使问题化难为易，化繁为简。
不等式证明方法比较法
①作差比较法：根据a-b0↔ab，欲证ab，只需证a-b0；
②作商比较法：根据a/b=1，当b0时，得ab；当b0时，欲证ab，只需证a/b1；当b0 时，得 ab。
综合法
由因导果。证明不等式时，从已知的不等式及题设条件出发，运用不等式性质及适当变形推导出要证明的不等式. 合法又叫顺推证法或因导果法。
分析法
执果索因。证明不等式时，从待证命题出发，寻找使其成立的充分条件. 由于”分析法“证题书写不是太方便，所以有时我们可以利用分析法寻找证题的途径，然后用”综合法“进行表述。
放缩法
将不等式一侧适当的放大或缩小以达到证题目的。
数学归纳法
证明与自然数n有关的不等式时，可用数学归纳法证之。
用数学归纳法证明不等式，要注意两步一结论。
在证明第二步时，一般多用到比较法、放缩法和分析法。
反证法
证明不等式时，首先假设要证明的命题的反面成立，把它作为条件和其他条件结合在一起，利用已知定义、定理、公理等基本原理逐步推证出一个与命题的条件或已证明的定理或公认的简单事实相矛盾的结论，以此说明原假设的结论不成立，从而肯定原命题的结论成立的方法称为反证法。
换元法
换元的目的就是减少不等式中变量的个数，以使问题化难为易，化繁为简，常用的换元有三角换元和代数换元。
构造法
通过构造函数、图形、方程、数列、向量等来证明不等式。
基本不等式基本不等式是主要应用于求某些函数的最值及证明的不等式。其表述为：两个正实数的算术平均数大于或等于它们的几何平均数。
在使用基本不等式时，要牢记“一正”“二定”“三相等”的七字真言。“一正”就是指两个式子都为正数，“二定”是指应用基本不等式求最值时，和或积为定值，“三相等”是指当且仅当两个式子相等时，才能取等号。
