Ta có :
( b + c - a ) ( b + a - c ) = b2 - ( c - a )2 < b2
( c + a - b ) ( c + b - a ) = c2 - ( a - b ) 2 < c2
( a + b - c ) ( a + c - b ) = a2 - ( b - c )2 < 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 < [ 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 ) < abc
Xảy ra đẳng thức khi và chỉ khi a = b =c