如图,在正方形ABCD中,E是BC中点,AC与BE相交于点F,连接DF、AE,是判断AE与DF的位置关系,并证明