(1)证明:∵△AOB是等腰直角三角形,
∴∠A=∠B=45°.
∵∠AFO=∠B+∠BOF=45°+∠BOF,
又∵∠BOE=∠EOF+∠BOF=45°+∠BOF,
∴∠AFO=∠BOE.
∴△AOF∽△BEO.
(2)∵△BOE∽△AOF,
∴

,
∴AF•BE=4.

(3)作斜边AB上的高OD,并记OM=a,ON=b.
则易得ME=2-a,OD=

,FB=

BN=

(2-b),
DF=BD-BF=

-

(2-b)=

(b-1),
∵∠EMO=∠ODF=90°,
∵∠EOF=45°,
∵∠MOE+∠EOD=∠FOD+∠EOD=45°
∴∠MOE=∠DOF,
∴△MOE∽△DOF,
∴

,
∴

,
∴ab=2,
即OM•ON=2.
(4)解:

=

,
所以,当

,

时,EF取得最小值

.
分析:(1)根据等腰直角三角形的性质,得∠A=∠B=45°;根据三角形的外角的性质,得∠AFO=∠B+∠BOF=45°+∠BOF,结合∠BOE=∠EOF+∠BOF=45°+∠BOF,证明∠AFO=∠BOE,从而根据两角对应相等,即可证明△AOF∽△BEO;
(2)根据相似三角形的性质,得

,即AF•BE=4;
(3)作斜边AB上的高OD,并记OM=a,ON=b.根据等腰直角三角形的性质,可以分别用a表示ME,DF,BN的长;根据△MOE∽△DOF,就可求得OM•ON的值;
(4)用a和b表示EF的长,从而分析EF的最小值.
点评:此题综合考查了相似三角形的判定和性质、等腰直角三角形的性质以及函数的最小值的求法.