1. (2023九上·榕城期中) 如图，正方形ABCD中，E是CD边的中点，F是BC边上一点，∠FAE＝∠DAE ．

1. （1） 求证：AF＝AD+CF；
3. （2） 已知正方形ABCD的边长为4．

   ①求AF之长；

   ②若P是AE上一点，且△DEP是等腰三角形，则线段EP的长为    ▲     ．