áp dụng BĐT AM-GM là ((a+b)/2)2>=ab vói mọi a, b >0
=>(a+b-c+b+c-a)2/4 >=(lớn hơn bằng) (a+b-c)(b+c-a) ( 3 cạnh của 1 tam giác là số dương)
=>b2>= (a+b-c)(b+c-a) (1)
Tương tự có a2 >=(a+b-c)(c+a-b) (2)
và c2 >=(b+c-a)(c+a-b) (3)
Nhân các vế của (1) (2) và (3) được:
(abc)2>=[(a+b-c)(b+c-a)(c+a-b)]2
=> abc >= (a+b-c)(b+c-a)(c+a-b) ( điều phải chứng minh)