正方形ABCD中,半圆O以AB为直径,点E是BC上一点,若点F是DE的中点,且OF=DF 求证:DE与圆O相切