因为ABCD为矩形，那么对角线相等，因为O点平分对角线，那么OB与OC相等，一个对顶角一个直角一条等边，角角边全等得出结论
证明:连接AE ∵矩形ABCDE ∴AD‖BC ∴∠ADE=∠DEC ∵∠AFD=∠C=90 ∴∠FAD=∠EDC ∵∠FAD=∠EDE ∠ADE=∠DEC AD=BC=DE(ASA) ∴△ADF≌△DCE ∴AF=DC=AB ∵∠ABE=∠AFE=90 AE公用 ∴△ABE≌△AFE ∴BE=EF
