作EG垂直BD于G
AFE和EFG相似,EG的长度为DC的一半=sqrt(2)/2;
EG的长度为BE的一半,GF/EF=EG/AE;而且EG的长度知道,所以就可以求出EF
BF=BE-FE;
自己算吧.