如图，点E是正方形ABCD的边BC上的一点，AF平分∠EAD交CD于点F。试探所AE BE DF三条线段之间的关系并证明。