证明: 因为 DF⊥AE
所以 RT△AGF~RT△ABE
则有 ∠AFD=∠AEB
在 △ABE 与 △DAF中
DA=AB,∠AFD=∠AEB,∠DAF=∠B
则△ABE≌△DAF
有AF=BE,又正方形中AB=BC
所以 BF=CE