矩形ABCD,EF经对角线交点O且EF⊥BD,BF=EF,求证:OE=FC