证明：连接AC，交BD于点O，作EG⊥BD于点G．
∵四边形ABCD是正方形，
∴AC⊥BD，
∵AE∥BD，
∴四边形AOGE是矩形，
∴EG=AO=

1

2

AC=

1

2

BD=

1

2

BE，
∴∠EBD=30°，
∵∠EBD=30°，BE=BD，
∴∠BED=75°，
∵∠EFD=∠FDB+∠EBD=45+30=75°，
∴∠DEF=∠DFE，
∴DF=DE．