证明：
∵ABCD是正方形
∴AD=AB=BC,∠A=∠B=90º
∵AE=BE=½AB
BF=¼BC
∴AE/AD=BF/BE=½
又∵∠EBF=∠DAE=90º
∴⊿EBF∽⊿DAE
∴∠DEA=∠EFB
∵∠BEF+∠EFB=90º
∴∠BEF+∠DEA=90º
∴∠DEF=180º-∠BEF+∠DEA=90º
即DE⊥EF