Xét tam giác ABC có AB = c ; AC =a ; BC = a ; AD = x ; BE = y ; CF = z ( AD ; BE ; CF là các đường phân giác).
Kẻ đường thẳng qua C song song với AD cắt AB tại M
=> BAD^ = M^ (đồng vị)
DAC^ = ACM^ (so le trong)
Mà BAD^ = DAC^ ( AD là phân giác)
=> M^ = ACM^
=> tam giác ACM cân tại A
=> AM = AC
Xét tam giác AMC có MC < AC + AM (bất đẳng thức trong tam giác AMC)
=> MC < 2AC
Xét tam giác BMC có: AD // MC
=> tam giác BAD đồng dạng tam giác BMC (hệ quả Ta - lét)
=> AD/MC = AB/MB = AB/ (AB+AM)
=> AD = (MC. AB) / (AB+AC) < ( AB . 2AC)/(AB+AC)
=> 1/AD > (AB+AC)/(AB. 2AC)
=> 1/AD > 1/2AC + 1/2AB
=> 1/AD > 1/2.(1/AC + 1/AB)
=> 1/x > 1/2. ( 1/a + 1/c ) (1)
Chứng minh tương tự: 1/y > 1/2. (1/b + 1/c) (2)
1/z > 1/2.(1/a + 1/b) (3)
Cộng (1) (2) và (3) theo từng vế: ta có:
1/x + 1/y + 1/z > 1/2 .(1/a + 1/c + 1/b + 1/c + 1/a + 1/b )
=>1/x + 1/y + 1/z > 1/a + 1/b + 1/c