延长AD到点G,使得:DG = DA 。因为,DG = DA ,DB = DC ,所以,ABGC是平行四边形;可得:AC‖BG ,AC = BG 。因为,AC‖BG ,所以,∠FAE = ∠AGB 。因为,BE = AC = BG ,所以,∠AGB = ∠BEG 。因为,∠FAE = ∠AGB = ∠BEG = ∠FEA ,所以,AF = EF 。
AE=EF