Áp dụng Bất đẳng thức Cauchy Schwarz dạng Engel ta có :
\(\frac{a^2}{a+2b}+\frac{b^2}{b+2a}\ge\frac{\left(a+b\right)^2}{a+2b+b+2a}=\frac{\left(a+b\right)^2}{3\left(a+b\right)}\)
\(2\left(\frac{a^2}{2a+b}+\frac{b^2}{2b+a}\right)\ge2\left(\frac{\left(a+b\right)^2}{2a+b+2b+a}\right)=2.\frac{\left(a+b\right)^2}{3\left(a+b\right)}\)
Cộng theo vế các bất đẳng thức cùng chiều ta được :
\(\left(\frac{a^2}{a+2b}+\frac{b^2}{b+2a}\right)+2\left(\frac{a^2}{2a+b}+\frac{b^2}{2b+a}\right)\ge\frac{\left(a+b\right)^2}{3\left(a+b\right)}+2.\frac{\left(a+b\right)^2}{3\left(a+b\right)}\)
Vậy ta có ngay điều phải chứng minh