Bằng phương pháp biến đổi tương đương bạn đọc dễ dàng chứng minh 3 bất đẳng thức phụ sau
3a⩽23(a2+1);3b⩽23(b2+1);3c⩽23(c2+1)
Áp dụng các bất đẳng thức phụ trên ta có
∑1+3b+c21+a2⩾2∑2(1+c2)+3(1+b2)1+a2
Đặt
x=1+a2; y=1+b2; z=1+c2
bất đẳng thức cần chứng minh trở thành
2z+3yx+2x+3zy+2y+3xz⩾53
Áp dụng bất đẳng thức Cauchy − Schwarz ta có
∑2z+3yx=∑2zx+3xyx2⩾5(xy+yz+xz)(x+y+z)2⩾5(xy+yz+xz)3(xy+yz+xz)=53
Vậy bất đẳng thức được chứng minh. Dấu bằng xảy ra khi x = y = z kết hợp với bất đẳng thức phụ ta
được dấu bằng khi a = b = c = 1.