不等式的定义：

一般地，用不等号表示不相等关系的式子叫做不等式，常见的不等号有“<”“>”“ ≤”“≥”及“≠”。

 严格不等式的定义：

用“>"“<”连接的不等式叫做严格不等式。

非严格不等式的定义：

用“≤”和“≥”连接的不等式叫做非严格不等式．
特别提醒：a=b，a>b中，只要有一个成立，就有a≥b．

不等式的性质：

（1）如果a＞b，那么b＜a；如果b＜a，那么a＞b，即a＞bb＜a；
（2）如果a＞b，b＞c，那么a＞c，即a＞b，b＞ca＞c；
（3）如果a＞b，那么a+c＞b+c；
（4）如果a＞b，c＞0，那么ac＞bc；如果a＞b，c＜0，那么ac＜bc；
（5）如果a＞b，c＞d，那么a+c＞b+d；
（6）如果a＞b＞0，c＞d＞0，那么ac＞bd；
（7）如果a＞b＞0，那么aⁿ＞bⁿ（n∈N，n≥2）；
（8）如果a＞b＞0，那么（n∈N，n≥2）。

不等关系与不等式的区别：

不等关系强调的是量与量之间的关系，可以用符号“<…>…≤”“≥”来表示，也可以用语言表述；
而不等式则是用来表示不等关系的式子，可用“a>b”‘a<b”“a≥b a≤b”等式子来表示，不等关系是通过不等式来体现的．

不等式的分类：

①按成立的条件分：a．绝对不等式：不等式中的字母取任意实数值都恒成立的不等式叫做绝对不等式；b．条件不等式：不等式中的字母取某些允许值才能成立的不等式叫做条件不等式；c．矛盾不等式：不等式中的字母不论取何实数值都不能成立的不等式叫做矛盾不等式；
②按不等号开口方向分：a．同向不等式：不等号方向相同的两个不等式；b．异向不等式：不等号方向相反的两个不等式．

反证法的定义：

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

放缩法的定义：

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

反证法证题的步骤：

若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.