如图,已知正方形ABCD中,E为CB延长线上一点,F在AD边上,且BE=DF,EF与AC交于点O,求证:△OEC为等腰直