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