ae = ad + de
cd = ce + de
if ae = cd then ad + de = ce + de
therefore ad + ce
am = cm therefore amc is isoceles w/ mac = mca
since angle mac = mca, side ad = side ec, angle bda = angle fec
therefore triangle abd is congruent to triangle efc (shit i screwed up vertex order)
and therefore ab = fc