证明:连接BF和EF.
因为 BC=ED,CF=DF,∠BCF=∠EDF.
所以 三角形BCF全等于三角形EDF(边角边).
所以 BF=EF,∠CBF=∠DEF.
连接BE.
在三角形BEF中,BF=EF.
所以 ∠EBF=∠BEF.
又因为 ∠ABC=∠AED.
所以 ∠ABE=∠AEB.
所以 AB=AE.
在三角形ABF和三角形AEF中,
AB=AE,BF=EF,
∠ABF=∠ABE+∠EBF=∠AEB+∠BEF=∠AEF.
所以 三角形ABF和三角形AEF全等.
所以 ∠BAF=∠EAF (∠1=∠2).
证毕.