如图,在矩形ABCD中,AC的垂直平分线分别交AC,AB,CD于点O,F,E,AF=EF。