数学难题一道 大家帮下忙了`` 谢谢`

我的格式比较规范,好好看看啊,可以当标准答案的
证明：∵在正方形ABCD中
∴BO垂直于OC BO=OC ∠OBE=∠OCB=45° （正方形的性质）
∴∠BOF+∠COF=90 °（垂直的定义）
又∵ OE垂直于OF（已知）
∴ ∠BOF+∠B0E=90°（垂直的定义）
∴∠COF=∠B0E(等量代换)
在△BOE与△COF中
∠OBE=∠OCB（已证）
BO=OC（已证）
∠COF=∠B0E（已证）
∴△BOE≌△COF（ASA）
∴CF=BE=3（全等三角形的对应边相等）
同理可证
AE=BF=4
在RT△BEF中
根据勾股定理
BE^2+BF^2=EF^2
又∵BE=3 BF=4
∴EF=5
够可以了吧,希望能追加分哦