因为ABCD是正方形,所以角BCD=90度
因为角BEF=90度,所以角BEF+角BCD=180度
所以B、E、F、C四点共圆
所以角EFD=角EBC
作EG垂直BC,EH垂直CD
则由EG=EH,角EGB=角EHF=90度,角EFD=角EBC
得三角形BEG全等与三角形FEH
所以BE=EF
因为ABCD是正方形,所以角BCD=90度
因为角BEF=90度,所以角BEF+角BCD=180度
所以B、E、F、C四点共圆
所以角EFD=角EBC
作EG垂直BC,EH垂直CD
则由EG=EH,角EGB=角EHF=90度,角EFD=角EBC
得三角形BEG全等与三角形FEH
所以BE=EF