基本不等式：

（当且仅当a＝b时取“=”号）；
变式：①，（当且仅当a＝b时取“=”号），即两个正数的算术平均不小于它们的几何平均。
②；③；④；

对基本不等式的理解：

(1)基本不等式的证明是利用重要不等式推导的，即，即有
(2)基本不等式又称为均值定理、均值不等式等，其中的算术平均数，的几何平均数，本定理也可叙述为：两个正数的算术平均数不小于它们的几何平均数．
(3)要特别注意不等式成立的条件和等号成立的条件．均值不等式中：①当a=b时取等号，即

对于两个正数x，y，若已知xy，x+y，中的某一个为定值，可求出其余各个的最值：
如：（1）当xy＝P（定值），那么当x=y时，和x+y有最小值2，；
（2）x+y=S（定值），那么当x=y时，积xy有最大值，；
（3）已知x²+y²=p，则x+y有最大值为，。

应用基本的不等式解题时：

注意创设一个应用基本不等式的情境及使等号成立的条件，即“一正、二定、三相等”。

利用基本不等式比较实数大小：

(1)注意均值不等式的前提条件．
(2)通过加减项的方法配凑成使用均值定理的形式．
(3)注意“1”的代换．
(4)灵活变换基本不等式的形式，并注重其变形形式的运用．重要不等式的形式可以是，也可以是，还可以是等，不仅要掌握原来的形式，还要掌握它的几种变形形式以及公式的逆用等，以便应用．
(5)合理配组，反复应用均值不等式。 

基本不等式的几种变形公式：

 

 

反证法的定义：

有些不等式无法利用题设的已知条件直接证明，我们可以用间接的方法——反证法去证明，即通过否定原结论——导出矛盾——从而达到肯定原结论的目的。

放缩法的定义：

把原不等式放大或缩小成一个恰好可以化简的形式，比较常用的方法是把分母或分子适当放大或缩小（减去或加上一个正数）使不等式简化易证。

反证法证题的步骤：

若A成立，求证B成立。
共分三步：
（1）提出与结论相反的假设；如负数的反面是非负数，正数的反面是非正数即0和负数；
（2）从假设出发，经过推理，得出矛盾；（必须由假设出发进行推理否则不是反证法或证错）；
（3）由矛盾判定假设不正确，从而肯定命题的结论正确.矛盾：与定义、公理、定理、公式、性质等一切已有的结论矛盾甚至自相矛盾。
反证法是一种间接证明命题的基本方法。在证明一个数学命题时，如果运用直接证明法比较困难或难以证明时，可运用反证法进行证明。

放缩法的意义：

放缩法理论依据是不等式的传递性：若,a<b,b<c，则a<c.

放缩法的操作：

若求证P<Q，先证P<P₁<P₂<…<P_n,再证恰有P_n<Q.
需注意：（1）只有同方向才可以放缩，反方向不可。
（2）不能放（缩）得太大（小），否则不会有最后的P_n<Q.