延长AD至AF,使AD=DF因BD=DC,角ADB=角FDC三角形ABD全等于三角形FDC故角B=角DCF,AB=CF因角ACE=角BAC+角B 角ACF=角BCA+角DCF故角ACE=角ACF又CE=AB=CF,AC=AC故三角形ACF全等于三角形ACE故AF=AE故AE=2AD