Có S=√p(p−a)(p−b)(p−c) (công thức Hê-rông)⇔4√3S=4√3p(p−a)(p−b)(p−c)
Áp dụng BĐT cô-si, ta có
(p−a)(p−b)(p−c)≤(3p−a−b−c)327=p327
⇒4√3S≤4√3p.p327=4.p23
Theo bunhia ⇒(a+b+c)2≤3(a2+b2+c2)
⇒4p2≤3(a2+b2+c2)
⇒4p23≤a2+b2+c2
⇒4√3S≤a2+b2+c2
⇒S≤√312(a2+b2+c2)
Dấu "=" xảy ra khi a=b=c⇔△ABC đều