如图,正方形abcd的对角线ac,bd交于o,∠bac的平分线bd交于f,交bc于e,求证,CE=2OF