1. (2021八下·大安期末) （感知）如圖①，點M是正方形ABCD的邊BC上一點，點N是CD延長線上一點，且MA⊥AN，易證△ABM≌△ADN，進而證得BM=DN（不要求證明）

1. （1） （應(yīng)用）如圖②，在正方形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的周長為．