点E是正方形ABCD边DC上的一点,连接AC、BE,交于点F,连接DF、AE,得到DF⊥AE,求证:点E是DC边上的终点