
Bổ đề: a≤b⇔la≥lb
Chứng minh:
SABC=S=SABD+SACD⇔S=21clasin2A+21blasin2A=21lasin2A(b+c)⇔la=(b+c)sin2A2S
Tương tự ta có: lb=(c+a)sin2B2S
la≥lb⇔(b+c)sin2A≤(c+a)sin2B⇔(sinB+sinC)sin2A≤(sinC+sinA)sin2B⇔sinC(sin2B−sin2A)++2sin2Asin2B(cos2A−cos2B)≥0 (1)
Giả sử
a≥b thıˋ A≥B⇔2A≥2B⇔sin2A≥sin2B vaˋ cos2A≥cos2B
⇒ (1) không thỏa mãn ⇒Ne^ˊu la≥lb thıˋ a≤b
Mặt khác
a≤b⇔A≤B⇔2A≤2B⇔sin2A≤sin2B vaˋ cos2A≤cos2B⇒sinC(sin2B−sin2A)+2sin2Asin2B(cos2B−cos2A)≥0⇒Ne^ˊu a≤b thıˋ la≥lb. Vậy a≤b⇔la≥lb
Không mất tính tổng quát giả sử a≤b≤c⇒la≥lb≥lc
Sử dụng bất đẳng thức hoán vị: ala+blb+clc≤alb+blc+cla
Đẳng thức xảy ra ⇔ △ABC đều