延长CB至G,使得BG=DF,连接AG
易证三角形ABG全等于ADF,角GAB=角FAD,角AGB=角AFD
又,角AFD=角FAB=角BAE+角EAF=角BAE+角FAD=角BAE+角GAB=角GAE
即角AGB=角GAE
三角形EAG为等腰三角形,AE=GE=GB+BE=DF+BE,证毕
延长CB至G,使得BG=DF,连接AG
易证三角形ABG全等于ADF,角GAB=角FAD,角AGB=角AFD
又,角AFD=角FAB=角BAE+角EAF=角BAE+角FAD=角BAE+角GAB=角GAE
即角AGB=角GAE
三角形EAG为等腰三角形,AE=GE=GB+BE=DF+BE,证毕