AE=BC=AD.角ADF和角EAB都与角DAF互余且两角相等.角AFD和角EBA=90度.(角角边)综上,三角形ADE和三角形EAB全等,所以BE=AF,又因为BC=AE,则CE=EF.
麻烦采纳,谢谢!