Trong ΔABD, ta có:

AD < AB + BD (bất đẳng thức tam giác) (1)

Trong ΔADC, ta có:

AD < AC + DC (bất đẳng thức tam giác) (2)

Cộng từng vế (1) và (2), ta có:

2AD < AB + BD + AC + DC ⇔ 2AD < AB + AC + BC

Vậy AD < (AB + AC + BC) / 2 .