因为BE是角ABC的平分线,所以三角形BCE是等腰三角形,CE=BC=AD.
因为AE垂直EF,所以角CEF=角DAE.
所以三角形CEF与三角形CAE全等,AE=EF.