如图,正方形ABCD中,AE⊥BF,求证:EO=FO