a/(b+c)+b/(c+a)+c/(a+b)>=3/2(1)
<=> (a+b+c)/(b+c) + (a+b+c)/(c+a) + (a+b+c)/(a+b) ≥ 3/2 + 3 = 9/2 (cộng 2 vế cho 3)
<=> 2(a+b+c)(1/(b+c) + 1/(c+a) + 1/(a+b) ≥ 9
<=> [(b+c) + (c+a) + (a+b)].[(1/(b+c) + 1/(c+a) + 1/(a+b)] ≥ 9 (2)
ad cauchy 3 số ta có:
(b+c) + (c+a) + (a+b) ≥ 3.∛[(b+c).(c+a).(a+b)] (*)
và: (1/(b+c) + 1/(c+a) + 1/(a+b) 3.∛[(1/(b+c).(c+a).(a+b)] (**)
(*) x (**) được (2) đúng => (1) đúng
dấu = khi: b+c=c+a=a+b <=> a=b=c