>>623
△ADEと△ACDと△ABCをそれぞれ計算して足すという半ばゴリ押しな解き方しか思いつかない。