Khi chứng minh bất đẳng thức ta thường đưa về một biến theo một biểu thức nào đó, để làm được điều này thì cần có một cái nhìn tổng quát và áp dụng rất nhiều các bất đẳng thức như Cauchy- Schwarz, Bunyakovsky, các bất đẳng thức đặc biệt, các bổ đề... mà các bất đẳng thức này khi chứng minh đến bước cuối đều có dạng (x - y)2 > 0
