（四）反证法

反证法首先是假设证明的命题是不正确的，然后利用公理，已知的定理、命题所给的条件等逐步分析，得到和命题的条件、定理、公理、定义等明显成立的事实有矛盾的结论，说明假设的结论不成立，从而证明原来的结论是正确的。

理论依据：命题“P”与命题“非P”一真一假。说明：反证法适合证明不等式命题中出现“存在、唯一、至少、至多”等字样的命题，

同时需要注意在找其反面的时候要找对、找全。

（五）放缩法

放缩法是指在证明不等式时，有时候需要通过将需要证明不等式的值适当的放大（或者缩小）从而简化不等式，进而证明不等式。

说明：放缩法是不等式证明过程中较难的一种方法，主要在于它的“度”很难把握，且放缩法在高考数列不等式以及竞赛中最为普遍的一种证明方法，因此后文会有较大篇幅去介绍放缩法，以及对放缩法的总结。