Dễ chứng minh công thức la=2bc(b+c).cosA2(1) (sử dụng phương pháp diện tích)
⇔la.b+cbc=2cosA2⇒la(1b+1c)=2cosA2
⇒la(1b+1c)+lb(1c+1a)+lc(1a+1b)=2(cosA2+cosB2+cosC2)
⇒1c(la+lb)+1b(la+lc)+1a(lb+lc)=2(cosA2+cosB2+cosC2)
Cũng dễ chứng minh được rằng nếu x,y,z là 3 góc nhọn thì
cosx+cosy+cosz≤3.cosx+y+z3(2)
⇒cosA2+cosB2+cosC2≤3cosA+B+C6=3√32
⇒1c(la+lb)+1b(la+lc)+1a(lb+lc)≤3√3
Đẳng thức xảy ra ⇔ΔABC đều
(

Chứng minh (1):
SABC=SABI+SACI⇔bcsinA=clasinA2+blasinA2
⇔la=2bccosA2b+c
Chứng minh (2):
Đặt
f(t)=cost,t∈(0;π2)
⇒f′(t)=−sint;f″(t)=−cost<0,∀t∈(0;π2)
Theo
BĐT Jensen :
f(x)+f(y)+f(z)≤3f(x+y+z3)⇒(2)