>>820
DE//BCだからAB+AC>2AMに帰着される.あとは三角不等式.