Ta có : a+b2≥√(a+1)(b+1)−1⇔a+b+22≥√(a+1)(b+1)⇔a+1+b+12≥√(a+1)(b+1)BĐT này dùng do áp dụng BĐT AM-GM cho 2 số dương a+1 và b+1
Đẳng thức xảy ra khi và chỉ khi a=b
Mặt khác √(a+1)(b+1)−1≥√ab
⇔√(a+1)(b+1)≥√ab+1⇔(a+1)(b+1)≥(√ab+1)2⇔a+b≥2√ab ( BĐT AM-GM)
Đẳng thức xảy ra khi và chỉ khi a=b