Ta có :
(b+c-a)(b+a-c)=b2-(c-a)2\(\le\) b2
(c+a-b)(c+b-a)=c2_(a-b)2\(\le\) c2
(a+b-c)(a+b-c)=a2-(b-c)2\(\le\) a2
nhân từng vế ba bất đẳng thức trên ,ta được :
[(b+c-a)(a+c-b)(a+b-c)]2\(\le\) [abc]2
các biểu thức trong dấu ngoặc vuông đều dương nên :
(b+c-a)(a+c-b)(a+b-c)\(\le\) abc
dấu "=" xảy ra khi a=b=c
đặt b+c-a=x; a+c-b=y; a+b-c=z thì x,y,z>0
theo bất đẳng thức (x+y)(y+z)(z+x)\(\ge\) 8xyz
=> 2a.2b.2c\(\ge\) 8(b+c-a)(a+c-b)(a+b-c)
=>abc \(\ge\) (b+c-a)(a+c-b)(a+b-c)
xảy ra đẳng thức khi và chỉ khí a=b=c