延长BD交AC于F,延长DE交AC于G
易得AB+AF>BF
DF+FG>DG
EG+GC>EC
将上三不等式相加得
AB+(AF+FG+GC)+DF+EG>BD+DF+DE+EG+EC
所以AB+AC>BD+DE+EC