延长DE分别交AB、AC于F、G。由于FB+FD>BDAF+AG>FGEG+GC>EC所以FB+FD+FA+AG+EG+GC>BD+FG+EC即AB+AC+FD+EG>BD+FD+EG+DE+EC所以AB+AC>BD+DE+EC命题得证。
