如图，在四边形ABCD中，AB=AD，∠B=∠D=90°，E、F分别是边BC、CD上的点，且∠EAF= 1 /2 ∠BA

证明：延长EB到G，使BG=DF，连接AG． 

∵∠ABG=∠ABC=∠D=90°，AB=AD，

 ∴△ABG≌△ADF．

 ∴AG=AF，∠1=∠2．

 ∴∠1+∠3=∠2+∠3=∠EAF= 1 2 ∠BAD．

 ∴∠GAE=∠EAF． 

又AE=AE，

 ∴△AEG≌△AEF． 

∴EG=EF．

 ∵EG=BE+BG．

 ∴EF=BE+FD