1. (2021八下·大安期末) （感知）如图①，点M是正方形ABCD的边BC上一点，点N是CD延长线上一点，且MA⊥AN，易证△ABM≌△ADN，进而证得BM=DN（不要求证明）

1. （1） （应用）如图②，在正方形ABCD中，点E、F分别在边BC、CD上，且∠EAF=45°．求证：BE+DF=EF．
3. （2） （拓展）如图③，在四边形ABCD中，AB=AD，∠BAD=90°，∠ABC+∠ADC=180°，点E、F分别在边BC、CD上，且∠EAF=45°，若BD=3.5，EF=2，则四边形BEFD的周长为．