你已经证明了△ADF∽△ACE,也就是角EAC+角CAF=角FAD+角CAF,即
角EAF=角CAD,而且AE/AF=AC/AD,所以三角形EAF相似于三角形CAD,因此
EF/CD=AE/AC,由CD=AC 即知 AE=EF